हमें अपूर्ण प्रकार का पता क्यों लेने की अनुमति है?

Question

इस कोड पर विचार करें:

class Addressable; 
class Class1 { void foo(Addressable &a) { (void) &a; } }; // OK 
class Addressable { void *operator &() { return this; } }; 
class Class2 { void foo(Addressable &a) { (void) &a; } }; // Error: operator & private 

क्यों सी ++ एक अधूरी संदर्भ प्रकार के पते लेने की अनुमति देते हैं?

क्या ऊपर दिखाया गया यह संभावित रूप से अवैध नहीं हो सकता है? क्या यह जानबूझकर है?

Answer 1

हां, यह जानबूझकर है, और ब्रेकेज की संभावना operator& ओवरलोडेड है।

अपूर्ण प्रकारों का पता लेना सी ++ से बहुत पहले संभव है। सी में, किसी भी ब्रेकेज का बिल्कुल कोई जोखिम नहीं है, क्योंकि & ओवरलोड नहीं किया जा सकता है।

सी ++ ने पहले वैध प्रोग्रामों को अनावश्यक रूप से तोड़ने का विकल्प नहीं चुना है, और बस निर्दिष्ट किया है कि अगर एक अपूर्ण प्रकार & ऑपरेटर ओवरलोडेड हो जाता है, तो यह निर्दिष्ट नहीं है कि अधिभारित ऑपरेटर का उपयोग किया जाता है या नहीं।

का हवाला देते हुए N4140:

5.3.1 एकल ऑपरेटरों [expr.unary.op]

तो & अधूरा वर्ग प्रकार का एक lvalue और पूर्ण प्रकार पर लागू होता है वाणी operator&(), यह निर्दिष्ट नहीं है कि ऑपरेटर का अंतर्निहित अर्थ है या ऑपरेटर फ़ंक्शन कहा जाता है।

यह एक वर्ग वर्तमान में घोषित किया जा रहा करने के लिए भी लागू करने के लिए व्याख्या की जा सकती है और यहां तक ​​कि जब operator& की घोषणा पहले से ही देखा गया है:

extern struct A a; 
struct A { 
    int operator&(); 
    decltype(&a) m; // int, or A *? 
}; 
int main() { 
    return A().m; // only valid if m is int 
} 

यहाँ, जीसीसी m प्रकार A * देता है और कार्यक्रम को खारिज कर दिया , लेकिन क्लैंग इसे int टाइप करता है और इसे स्वीकार करता है।