通过构造函数绑定的引用修改const对象成员是否属于未定义行为？

这段代码属于明确的未定义行为（UB）。

原因解释 #

• 当你在main中声明const X x(2)时，x是完整的const对象，它的所有非mutable成员都会被隐式赋予const属性，也就是说x.value的实际类型是const int。
• 构造函数中将ref绑定到value的操作本身是合法的：构造阶段对象的const属性尚未生效，此时value还属于非const的int，将非const引用绑定到它没有问题。
• 但后续无论是在const成员函数isThisUB里执行ref = 1，还是直接执行x.ref = 3，本质都是通过非const引用修改了const对象的非mutable成员，完全符合C++标准中规定的const相关UB场景，和用const_cast去掉const修饰后修改的行为没有本质区别，都是UB。

关于编程陷阱的疑问 #

非const引用/指针成员确实是这类const误用场景的高发陷阱：const成员函数的const修饰只会限制你修改成员本身（对于指针来说是限制修改指针的指向，对于引用来说本来就不允许重新绑定），不会限制你修改指针/引用指向的内容，很容易在开发者没有感知的情况下绕开const的静态检查，触发未定义行为。

可用于检索的关键词 #

你可以用以下关键词搜索相关问题：

• C++ const object modify member through non-const reference
• C++ reference member in const object UB
• C++ const member function modify via reference member
• C++ 非const引用成员修改const对象

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