C++编程中为何要使用const A&而非普通A&引用？

除了你提到的“明确标识不修改传入对象”的语义作用，还有两个更核心的、属于语法和标准契约层面的硬约束——不加const连编译都过不了，和代码风格约定无关。 #

1. 非const左值引用无法绑定右值/临时对象 #

C++有明确的语法规则：非const的左值引用（也就是普通A&）只能绑定到有变量名的左值，只有const左值引用可以绑定右值（临时对象），同时延长临时对象的生命周期。
看你示例代码里的Set.emplace(10)：这行代码会直接在std::set的内存空间里构造A对象，排序比较过程中会生成临时的A实例参与对比；如果你写A(5) < A(10)这种直接对比两个临时对象的代码，两边都是没有名字的右值，根本没法传给A&类型的参数，编译器会直接报错。

2. 符合std::set的容器契约要求 #

std::set是基于红黑树的有序容器，为了保证树结构的有序性不被破坏，容器内部存储的所有元素都是const限定的——你通过set迭代器拿到的元素永远是const A&类型，不允许直接修改。
在插入新元素、查找元素的过程中，set需要反复拿内部已有的const元素和待插入/待查找的值做比较。如果你的比较函数参数是普通A&，相当于要把const对象的const属性去掉，属于权限放大，C++语法直接禁止这种隐式转换，编译阶段就会拦截。

3. 语法层面强制保证语义正确性 #

这就是你已经了解的作用：比较大小的逻辑本身就不应该修改两个操作数，给参数加const相当于让编译器帮你做检查，如果你在比较函数里不小心写了修改操作数的代码（比如手滑把<写成=改了成员值），编译器会直接抛出错误，把bug拦在编译阶段，不会带到运行时。 #

你可以自己做个测试：把示例里的operator<参数改成普通A&，编译时会直接抛出两类错误：

• 无法将const A类型的实参绑定到A&类型的非const形参（对应set内部const元素参与比较的场景）
• 无法将临时A对象（右值）绑定到非const左值引用（对应emplace构造临时对象参与比较的场景）
  哪怕你只调用Set.insert(a)（a是有名字的左值）也编不过，因为插入过程中对比的已有set元素都是const的。

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