Могут ли внедряться вложенные классы шаблонов классов в заголовок C++?

Question

Предположим, файл заголовка myheader.hxx определяет шаблон класса A, в котором, не шаблонный класс B определен (который не зависит от параметра шаблона из A):

template<class T> 
class A { 
    class B { 
     // ... 
    }; 
}; 

это хорошо в этом случае для реализации B в myheader.hxx, или мне нужно написать отдельный myheader.cxx, чтобы избежать дублирования определений во время ссылки? Является ли этот случай последовательно обработан различными компиляторами?

Answer 1

Он по-прежнему является либо шаблоном (или частью шаблона, не знает сверхточных определений), даже если он не является шаблоном верхнего уровня, поэтому вы должны необходимо, чтобы должен реализовать его в заголовке (технически, он может быть в исходном файле, если это единственное место, которое он использует, но это, вероятно, побеждает цель).

Примечание: если вы не собираетесь выполнять свои функции-члены рядный с определением класса, вам нужно синтаксис как:

template<typename T> 
void A<T>::B::foo(...) 
{ 
    // ... 
} 

Кроме того, потому что это придумали раньше, если B случилось иметь свой собственный шаблон параметра, это будет что-то вроде:

template<typename T> 
template<typename T2> 
void A<T>::B<T2>::foo(...) 
{ 
    // ... 
} 

Не:

template<typename T, typename T2> 
void A<T>::B<T2>::foo(...) 
{ 
    // ... 
} 

Или если B не сделал, но B::foo сделал, это было бы:

template<typename T> 
template<typename T2> 
// void A<T>::B::foo<T2>(...) // not this apparently 
void A<T>::B::foo(...) 
{ 
    // ... 
} 

EDIT: по-видимому, это foo выше вместо foo<T2> для функции, по крайней мере, с GCC (так что почти 100% уверен, что это стандарт поведение) ... Я уверен, что некоторый язык адвокат будет в состоянии объяснить, почему :)

Etc.