Question

我对C ++中C风格数组的维度有疑问。在使用声明/ typedef时，使用多个维度时，维度似乎很奇怪。例如：

using A1 = int[23]; //! << A1 = int[23]
using A2 = A1[4];   //! << A2 = int[4][23]

std::cout << std::is_same<int[23][4], A2>::value << std::endl; //false
std::cout << std::is_same<int[4][23], A2>::value << std::endl; //true

我认为A2的类型是int [23] [4]而不是int [4] [23]。在下面的代码段中观察到相同的行为：

template<typename T>
struct ArrayTest;

template<typename T, size_t N>
struct ArrayTest<T[N]>
{
    using type = T;
};

ArrayTest<int[23][2][45]>::type A3;  //! T is int[2][45], N is 23

在这个例子中我认为类型是int [23] [2]而不是int [2] [45]。有谁知道为什么这样的类型推断？我试图在标准中找到解释，但我想我看起来不够努力。

Answer 1

有谁知道为什么会这样推断出类型？

using A2 = A1[4];

A2是A1个对象的长度为4的数组。

using A1 = int[23];

A1是int的长度为23的数组。因此，A2的类型是长度为4 int或int[4][23]的长度为4的数组。

typedef中C样式数组的维度

1 个答案: