c++ - 复合赋值中关于 `const` 的困惑

Question

canonical implementation operator+= 将 RHS 作为 const 引用传递:

X& operator+=(const X& rhs)

然而，在

x += x;

RHS 已修改。这会调用 UB 吗？

Answer 1

来自 dcl.type.cv :

A pointer or reference to a cv-qualified type need not actually point or refer to a cv-qualified object, but it is treated as if it does; a const-qualified access path cannot be used to modify an object even if the object referenced is a non-const object and can be modified through some other access path.

引用 rhs 是 const 限定的，因此它不能用于修改它引用的对象。

但是，被引用的对象，即 x，是非常量，因此 x 本身可以通过其他访问路径进行修改，例如在 operator+= 的定义中。

因此此代码示例中的行为定义明确。