我可以强制可变参数模板采用特定类型的参数吗

Question

在C++模板中有一个概念叫做显式模板参数规范，这意味着我可以强制编译器创建给定类型的模板函数。例如

template <class T1, class T2>

void foo(T1 t1prm, T2 t2prm) {
    /* function body */
}

foo<double, double>(1,2);

我可以用可变模板函数做类似的事情吗？我没有特定的用例。 Variadic 模板对我来说是新的，我只是想了解新的（嗯，对我来说）概念的功能。

Answer 1

是的。

template<typename... Args>
void f(const Args&... args)
{
}

int main()
{
   f<int>(1.0, 2, 3.0);
}

这里会调用函数f<int, int, double>.

你可以这样查看

template<typename... Args>
void f(const Args&... args)
{
   using swallow = int[];
   (void)swallow{0, (std::cout << typeid(args).name() << std::endl, 0)...};
}

我可以强制可变参数模板采用特定类型的参数吗

Can I force variadic template to take a specific type of argument

c++

templates

variadic-templates