C语言二级指针传参给带const限定的参数时出现类型不兼容警告如何解决

核心原因：C语言的const限定符隐式转换规则对多级指针有特殊限制 #

1. 单级指针和多级指针的转换差异 #

单级指针中，T* 可以安全隐式转换为 const T*，因为你无法通过后者修改原对象，没有安全风险，所以你第二个例子里的 g(pi) 不会触发警告。
但二级及以上指针不允许 T** 隐式转换为 const T**，原因是存在可被利用的安全漏洞：

const obj c;
obj* p;
const obj** pp = &p; // 如果允许这行隐式转换
*pp = &c; // 合法，因为*pp是const obj*，可以指向const对象
*p = xxx; // 非法，p现在指向const对象，但p是obj*，可以修改内容，触发未定义行为

2. const修饰符的位置规则 #

你提到的obj const *和obj *const完全不同，判断规则非常简单：const默认修饰它左边的元素，如果左边没有元素就修饰右边的元素：

• obj const * / const obj *：const修饰obj，代表指针指向的obj对象不可修改，指针本身的值可以修改
• obj *const：const修饰*，代表指针本身的值不可修改（不能指向其他对象），指向的obj对象可以修改

3. 你列出的函数等价分组 #

重复的const限定符会被编译器忽略，所以你给出的函数可以分为以下等价组：

• 触发警告的组（参数为指向const obj的指针的指针）：f1 / f2 / f5 / f7 / f9 / fc
• 触发警告的组（参数为指向const obj的常指针的指针）：f6 / f8 / fb / fd / fe / ff
• 不触发警告的组（参数为指向obj的常指针的指针）：f3
• 不触发警告的组（参数本身为常指针，顶层const不影响调用）：f0 / f4 / fa

4. 警告的解决方法 #

如果你确认函数内部不会出现前面提到的危险赋值操作，有两种常见解决方式：

1. 显式强制类型转换，告诉编译器你知晓类型差异：

f3((const obj**)o);
f4((const obj *const*)o);
f((const int *const*)ppi);

2. 如果你只需要保证不修改第一层指针的值，不需要限定指向的对象为const，可以调整参数声明为obj *const *（也就是你例子里的f3的写法），这种情况可以安全隐式转换，不会触发警告。

5. 最后一个问题的说明 #

如果你要在函数原型明确表达「不会修改指针本身、不会修改第一层指针指向、不会修改最终对象」的语义，const int *const *const ppi 是语义正确的写法，但因为C标准的限制，调用时必须显式强转int**类型的参数，没有其他隐式兼容的写法。

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