如何查找参数包的长度？

Question

假设我有一个可变参数模板函数

template<typename... Args>
unsigned length(Args... args);

如何使用长度函数找到参数列表的长度？

Answer 1

用途sizeof...:

template<typename... Args>
constexpr std::size_t length(Args...)
{
    return sizeof...(Args);
}

请注意,您不应该使用unsigned,但std::size_t(定义于<cstddef>).此外,该函数应该是一个常量表达式.

不使用sizeof...:

namespace detail
{
    template<typename T>
    constexpr std::size_t length(void)
    {
        return 1; // length of 1 element
    }

    template<typename T, typename... Args>
    constexpr std::size_t length(void)
    {
        return 1 + length<Args...>(); // length of one element + rest
    }
}

template<typename... Args>
constexpr std::size_t length(Args...)
{
    return detail::length<Args...>(); // length of all elements
}

^{注意,一切都是完全未经测试的.}