二维数组arr2d[0]的异常表现及底层原理疑问

你遇到的问题核心是数组类型与隐式指针转换的差异，以下是具体拆解：

1. 核心类型区分 #

先明确几个变量的真实类型：

• arr2d：类型为int[2][3]，是包含2个元素的数组，每个元素是int[3]（长度为3的int数组）。
• arr2d[0]：类型为int[3]，是一维数组本身，不是指针——这是你误解的根源。
• &arr2d[0]：类型为int(*)[3]，是指向int[3]类型数组的指针。

2. 为何&arr2d[0]与arr2d[0]输出地址相同？ #

在C++中，当数组名出现在表达式中（除了sizeof、&等少数场景），会触发数组到指针的隐式转换：

• &arr2d[0]取的是第一个一维数组的起始地址，这个地址和该数组首元素arr2d[0][0]的地址在内存上完全重合（数组的起始位置就是首元素的位置）。
• arr2d[0]作为int[3]类型数组，被cout输出时会隐式转换为指向其首元素的int*指针，指向arr2d[0][0]，所以地址值和&arr2d[0]完全相同，但二者类型完全不同。

3. 解引用结果差异的原因 #

• *(arr2d[0])：arr2d[0]转换为int*后，解引用操作是取该指针指向的内存值，也就是arr2d[0][0]的值1。
• *(&arr2d[0])：&arr2d[0]是int(*)[3]类型指针，解引用后得到的是原int[3]类型数组arr2d[0]，再次被cout输出时，又触发数组到指针的转换，变成int*指向arr2d[0][0]，所以输出的还是地址值。

4. 为什么arr[0]+1无法指向arr[1]？ #

• arr[0]转换后的int*指针，其指针运算的步长是int的大小（通常4字节），所以arr[0]+1指向的是arr2d[0][1]，而非下一个一维数组。
• 若要指向arr2d[1]，需要使用int(*)[3]类型的指针，比如&arr2d[0] + 1——此时指针运算的步长是整个int[3]数组的大小（通常12字节），偏移后正好指向arr2d[1]的起始地址。

验证示例 #

可以通过以下代码直观验证类型差异：

#include <iostream>
#include <typeinfo>

int main() {
    int arr2d[2][3]{{1,2,3},{4,5,6}};
    std::cout << "Type of arr2d[0]: " << typeid(arr2d[0]).name() << std::endl;
    std::cout << "Type of &arr2d[0]: " << typeid(&arr2d[0]).name() << std::endl;
    std::cout << "Type of arr2d[0] converted: " << typeid((int*)arr2d[0]).name() << std::endl;
    
    // 验证&arr2d[0]+1的指向
    int(*ptr_to_arr)[3] = &arr2d[0];
    ptr_to_arr++;
    std::cout << "Value of *ptr_to_arr[0]: " << (*ptr_to_arr)[0] << std::endl; // 输出4，即arr2d[1][0]的值
    return 0;
}

内容的提问来源于stack exchange，提问作者Shashank Rana