C++11:可变参数模板函数参数的数量？

Question

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

即:

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

    ...
}

上面实现number_of_args的最佳方式是什么？

Answer 1

就这样写吧:

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

请注意，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);

---

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

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 > {};

然后这样做:

constexpr auto size = add_all< sizeof(T)... >::value;

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

constexpr auto size = (sizeof(T) + ...);

希望对您有所帮助。