c++ - 为什么可以通过使用指向对象成员的指针的 const 成员函数来修改对象状态？

Question

为什么这段代码没有产生编译错误:

class C
{
    int _i{ 123 };
    int* ptr{ &_i };
public:
    int& i() const { return *ptr; }
};

int main()
{
    C const c;
    c.i() += 321;
    return c.i();
}

标准中是否有关于此行为的一些文字？当然，也许没有必要指向可以直接访问的成员，但是拥有堆上的资源也可以看作是对象的一部分。

Answer 1

在对象的构造和销毁过程中，成员不是const。这意味着您可以存储一个指向某个成员的非常量指针，该成员在构造对象后将成为常量。使用该指针更改 const 对象的值是未定义的行为。引用 cppreference :

Modifying a const object through a non-const access path and referring to a volatile object through a non-volatile glvalue results in undefined behavior.

并引用 [dcl.type.cv]/4 :

Except that any class member declared mutable can be modified, any attempt to modify a const object during its lifetime results in undefined behavior.