Lớp mẫu tham chiếu đến chính nó dưới dạng tham số mẫu mẫu?

Question

Mã này:

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

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

không biên dịch, Tôi cho rằng kể từ khi A<B> được hiểu như là A<B<T> > trong phạm vi B 's.

Vì vậy, làm thế nào để bạn vượt qua B làm thông số mẫu mẫu trong phạm vi của nó?

Answer 1

Hãy thử điều này:

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

Theo C++ chuẩn 14.6.1/2 bạn nên sử dụng tên thông thường của mẫu (ví dụ, tên khỏi phạm vi bao quanh, không phải là tiêm-class-name) .