如何找到参数包的长度？

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
}

^{注意，一切都完全未经测试。}