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]即，尺寸3的阵列的尺寸3的阵列int 。 从那里， x[0]具有类型int [3] ，即int大小为 3 的数组。

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

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