Класс-член шаблона класса может быть определен вне определения шаблона класса, в котором он объявлен. [ Note: Класс-член должен быть определен до его первого использования, которое требует создания экземпляра ([temp.inst]). Например,
template<class T> struct A { class B; }; A<int>::B* b1; // OK: requires A to be defined but not A::B template<class T> class A<T>::B { }; A<int>::B b2; // OK: requires A::B to be defined
— end note ]