将非类型模板参数放入元组
如何构造具有非类型模板参数的元组
template <auto... args>
void func()
{
std::tuple<decltype(args)...> t(args...);
cout << get<3>(t) << endl;
}
template <auto... args>
struct ZZ
{
std::tuple<decltype(args)...> t(args...);
};
int main()
{
func<1,2,3,4>();
ZZ<1,2,3> z;
}
虽然它适用于func它不适用于结构并导致编译错误（gcc主干）
vs.cc:102:35: error: ‘args’ is not a type
102 | std::tuple<decltype(args)...> t(args...);
| ^~~~
回答
问题是，默认成员初始值设定项（C++11 起）支持大括号和等号初始值设定项，但不支持括号初始值设定项。您可以将代码更改为：
template <auto... args>
struct ZZ
{
std::tuple<decltype(args)...> t{args...};
// ^ ^
};
或者
template <auto... args>
struct ZZ
{
std::tuple<decltype(args)...> t = std::tuple<decltype(args)...>(args...);
// ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
};
并借助类模板参数推导（C++17 起）：
template <auto... args>
struct ZZ
{
std::tuple<decltype(args)...> t = std::tuple(args...);
// ^^^^^^^^^^^^^^^^^^^^^
};