为什么 `int[]` 会衰减为 `int*` 而不是 `int[][]`？

为什么 int[] 会衰减为 int* 而不是 int[][]？

在 C 中，数组表现出独特的衰减规则，根据它们的维度和指针的存在而有所不同。在比较一维数组 (int[]) 和二维数组 (int[][]) 衰减时的行为时，可以观察到这种现象。

一维数组: int*[] 衰减为 int

当一维数组（例如 int[]）衰减时，它的行为就像指向第一个元素的指针。这在以下代码中很明显：

<code class="cpp">std::is_same<int*, std::decay<int[]>::type>::value; // true</code>

此代码返回 true，因为 int[] 的衰变产生 int*，表明它的行为类似于指向整数的指针。

二维数组：int[][1] 不会衰减为 int

与一维数组相反，二维数组 (int[][]) 不会衰减为 int

<code class="cpp">std::is_same<int**, std::decay<int[][1]>::type>::value; // false</code>

指向指针的指针 (int**)。相反，它们保留了数组性质。下面的代码演示了这一点：

此代码的计算结果为 false，表示 int[][1] 的衰减不会产生 int**。

指针在数组衰变中的作用

这两种情况的主要区别在于指针的参与。当用指针类型声明一维数组时，例如 int

<code class="cpp">std::is_same<int**, std::decay<int*[]>::type>::value; // true</code>

[]，它实际上成为指向数组的指针。这解释了为什么它会衰减为 int

*，这是一个指向指针的指针。推理：为什么不是 int

[][]

？

二维数组之所以不衰减为指向指针的指针，是因为它会导致指针运算的困难。在二维数组中，每个元素都存储在连续内存块内的特定偏移量处。要访问元素，编译器需要知道两个维度的大小。如果它衰变成 int**，它将丢失这个关键信息并使指针运算变得不可能。

以上是为什么 `int[]` 会衰减为 `int*` 而不是 `int[][]`？的详细内容。更多信息请关注PHP中文网其他相关文章！