C语言技术疑问：调用f1触发段错误，调用f2却正常，原因是什么？

核心差异：指针类型不匹配 #

f2调用的正确逻辑 #

调用f2(a)时，数组名a会隐式转换为指向数组第一个元素的指针（类型为unsigned char*），和f2的参数类型完全匹配。f2里的操作直接针对数组的实际内存空间：

• p = arr指向数组首元素a[0]
• *p = 'h'修改a[0]为'h'
• p++指向a[1]，赋值'\0'作为字符串结束符，整个过程合法，不会触发错误。

f1调用的错误根源 #

调用f1((unsigned char**)&a)时存在严重的类型错误：

• &a的实际类型是unsigned char (*)[31]（指向长度为31的unsigned char数组的指针），你强制把它转换成了unsigned char**（指向指针的指针），这两种类型完全不兼容。
• 在f1函数中，*arr试图把&a指向的内容（也就是数组a的前4/8个字节，取决于系统的指针宽度）当成一个unsigned char*指针值来读取。但数组a的初始值是随机的，这个“假指针”指向的内存地址几乎肯定是非法的，当执行*p = 'h'时，就会尝试写入非法内存，直接触发段错误（Segmentation Fault）。

修复方案 #

如果要让f1能正确操作数组，需要调整参数传递方式，确保类型匹配：

// 方案1：先获取数组首元素指针的地址
unsigned char* ptr = a;
f1(&ptr);

或者修改f1的参数类型为数组指针（灵活性稍低）：

void f1(unsigned char (*arr)[31])
{
   unsigned char* p = *arr;
   *p = 'h';
   p++;
   *p = '\0';
}

// 调用时无需强制转换
f1(&a);

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