将二维数组名赋值给int*指针未报错且输出首元素值的原因咨询

你的理解确实存在核心错误：二维数组名a的类型并不是int**，这是导致你困惑的根源。下面详细拆解：

1. 二维数组的真实类型 #

声明int a[3][3]时，a是一个数组的数组：它包含3个元素，每个元素都是一个int[3]类型的数组（即含3个int的数组）。因此，a的原始类型是int[3][3]；当它在表达式中使用时（除了sizeof、&等特殊场景），会隐式转换为指向其第一个元素的指针，也就是int (*)[3]（指向含3个int的数组的指针），而非int**。

2. 为什么p = a能输出正确值 #

虽然a转换后的类型是int (*)[3]，和int* p的类型不匹配，但二者存储的地址值是完全相同的：

• a转换后指向a[0]（第一个一维数组），而a[0]的起始地址就是&a[0][0]（第一个int元素的地址）。
• 编译器在遇到类型不匹配的赋值时，可能会给出警告（而非强制报错，取决于编译选项），但会把这个相同的地址值赋值给p。
• 当你执行*p时，就是从这个起始地址取出一个int值，自然就是a[0][0]的72。

3. 这种写法的风险 #

这属于未定义行为，只是刚好地址值重合才得到正确结果。如果后续对p进行指针运算（比如p++），就会出现逻辑错误：int*的步长是sizeof(int)，而int (*)[3]的步长是3*sizeof(int)，两者的指针运算逻辑完全不同。

正确的写法 #

如果要让p指向二维数组的第一个元素，应该直接赋值：

int* p = &a[0][0];

或者用更直观的方式（不推荐强制转换，除非必要）：

int* p = (int*)a;

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