指针指针与二维数组的区别及内存、操作含义解析

我清楚一维数组的退化概念，也知道char[1]和char*可以转换，但char[1][1]和char**并非兼容类型，情况完全不同。

我写了以下main函数代码：

int main(void) {
    char a[1][1];
    a[0][0] = 'q';
    printf("a: %p\n", a);
    printf("*a: %p\n", *a);
    printf("**a: %p\n", **a);
}

编译时开启警告，gcc会提示第6行有问题——**a实际是char类型，不是指针类型。但运行后发现，a和*a的指针值相同，**a的结果是0x71，这和字符'q'的ASCII值一致，符合预期。

我尝试推导：既然*a和a的值相等，那似乎**a = *(*a) = *(a) = *a = a，但这个推论明显错误，问题出在a、*a、**a的类型差异上。

我想搞清楚：a在内存里到底怎么存储？如果把a当成指向某地址（比如我的环境中是0x7fff9841f250）的指针，那*a应该是该地址存储的值，但实际它也等于0x7fff9841f250，那**a就会是该地址的值，这又等于a？显然不能用普通指针逻辑理解char a[1][1]这种二维数组类型。那该怎么理解这种类型？a、*a、**a、a[0]、a[0][0]的实际含义到底是什么？

我看过相关文章，但它没解释*a、**a、a[0]、a[0][0]这些操作的实际行为。

问题解答 #

1. 二维数组的内存存储本质

char a[1][1]是一个二维数组，它在内存中是连续存储的一块区域，大小就是1*1=1个char的字节空间。在你的例子里，这块空间只存了一个字符'q'（ASCII值0x71），地址是0x7fff9841f250。

注意：数组不是指针，数组名是一个指向数组首元素的“常量指针”，但它本身不是指针变量——数组的内存里并没有存储指针值，直接存储的是数组的元素。

2. 各表达式的类型与含义

• a：类型是char (*)[1]（指向长度为1的char数组的指针）。当你用%p打印时，它会被隐式转换为void*，值是数组首元素的起始地址，也就是a[0]的地址，同时也是a[0][0]的地址（因为a[0]是长度为1的数组，它的首地址就是唯一元素a[0][0]的地址）。
• *a：对a解引用，得到的是a指向的对象——也就是a[0]，类型是char[1]（长度为1的char数组）。而数组名在表达式中会退化（除了作为sizeof、&的操作数），所以*a会退化为char*，指向a[0][0]的地址，因此打印出来的地址和a相同。
• a[0]：和*a完全等价，类型是char[1]，退化后是char*，指向a[0][0]。
• **a：先对a解引用得到a[0]（退化后是char*），再解引用一次，得到的是a[0][0]，类型是char，值是'q'（0x71）。用%p打印时，char会被提升为int，然后被当作指针地址输出，所以显示0x71。
• a[0][0]：直接访问二维数组的唯一元素，类型是char，值是'q'。

3. 为什么a和*a地址相同？

因为a是指向a[0]的指针，而a[0]是长度为1的数组，它的起始地址就是a[0][0]的地址；同时a作为二维数组的起始地址，也指向a[0][0]的位置。所以两者的地址值完全相同，但类型完全不同——这是关键，不能只看值相等就忽略类型差异。

4. char[1][1]和char**不兼容的原因

char**是指向char*指针的指针，它要求内存中存储的是一个指针值，这个指针再指向char；而char[1][1]的内存里直接存储的是char元素，没有任何指针。所以强行转换会导致类型不匹配，访问时会出现未定义行为。

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