为何可将const指针作为非const函数参数传递并修改？

回答 #

是否符合C语言规范？ #

这种行为符合C语言规范，但要明确两个核心点：

1. 编译期诊断要求：C标准将const指针隐式转换为非const指针的行为定义为约束违反，强制要求编译器必须发出至少一条诊断信息（警告或错误）。编译器仅输出警告而非报错，是因为规范只要求诊断，并未规定必须将其视为错误阻止编译——你可以通过-Werror选项让编译器将该警告升级为错误。
2. 运行时未定义行为：虽然代码可能编译通过并输出10，但修改const限定的变量属于未定义行为。编译器可能把const变量存在只读内存，此时修改会触发段错误；或者优化时直接将*constPtr替换为常量5，导致输出结果不符合预期。这种行为完全依赖编译器实现，没有可移植性。

const限定符的意义是什么？ #

const的核心价值从来不是“阻止程序员强行修改值”，而是提供以下关键作用：

• 编译期防护：阻止程序员意外修改不该变更的值。比如直接写value = 10会被编译器直接报错，只有主动通过指针转换才能绕过，此时编译器会发出警告提醒风险。
• 接口契约与文档：作为代码的“自我注释”，告诉阅读者：这个变量的值不应该被修改；函数参数为const int*时，表示该函数不会修改指向的内容，明确代码的使用约定。
• 优化依据：编译器可以基于const限定做优化，比如将const变量的值直接嵌入指令，无需每次从内存读取。强行修改const变量会破坏这些优化逻辑，导致未定义行为。

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