क्या यह एक अनिर्धारित व्यवहार है जिसमें इनलाइन फ़ंक्शन की अलग-अलग परिभाषाएं हैं?

Question

मिनिमल कोड:

// --------inline.h-------- 
struct X { 
    static inline void foo(); 
}; 
#ifdef YES 
inline void X::foo() { cout << "YES\n"; } 
#else 
inline void X::foo() { cout << "NO\n"; } 
#endif 

// --------file1.cpp-------- 
#define YES // <---- 
#include"inline.h" 
void fun1() 
{ 
    X::foo(); 
} 

// --------file2.cpp-------- 
#include"inline.h" 
void fun2() 
{ 
    X::foo(); 
} 

अगर हम कहते हैं fun1() और fun2(), तो वे YES और NO क्रमशः प्रिंट होगा, जिसका अर्थ है कि वे एक ही X::foo() के विभिन्न समारोह निकायों बात कर रहे हैं।

इसके बावजूद इसे कोड किया जाना चाहिए या नहीं, मेरा प्रश्न है:
क्या यह एक अच्छी तरह परिभाषित या अपरिभाषित व्यवहार है?

Answer 1

हां यह अनिर्धारित व्यवहार है।

संदर्भ:

सी ++ 03 मानक:

7.1.2 समारोह विनिर्देशक [dcl.fct.spec]
पैरा 4:

एक इनलाइन फ़ंक्शन को प्रत्येक अनुवाद इकाई में परिभाषित किया जाएगा जिसमें इसका उपयोग किया जाता है और वास्तव में होगा प्रत्येक मामले में एक ही परिभाषा (3.2)। [नोट: अनुवाद इकाई में इसकी परिभाषा प्रकट होने से पहले इनलाइन फ़ंक्शन पर कॉल का सामना किया जा सकता है। ] यदि बाहरी अनुवाद के साथ एक फ़ंक्शन को एक अनुवाद इकाई में इनलाइन घोषित किया जाता है, तो इसे सभी अनुवाद इकाइयों में इनलाइन घोषित किया जाएगा जिसमें यह प्रतीत होता है; कोई निदान की आवश्यकता नहीं है। बाहरी लिंकेज के साथ इनलाइन फ़ंक्शन में सभी अनुवाद इकाइयों में एक ही पता होगा। एक बाहरी इनलाइन फ़ंक्शन में एक स्थिर स्थानीय चर हमेशा एक ही ऑब्जेक्ट को संदर्भित करता है। एक बाहरी इनलाइन फ़ंक्शन में शाब्दिक एक स्ट्रिंग अलग-अलग अनुवाद इकाइयों में एक ही वस्तु है।

नोट:

3,2 एक परिभाषा नियम [basic.def.odr]
पैरा 1:

कोई 3.2 एक परिभाषा नियम, जिसमें कहा गया है को संदर्भित करता है अनुवाद इकाई में किसी भी चर, फ़ंक्शन, कक्षा प्रकार, गणना प्रकार या टेम्पलेट की एक से अधिक परिभाषाएं होंगी।

Answer 2

अपरिभाषित। आप ओडीआर का उल्लंघन कर रहे हैं।

Answer 3

अगर हम fun1() और fun2() फोन है, तो वे हाँ प्रिंट होगा और कोई क्रमशः, जिसका अर्थ है कि वे एक ही एक्स के विभिन्न समारोह निकायों :: foo बात कर रहे हैं()।

क्या आपने इसे आजमाया? विभिन्न अनुकूलन स्तर के साथ?

मुझे अनुकूलन स्तर और ऑर्डर किए गए ऑब्जेक्ट को लिंकर को प्रस्तुत किए जाने वाले ऑर्डर के आधार पर हाँ और नहीं, हाँ और हाँ, या NO और NO मिलता है।

कहने की जरूरत नहीं है, यह अपरिभाषित व्यवहार है।