定義模板功能採取了模板類的參數

Question

有一個模板類

template <class T0, class T1, ....... > // many template parameters 
class Foo { ...... } 

我如何定義一個模板函數接受Foo任何模板參數？

函數可以是operator <<，在這種情況下，定義單個模板參數通常會破壞編譯。歡迎使用C++ 11解決方案。

Answer 1

您可以定義一個函數模板是這樣的：

template <typename ...Args> 
void f(Foo<Args...> foo) 
{ 
    // ... 
} 

Answer 2

最明顯的方法是

template <typename... T> 
std::ostream& operator<< (std::ostream& out, Foo<T...> const& value) { 
    return out << "Foo(...)"; 
} 

這個版本比服用只是一個模板參數一個版本更加專業化。如果要使用一個模板參數定義此運算符，則需要確定模板實際上符合Foo<T...>的定義，否則將其從過載集中移除。儘管可以這樣做，但在這種情況下，依賴於重載的部分排序似乎更簡單。