C++ 11:Variadic模板函数参数的数量?

And*_*zos 76 c++ variadic-functions variadic-templates c++11

如何计算可变参数模板函数的参数数量?

即:

template<typename... T>
void f(const T&... t)
{
    int n = number_of_args(t);

    ...
}
Run Code Online (Sandbox Code Playgroud)

number_of_args在上面实现的最佳方法是什么?

Naw*_*waz 89

写下这个:

const std::size_t n = sizeof...(T); //you may use `constexpr` instead of `const`
Run Code Online (Sandbox Code Playgroud)

注意,这n是一个常量表达式(即在编译时已知),这意味着您可以在需要常量表达式的地方使用它,例如:

std::array<int,   n>  a; //array of  n elements
std::array<int, 2*n>  b; //array of (2*n) elements

auto middle = std::get<n/2>(tupleInstance);
Run Code Online (Sandbox Code Playgroud)

请注意,如果要计算打包类型的聚合大小(而不是包中的类型),那么您必须执行以下操作:

template<std::size_t ...>
struct add_all : std::integral_constant< std::size_t,0 > {};

template<std::size_t X, std::size_t ... Xs>
struct add_all<X,Xs...> : 
  std::integral_constant< std::size_t, X + add_all<Xs...>::value > {};
Run Code Online (Sandbox Code Playgroud)

然后这样做:

constexpr auto size = add_all< sizeof(T)... >::value;
Run Code Online (Sandbox Code Playgroud)

在C++ 17(及更高版本)中,使用fold表达式计算类型大小的总和要简单得多:

constexpr auto size = (sizeof(T) + ...);
Run Code Online (Sandbox Code Playgroud)

希望有所帮助.

  • +1学会了两件事; `sizeof ...`和`constexpr`.:) (8认同)
  • 所以这个 `sizeof...` 实际上返回的是参数的数量,而不是所有参数的组合存储大小(就像数组上的 `sizeof` 一样)? (2认同)
  • @panzi:是的。`sizeof ...(T)` 返回包装在 `T` 中的类型的*数量*。如果您想计算打包类型的聚合大小,那么您必须执行以下操作:http://ideone.com/udggBk 我也在我的答案中添加了此内容。 (2认同)
  • 使用C++ 17,现在我们可以使用折叠表达式`return(0 + ... + sizeof(t));来计算单个arg类型的大小. (2认同)