是否可以在可变参数模板函数中扩展非可变参数？

Question

通过一个例子来解释我的意思可能更容易.想象一下以下模板:

template <class... Args>
std::tuple<Args...> foo();

例如,可以调用它,如下所示:

auto ret = foo<int, bool>();

但是如果我想根据可变参数模板参数的数量将其他参数传递给函数呢？例如,假设我想为每个Args传递一个字符串文字:

auto ret = foo<int, bool>("a", "b");

这个问题是,似乎不可能扩展非可变参数,所以下面显然不能编译:

template <class... Args>
std::tuple<Args...> foo(const char*... names);

有没有明智的方法来实现这个？

Answer 1

你可以用类似的东西做到这一点

template <class... Args>
std::tuple<Args...> foo(proxy<Args, const char*>... names);

这里proxy是

template<class T, class E>
using proxy = E;

你可以在这里看到这个:https://godbolt.org/g/SHBYzy