सदस्य निर्माता

Question

से आभासी समारोह कॉलिंग मैं निम्नलिखित के व्यवहार के रूप में उत्सुक हूँ:

#include <iostream> 
#include <string> 
struct A; 
struct B { 
    std::string b; 
    B(A& a); 
}; 
struct A { 
    B member; 
    virtual std::string f() { return "Hello, World!"; } 
    A() : member(*this) {} 
}; 
B::B(A& a) : b(a.f()) {} 
int main() { 
    std::cout << A().member.b; 
} 

इस आवश्यक अपेक्षित परिणाम मुद्रित करने के लिए है? या यह अनिर्धारित व्यवहार है?

Answer 1

यह कानूनी है। §12.7 [class.cdtor]/p4:

सदस्य आभासी कार्यों (10.3) सहित काम करता है,, निर्माण या विनाश (12.6.2) के दौरान कहा जा सकता है। जब वर्चुअल फ़ंक्शन को किसी निर्माता या विनाशक से सीधे या परोक्ष रूप से कहा जाता है, जिसमें वर्ग के गैर-स्थैतिक डेटा सदस्यों के निर्माण या विनाश के दौरान, और ऑब्जेक्ट जिस पर कॉल लागू होता है वह वस्तु है (इसे कॉल करें x) निर्माण या विनाश के तहत, कन्स्ट्रक्टर या विनाशक वर्ग में अंतिम ओवरराइडर कहा जाता है और इसे अधिक व्युत्पन्न कक्षा में ओवरराइड नहीं किया जाता है। आभासी समारोह कॉल एक स्पष्ट वर्ग के सदस्य पहुँच (5.2.5) और वस्तु अभिव्यक्ति का उपयोग करता है x या उस वस्तु के आधार वर्ग subobjects के एक नहीं बल्कि x या इसके आधार वर्ग subobjects के एक की पूरी वस्तु को संदर्भित करता है, व्यवहार अपरिभाषित है।

यूबी केस यहां लागू नहीं होता है।