Внеуровневое определение базового класса «вложенный класс»

Question

Имеет ли значение следующий код?

struct A 
{ 
    struct nested; 
}; 

struct B : public A {}; 

struct B::nested {}; 

НКУ принимает его, но лязг отвергает его со следующей ошибкой:

test.cpp:8:14: error: no struct named 'nested' in 'B' 
    class B::nested {}; 
      ~~~^ 

Answer 1

Yup, это недействительно. Вот цитата.

Раздел 9 пункта 11, курсив мои:

If a class-head-name contains a nested-name-specifier, the class-specifier shall refer to a class that was previously declared directly in the class or namespace to which the nested-name-specifier refers, or in an element of the inline namespace set (7.3.1) of that namespace (i.e., not merely inherited or introduced by a using-declaration), and the class-specifier shall appear in a namespace enclosing the previous declaration. In such cases, the nested-name-specifier of the class-head-name of the definition shall not begin with a decltype-specifier.

В вашем примере, класс-голова-имяявляется лексемой B::nested, который включает в вложенного-имя-спецификаторB:: и класс-имяnested. Спецификатор - это все struct B::nested { ... }.

Answer 2

B не имеет вложенный класс с именем nested. только A имеет вложенный класс с именем должен нормально работать

Answer 3

Вы наследуете от A, так что вы не инкапсулированы nested struct in B.

От созданной структуры типа B можно только достигает структуру под названием nested, как она является частью структуры B, однако построить структуру имени nested отвечают A, потому что инкапсулированные nested.

Все в вашем коде недействительны.