C++ 模板类型特征问题

Question

我是创建自己的类型特征的新手，我想创建一个类型特征，让我能够识别传递的类型是否是预期的容器。

template<typename T, typename ... Types>
struct is_array
{
    static constexpr bool value = false;
};

template<typename ... Types>
struct is_array<std::array<Types...>>
{
    static constexpr bool value = true;
};

我采用了上述格式，它适用于除数组以外的所有容器类型：

constexpr bool state = is_array<std::array<int, 5>>::value;

当它应该为真时，上面的计算结果为假。这只发生在数组类中，我相信这是因为它有 2 个没有默认值的模板参数。我无法解决这个问题。

Answer 1

首先，你的 trait 应该只有一个模板参数：预期的数组类型：

template<typename T/*, typename ... Types*/>
struct is_array {
    static constexpr bool value = false;
};

第二，std::array定义为：

template<
    class T,
    std::size_t N
> struct array;

作为第一个类型参数 T 和类型为 std::size_t 的非类型参数 N。

因此，您的真正专业应该是：

template<typename T, std::size_t N>
struct is_array<std::array<T,N>>
{
    static constexpr bool value = true;
};

注意，不是定义成员value，我们更喜欢从std::true_type and std::false_type 继承，它提供了一些其他成员别名+转换运算符。那么代码就变成了：

template<typename T>
struct is_array : std::false_type {};

template<typename T, std::size_t N>
struct is_array<std::array<T,N>> : std::true_type {};