C中的编译器如何获得数组第一个元素的地址和整个数组的地址之间的差异？

Question

鉴于这个问题，我完全了解以下事实：

1) 数组的名称是指向它的第一个元素的固定指针。

2) 二维矩阵的名称是它的第一个一维数组的地址。

3) 以及 x[i] 和 &x[i] 在算术运算中的区别（其中 i 是非负整数）。

编译器是MinGW C 中的编译器如何获得数组第一个元素的地址和整个数组的地址之间的差异，尽管它们具有相同的数值？

#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>
int main(void)
{
    int x[3][3] = {1,2,3,4,5,6,7,8,9} ; 
    int *p  ; 
    for(p = &x[0] ; p < &x[0] + 1 ; p++) //Warning: comparison of distinct pointer types in this line of code 
        printf("%d\n",*p) ; 

    return 0 ; 
}

Answer 1

您正在分配/比较两种不同的指针类型。

x 具有int [3][3] 类型，即int 的大小为3 的数组的大小为3 的数组。从那里，x[0] 的类型为int [3]，即int 的大小为3 的数组。

随后，&x[0] 具有int (*)[3] 类型，即指向int 大小为3 的数组的指针。相反，p 的类型为int *，即指向int 的指针。这些是不同的类型，这就是编译器向您发出警告的原因。

编译器或多或少地以我描述的方式解析表达式，查看对象的类型并查看生成的表达式的类型如何随着每个运算符的应用而变化。