Tham số mẫu mẫu trên hàm

Question

Đây có phải là mẫu hợp lệ trong các mẫu C++ không?

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

} 

Answer 1

Có. Nó hợp lệ.

Bạn có thể gọi chức năng này với bất kỳ mẫu lớp nào yêu cầu chính xác một thông số mẫu. Ví dụ,

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

foo<A>(); //ok 

Lưu ý rằng bạn không cần phải cung cấp các luận cứ mẫu cho A lớp mẫu, có nghĩa là, sau đây sẽ gây ra lỗi biên dịch:

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

Ngoài ra, trong mã của bạn T2 là tùy chọn, và trong thực tế, bạn không thể sử dụng nó trong các chức năng, vì vậy tốt hơn loại bỏ nó để làm cho định nghĩa đơn giản:

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