झूठी और इसके विपरीत सच को फिर से परिभाषित करते समय अपेक्षित आउटपुट क्या होता है?

Question

#include <iostream> 
#define true false 
#define false true 
int main() { 
    std::cout << false << true; 
} 

यह "01" क्यों आउटपुट करता है?

Answer 1

जेरी कॉफ़िन नोट्स के रूप में, आप एक मैक्रो को एक ऐसे नाम के साथ परिभाषित नहीं कर सकते जो एक कीवर्ड है।

हालांकि, हम एक और समान उदाहरण, अच्छी तरह से परिभाषित व्यवहार और एक ही परिणाम के साथ विचार कर सकते हैं। पर विचार करें:

int TRUE = 1; 
int FALSE = 0; 

#define TRUE FALSE 
#define FALSE TRUE 

std::cout << FALSE << TRUE; 

आप FALSE उपयोग करते हैं, यह मैक्रो FALSE के रूप में पहचान की है और कहा कि मैक्रो की जगह सूची है, जो एक टोकन है, TRUE ने ले ली है। उस प्रतिस्थापन को प्रतिस्थापित करने के लिए आगे मैक्रोज़ के लिए बचाया गया है।

प्रतिस्थापन में TRUE को मैक्रो के रूप में पहचाना जाता है और इसकी प्रतिस्थापन सूची द्वारा प्रतिस्थापित किया जाता है, जो एकल टोकन FALSE है। वह प्रतिस्थापन फिर से बचाया गया है।

अगर हम rescanning और प्रतिस्थापन पर जारी रहे, तो हम एक अनंत लूप में समाप्त हो जाएंगे, इसलिए सी (और सी ++) प्रीप्रोकैसिंग विनिर्देश बताते हैं कि मैक्रो प्रतिस्थापन कभी प्रतिस्थापन सूची में नहीं आता है।

इस अंतिम प्रतिस्थापन सूची प्रत्यावर्तन में परिणाम होगा में FALSE के प्रतिस्थापन के बाद से, मैक्रो प्रतिस्थापन बंद हो जाता है और हम FALSE, जो 0 के एक मूल्य के साथ एक int का नाम है के साथ छोड़ दिया जाता है।

Answer 2

आरक्षित शब्द को फिर से परिभाषित करने का कोई भी प्रयास अपरिभाषित व्यवहार देता है।

संपादित करें:

§2.11/1: "। तालिका 3 में दिखाया गया पहचानकर्ता कीवर्ड के रूप में उपयोग के लिए आरक्षित कर रहे हैं" मैं सभी तालिका 3 को पुन: उत्पन्न करने की कोशिश नहीं करूंगा, लेकिन इसमें झूठी और सत्य दोनों शामिल हैं। यह कुछ प्रश्नों के लिए खुला हो सकता है कि यह एक पूर्ण निषेध है, हालांकि, एक ही वाक्य में कहा गया है: "(यानी, उन्हें बिना शर्त रूप से चरण 7 में कीवर्ड के रूप में माना जाता है), जो बताता है कि कीवर्ड को फिर से परिभाषित करना संभव है रास्ता, चूंकि इसमें शामिल मैक्रोज़ चरण 7 से पहले विस्तारित किए जाएंगे।

इस मामले में, आपने <iostream> भी शामिल किया है, जो एक और नियम खेलता है (§17.4.3.1.1): "एक अनुवाद इकाई जिसमें हेडर शामिल है, में कोई भी मैक्रोज़ नहीं होगा जो उस शीर्षलेख में घोषित या परिभाषित नाम परिभाषित करता है। न ही ऐसी अनुवाद इकाई कीवर्ड के लिए समान रूप से समान नामों के लिए मैक्रोज़ को परिभाषित करेगी। "

यहां शब्द यह दृढ़ता से सुझाव देता है कि यदि कोई अनुवाद इकाई में कोई शीर्षलेख शामिल नहीं होता है, तो यह आपके द्वारा किए गए कीवर्ड को फिर से परिभाषित करने के लिए स्वतंत्र होगा, लेकिन #include <iostream> की उपस्थिति को देखते हुए, कोई सवाल नहीं है कि आपके पास अपरिभाषित व्यवहार है।

एक बार जब आप व्यवहार को अपरिभाषित कर लेते हैं, तो वास्तव में "क्यों" कुछ भी नहीं होता है - उस समय, मानक बहुत स्पष्ट है कि किसी भी व्यवहार की अनुमति है।