使用模板类的参数定义模板函数

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...>的定义，否则将其从重载集中删除。 尽管可以做到，但是在这种情况下，依靠重载的部分排序似乎更简单。