Почему встроенное объявление не является неполным типом?

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 составителей (gcc5.2, clang3.5). Мой вопрос:

• Почему Bar не считается неполным типа в конструкторе Foo::Foo, как я вперед объявить его над конструктором, но полностью использовать его внутри конструктора?

Всякий раз, когда я двигаюсь Foo::Bar вне класса, другими словами Bar становится самостоятельным классом, я получаю ожидаемый

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

Answer 1

В спецификации члена класса считается завершенным в функции органов, из проект C++ стандартный раздел 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.