c++ - 如何检查可变参数模板中的所有类型都可以转换为size_t？

如何检查可变参数模板声明中的所有类型都可以转换为size_t:

// instantiate only if extents params are all convertible to size_t
template<typename T, size_t N>
template<typename... E>
Array<T,N>::Array(E... extents) {
    constexpr size_t n = sizeof...(extents);
    static_assert(n == N, "Dimensions do not match");
    // code for handling variadic template parameters corresponding to dimension sizes
}

具有以下用法:

Array<double, 2> a(5,6);    // OK 2-D array of 5*6 values of doubles.
Array<int, 3> a(2,10,15)    // OK 3-D array of 2*10*15 values of int.
Array<int, 2> a(2, "d")     // Error: "d" is not a valid dimension and cannot be implicitly converted to size_t

这是类似的问题:
Check for arguments type in a variadic template declaration

最佳答案

在Columbo的all_true技巧巧妙的帮助下，这很容易:

template <bool...> struct bool_pack;
template <bool... v>
using all_true = std::is_same<bool_pack<true, v...>, bool_pack<v..., true>>;

template <class... Args>
std::enable_if_t<
    all_true<std::is_convertible<Args, std::size_t>{}...>{}
> check(Args... args) {}

Live on Coliru

在特定情况下，其中Check是构造函数:

template<typename... Args, class = std::enable_if_t<all_true<std::is_convertible<Args, std::size_t>{}...>{}>>
    explicit Check(Args... args) {}

关于c++ - 如何检查可变参数模板中的所有类型都可以转换为size_t？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/31767645/