Şablon şablon parametresi işlevi

Question

Bu geçerli şablon yapısı C++ şablonlarında mı?

template < template <typename T2> class T> 
void foo() { 

} 

Answer 1

Evet. Geçerli.

Sen tam bir şablon parametre alan herhangi bir sınıf şablonu ile bu işlevi çağırabilir. Kodunuzdaki,

foo< A<int> >(); //error 

Ayrıca: Örneğin, yok

template<typename T> 
struct A 
{ 
    //... 
}; 

foo<A>(); //ok 

Not A sınıf şablonu anlamına gelen şu derleme hatasına neden olur için şablon argümanı sağlamak T2 isteğe bağlıdır ve aslında, tanım daha basit hale getirmek için o kadar iyi olur, fonksiyonda kullanın kaldıramazsınız:

template < template <typename> class T> 
void foo() { 

    T<int> x; //this is how T can be instantiated; provide template argument! 
} 

Demo: http://ideone.com/8jlI5