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

Question

如何获取可变参数模板函数的参数数量？

IE：

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);

---

请注意，如果您想计算打包类型的聚合大小（而不是包中的类型数量），那么您必须执行以下操作：

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) + ...);

希望有帮助。

Answer 2

#include <iostream>

template<typename ...Args>
struct SomeStruct
{
    static const int size = sizeof...(Args);
};

template<typename... T>
void f(const T&... t)
{
    // this is first way to get the number of arguments
    constexpr auto size = sizeof...(T);
    std::cout<<size <<std::endl;
}

int main ()
{
    f("Raje", 2, 4, "ASH");
    // this is 2nd way to get the number of arguments
    std::cout<<SomeStruct<int, std::string>::size<<std::endl;
    return 0;
}