क्यों एक इनलाइन घोषणा एक अपूर्ण प्रकार नहीं है?

Question

पर विचार करें नीचे दिए गए कोड:

struct Foo { 
    struct Bar; 
    Foo() 
    { 
     Bar bar; // Why isn't Bar an incomplete type?! 
    } 
    struct Bar {}; // Full definition 
}; 

// struct Bar {}; // fails to compile due to incomplete type 

int main() 
{ 
    Foo foo; 
} 

यह कम से कम 2 compilers (gcc5.2, clang3.5) के तहत ठीक संकलित करता है। मेरा प्रश्न है: के रूप में मैं निर्माता से ऊपर इसे आगे-घोषित

• क्यों नहीं Bar निर्माता Foo::Foo में एक अधूरी प्रकार माना जाता है, लेकिन पूरी तरह से निर्माता के अंदर इसका इस्तेमाल?

जब भी मैं कक्षा के बाहर Foo::Bar ले जाते हैं, दूसरे शब्दों Bar में, एक स्टैंड-अलोन वर्ग बन जाता है मैं उम्मीद

error: aggregate 'Foo::Bar bar' has incomplete type and cannot be defined

Answer 1

सदस्य विनिर्देश के भीतर

वर्ग समारोह शरीर के भीतर पूरा माना जाता है मिलता है, से मसौदा सी ++ मानक खंड 9.2[class.mem]:

A class is considered a completely-defined object type (3.9) (or complete type) at the closing } of the class-specifier. Within the class member-specification, the class is regarded as complete within function bodies, default arguments, using-declarations introducing inheriting constructors (12.9), exception-specifications, and brace-or-equal-initializers for non-static data members (including such things in nested classes). Otherwise it is regarded as incomplete within its own class member-specification

आप इसका मतलब है यहां तक ​​कि घोषित Bar (see it live) को अग्रेषित करने की जरूरत नहीं है:

struct Foo { 
    Foo() 
    { 
     Bar bar; 
    } 
    struct Bar {}; 
}; 

आगे की घोषणा अनुभाग 3.3.7 paragraph 2 and 3 के उल्लंघन से बचने में उपयोगी हो सकता है।