Warum ist eine Inline-Deklaration kein unvollständiger Typ?

Question

Betrachten Sie den Code unten:

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; 
} 

unter mindestens 2 Compiler kompiliert fein (gcc5.2, clang3.5). Meine Frage ist:

• Warum ist nicht Bar ein unvollständiger Typ im Konstruktor Foo::Foo betrachtet, wie ich es über den Konstruktor voraus erklären, aber es vollständig in den Konstruktor verwenden?

Immer, wenn ich Foo::Bar außerhalb der Klasse bewegen, mit anderen Worten Bar wird ein Stand-alone-Klasse, bekomme ich die erwartete

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

Answer 1

innerhalb der Mitglieds Spezifikation wird die Klasse abgeschlossen betrachtet in Funktionsrümpfe aus der Entwurf C++ Standard Abschnitt 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

Welche Sie bedeutet nicht einmal weiterleiten müssen Bar (see it live) erklären:

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

Vorwärts erklärt nützlich sein könnte 3.3.7 paragraph 2 and 3 Verletzung von Abschnitt zu vermeiden.