17 Templates [temp]

17.5 Template declarations [temp.decls]

17.5.1 Class templates [temp.class]

17.5.1.2 Member classes of class templates [temp.mem.class]

Класс-член шаблона класса может быть определен вне определения шаблона класса, в котором он объявлен. [ 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]