कन्स्ट्रक्टर प्रारंभिक सूची में परिपत्र निर्भरता

Question

निम्नलिखित अच्छी तरह परिभाषित है?

class A; 
class B; 

// define A, which takes B& in constructor 
// define B, which takes A& in constructor 

class C 
{ 
    A a; 
    B b; 
public: 
    C() : a(b), b(a) { /* stuff with a and b */ } 
} 

ideone.com पर पूरा उदाहरण।

क्या यह सुरक्षित/अच्छी तरह परिभाषित है जब तक कि A और B के लिए कन्स्ट्रक्टर उन संदर्भों के साथ कुछ भी नहीं करते हैं?

Answer 1

N4140 [class.cdtor]/1 में लिखा है:

एक गैर तुच्छ निर्माता के साथ एक वस्तु के लिए, निर्माता से पहले वस्तु के किसी भी गैर स्थिर सदस्य या आधार वर्ग की चर्चा करते हुए निष्पादन के परिणामों शुरू होता है अपरिभाषित व्यवहार में। एक गैर-तुच्छ विनाशक के साथ किसी ऑब्जेक्ट के लिए, विनाशक निष्पादन परिणामों को अपरिभाषित व्यवहार में समाप्त करने के बाद ऑब्जेक्ट के किसी भी गैर स्थैतिक सदस्य या बेस क्लास का जिक्र करता है।

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

struct B : public A { int j; Y y; }; // non-trivial 
extern B bobj; 
B* pb = &bobj; // OK 

तो जवाब है: हां, आपके मामले में व्यवहार में अच्छी तरह से अगर आप A के निर्माता में सदस्यों या b के आधार वर्ग की बात नहीं कर रहे हैं परिभाषित किया गया है।