typedefs 中 C 样式数组的维度

Dimensions of C-style arrays in typedefs

本文关键字：数组 样式 typedefs      更新时间：2023-10-16

我有一个关于 C 样式数组在C++的维度的问题。在使用声明/类型定义时，当使用多个维度时，维度似乎很奇怪。例如：

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]。有谁知道为什么这样推断类型？我试图在标准中找到一个解释，但我想我看得不够努力。

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

using A2 = A1[4];

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

using A1 = int[23];

A1 是一个长度为 23 的int数组。所以A2的类型是长度为 4 的数组，长度为 23 int，或 int[4][23] 。

相关文章：