深入解析C语言中const与指针的赋值规则及陷阱

指针类型与赋值兼容性

在探讨具体代码之前，需要明确 ANSI C 关于简单赋值（即指针之间赋值）的核心原则。要使形式 左操作数 = 右操作数 合法，必须满足以下条件之一：

• 两个操作数都是指向有限定符或无限定符的相容类型的指针；
• 左边指针所指向的类型必须具有右边指针所指向类型的全部限定符。

这里有一个关键的细节：const float* 不是一个有限定符的指针类型，而是表示该指针指向一个带有 const 限定符的 float 类型。这意味着，const 是作用于指针所指的底层数据，而非指针本身。

一级指针的合法转换：char* 与 const char*

char* 和 const char* 之间的单向赋值是合法的。例如：

char* cp;
const char* cpp;
cpp = cp; // 合法

其合理性在于：右操作数指向无额外限制的 char，而左操作数承诺不会修改其指向的 char（增加了 const 限制）。这种从“弱限制”向“强限制”的转换符合安全性要求。反之，将 const char* 赋值给 char* 则被禁止，因为这可能导致意外修改原本应受保护的常量数据。

二级指针的转换陷阱：char** 与 const char**

对于多级指针，情况变得更为复杂。尝试将 char** 赋值给 const char** 时，GCC 编译器通常会发出如下警告：

warning: assignment from incompatible pointer type
警告:来自不兼容指针类型的赋值

尽管在某些宽松的环境（如特定配置的 Visual Studio）中可能仅产生警告而不报错，但这种写法严重损害了代码的可移植性和严谨性。原因在于：

• char** 是一个指向 char* 的指针，其间接指向的数据允许被修改。
• const char** 是一个指向 const char* 的指针，其间接指向的数据不允许被修改。

若允许这种赋值，开发者可能会通过 const char** 的接口向一个可写内存区域写入不可控的值，从而破坏 const 语义的安全性保障。因此，ANSI C 标准严格禁止这种跨越层级的限定符转换。

const 修饰符的作用范围解析

const 的关键作用是防止间接修改。即使使用了强制类型转换等技巧绕过了编译器检查，直接修改仍属未定义行为（Undefined Behavior），在优化后的代码中会导致不可预测的结果。

1. const int* p （指向常量的指针）

此写法意味着 const 修饰的是 *p。指针自身可以被移动，但不能用来修改它指向的数据。这适用于遍历字符串或不希望改变外部数据的场景。

int i = 10;
const int* p = &i;
// *p = 20; // 编译报错
int j = 20;
p = &j;     // 合法，修改指针指向

2. int* const p （指针常量）

此写法意味着 const 修饰的是 p 本身。指针一旦被初始化便不能再指向其他地址，但可以通过 *p 来修改其所指向的数据。

int i = 10;
int* const p = &i;
*p = 20;      // 合法，修改所指数据
// p = &j;   // 编译报错，不能移动指针

3. const int* const p （指向常量的常量指针）

结合了上述两者。既不能通过 p 修改指向的地址，也不能通过 p 修改指向的内容。这是最严格的保护形式，常用于只读配置表或固定映射区。

总结

理解 C 语言中 const 的正确方式是将其视为一种“契约”，用于约束访问者的权限而非改变数据的存储属性。在处理指针层级时，严格遵守限定符的增加方向（从右向左，从不包含到包含 const），可以有效避免隐式内存访问错误。以上就是 C语言中const和指针的详细解析内容，更多关于 C语言开发技巧的资料请关注本站其它相关文章！