编译器是否不允许假设const引用参数保持常量性？相关标准求证

首先直接给结论：编译器不能无条件假设const引用参数指向的对象永远不会被修改，这也是你看到两个函数汇编不同的核心原因。下面详细拆解这个问题：

核心规则：const引用的限制范围 #

C++标准里的const限定符，对引用来说只是限制通过该引用本身不能修改对象，但它并不保证对象本身是不可变的——如果这个引用绑定的是一个原本非const的对象（比如普通的int变量），那么通过其他非const的途径（比如原变量名、非const指针/引用）修改这个对象是完全合法的。

举个实际场景的例子：

int x = 42;
void f(const int& a) {
    // 这里用const_cast去掉const限制修改a
    // 因为x本身是非const的，这个操作是合法的，不属于未定义行为
    const_cast<int&>(a) = 100;
}
f(x);

只有当const引用绑定的是真正的const对象（比如const int x = 42;或者字符串字面量）时，试图修改它才会触发未定义行为。

为什么编译器不能做激进优化？ #

编译器在编译函数时，无法提前确定const引用参数最终会绑定到const对象还是非const对象。如果盲目假设a的值永远不会改变，当调用方传入一个非const变量时，优化后的代码就会和实际运行行为不符，这是C++标准不允许的。

这就是你看到两个函数汇编不同的原因：编译器必须保留对参数的内存读取操作，而不能直接把值缓存到寄存器里——因为它必须考虑到对象被外部途径修改的可能性。

补充：什么时候编译器可以假设常量性？ #

如果编译器能明确判定const引用指向的是一个const对象（比如函数内部创建的const变量，或者传入的是编译期常量），那它就可以安全地做优化。因为此时修改对象属于未定义行为，编译器可以合理假设这种情况不会发生。

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