Динамическая инициализация класса перечисления внутри структуры шаблона ⇐ C++

[Anonymous]

Я компилировал следующий тестовый код с помощью clang:

Код: Выделить всё

template struct S1
{
struct S2{
enum class E1;
enum class E2: T;
enum class E3: short;
};

typename S2::E1 b1;
typename S2::E2 b2;
typename S2::E3 b3;

enum class S1::S2::E1 {e11,e12};
enum class S1::S2::E2 : T {e21,e22};
enum class S1::S2::E3 : short {e31,e32};
};

template struct S1;

Я получил ошибку: для специализации или определения шаблона требуется список параметров шаблона, соответствующий вложенному типу «S1< T >». Я предполагаю, что структура S1 определяется при добавлении члена в

Код: Выделить всё

enum class S1::S2::E1 {e11,e12}
enum class S1::S2::E2 : T {e21,e22};
enum class S1::S2::E3 : short {e31,e32};

Компилятор не знает, что такое T, поскольку экземпляр S1 еще не создан и, следовательно, T не может быть разрешен. Таким образом, компилятор не знает размера членов перечисления и, следовательно, выдает ошибку. Это правильно? Это указано в стандартах?

Примечание: gcc не выдает подобных ошибок.

Подробнее здесь: https://stackoverflow.com/questions/190 ... ate-struct