Şablon sınıfı kendisini şablon şablonu parametresi olarak tanımlar mı?

Question

Bu kod:

template <template <typename> class T> 
class A 
{ 
}; 

template <typename T> 
class B 
{ 
    A<B> x; 
}; 

A<B> B 'ın kapsamında A<B<T> > olarak yorumlanır beri herhalde derleme değil.

Peki, kapsamı içinde B şablon şablonu parametresi olarak nasıl geçersiniz?

Answer 1

Bu deneyin:

template <typename T> 
class B 
{ 
    A<::B> x; // fully qualified name for B 
}; 

C++ Standart 14.6.1/2 şablon normal adı kullanmalıdır göre (diğer bir deyişle, kapatma alanı, enjekte edilen sınıf adı ad) .