Вложенные классы являются зависимыми типами в шаблонах классов?
Учтите следующее:
template<class> struct T
{
struct T1
{
struct T2
{
};
};
/*typename*/ T1::T2 m;
};
Без typename, компиляция не удалась, так как T2 считается зависимым именем и, следовательно, не типом. Посмотрев на проект стандарта C ++ 17 (N4659), я понял, что определил почему:
§ 17.6.2.1 ¶ 5
Имя это член текущей инстанции если это
— Неквалифицированное имя, которое при поиске относится как минимум к одному члену класса, являющегося текущим экземпляром, или его независимому базовому классу.
…
Имя это зависимый член текущего экземпляра если он является членом текущего экземпляра, который при поиске ссылается по крайней мере на один член класса, который является текущим экземпляром.
T1 является зависимым членом текущего экземпляра. T2 не является членом текущего экземпляра (он является членом T1),
§ 17.6.2.1 ¶ 9.3
Тип зависит, если он
…
— вложенный класс или перечисление, являющееся зависимым членом текущего экземпляра,
…
T1 является вложенным классом и, следовательно, зависимым типом.
§ 17,6 ¶ 3
Когда Квалифицированный-идентификатор предназначен для ссылки на тип, который не является членом текущего экземпляра (17.6.2.1) и его вложенное имя спецификатор относится к зависимому типу, к нему должно быть добавлено ключевое слово имяТипа, образуя имяТипа спецификатор. …
Таким образом, typename нужно.
Правильно ли мое понимание? Если да, то в чем причина этого? Как мог поиск T1::T2 когда-нибудь находите что-то кроме T2, вложенного в T1?
Решение
Да вы правы.
В вашем случае это не имеет значения, потому что вы не можете специализироваться T1 без создания экземпляров m (поскольку это член класса). Но вы могли бы сделать это, положить m в функции:
template<class> struct T
{
struct T1
{
struct T2
{
};
};
void foo() {
typename T1::T2 m;
}
};
template<>
struct T<void>::T1 {
int T2;
};
Если T1 не зависят, ваш код может изменить смысл, потому что T2 будет ссылаться на значение, а не тип.
Другие решения
Других решений пока нет …
detector