如何找到参数包的长度？

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（在 中定义） ;)。此外，该函数应该是一个常量表达式。

---

不使用 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
}

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