C语言中为什么无法访问已衰减的二维字符串数组的第n个元素？

你在栈上创建三维字符数组的操作是完全正确的，错误出在数组转指针的类型不匹配。

核心错误原因 #

C语言的数组衰减遵循固定规则：数组名仅会退化为指向其首个元素的指针，不会发生多级自动衰减：

• 你定义的char arr[ARR_SIZE][ARR_SIZE][STR_LEN]本质是「元素为char[ARR_SIZE][STR_LEN]类型的一维数组」，所以arr衰减后的正确指针类型是char (*)[ARR_SIZE][STR_LEN]（指向二维字符数组的指针），和你写的char***完全不属于同一类型。
• 你强制将数组地址转为char***后，指针的步长会被判定为sizeof(char*)（64位系统下为8字节）。执行p + 7操作时，会从数组首地址向后偏移56字节，解引用*(p+7)会把偏移位置存储的字符串ASCII值当成内存地址读取，这个地址几乎都是非法的，因此触发段错误。

#include <stdio.h>

#define ARR_SIZE 10
#define STR_LEN 20

int main() {
    char arr[ARR_SIZE][ARR_SIZE][STR_LEN];

    for (int i = 0; i < ARR_SIZE; i++) {
        for (int j = 0; j < ARR_SIZE; j++) {
            snprintf(arr[i][j], STR_LEN, "%d %d", i, j);
        }
    }

    // 定义和数组类型匹配的指针
    char (*p)[ARR_SIZE][STR_LEN] = arr;
    // 等价于访问 arr[7][0]
    puts(p[7][0]);
    return 0;
}

如果你需要使用char***类型的三级指针，不能直接强制转换栈上的多维数组名：栈上多维数组是连续存储的，不存在三级指针需要的中间层指针索引表，需要额外申请堆内存手动构建索引结构才能使用。

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