这是个特别典型的问题，能帮你彻底搞懂Clang对const限定符的实现逻辑，以及为什么会出现这种「地址相同但值不一样」的看似矛盾的输出。

先明确C语言中const的本质 #

首先要纠正一个常见误解：C里的const不是「常量」，而是只读变量限定符。标准C规定，修改被const修饰的对象属于「未定义行为」——这意味着编译器可以自由选择如何处理这种情况，而Clang就是通过优化手段来强化const的只读语义的。

你的代码输出背后的Clang实现细节 #

我们一步步拆解为什么会出现你看到的结果：

1. 编译期常量折叠（Constant Folding） #

当你定义double const x = 1.234;时，x的初始化值是编译期就能确定的字面量。Clang在默认优化阶段（-O1及以上）会做一件事：把所有直接引用x的代码，直接替换成它的初始化值1.234，而不是生成从内存地址读取x的指令。

比如你代码里的printf(" x = %f\n", x);，编译后会直接变成输出常量1.234的指令，完全不会去读取栈上x对应的内存位置的值——哪怕你通过指针p修改了那块内存的内容，也不会影响这个输出。

2. 指针修改的是实际内存，但被优化绕过了 #

你通过强制类型转换double *p = (double *) &x;拿到了x的地址，然后修改*p = 5.678;，这确实修改了栈上对应地址的内存值——所以printf("*p = %f\n", *p);会输出修改后的5.678，因为*p是通过指针间接访问内存，编译器不会对这种间接访问做常量折叠。

而&x == p为真，说明两者确实指向同一块栈内存，所以地址打印完全一致。

3. 为什么不会出现「x和*p值相同」的输出？ #

如果关闭Clang的优化（用-O0参数编译），你就会看到x的输出也变成5.678了。因为在-O0模式下，编译器会禁用大部分优化，每次访问x都会从内存中读取值，此时指针修改的内存值就会反映到x的输出上。

这也侧面印证了：默认优化下的输出差异，完全是编译器对const变量直接访问的优化导致的。

补充：Clang和Clang++的差异 #

你提到「double *p = &x;在Clang里是警告，Clang直接报错」，这是因为C和C对const的类型转换规则不同：

• C语言的类型系统相对宽松，允许隐式丢弃const限定符（但会给出警告，提示你这是危险操作）；
• C的类型系统更严格，直接禁止这种隐式转换，必须显式强制类型转换才能通过编译，这是C对const语义的更强约束。

关键提醒：未定义行为的风险 #

虽然这个例子里Clang的行为看起来有规律，但修改const对象是标准明确的未定义行为——换个编译器（比如GCC）、换个优化级别、甚至调整代码结构，都可能出现不同的结果。永远不要依赖这种未定义行为编写代码。

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