Why is it possible to modify object state via const member function that uses pointer to the object's member?

user_9486175 0
Viewed 127

Why doesn't this code produce a compiler error:

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();
}

Is there some words in the standard about this behavior? Of course, maybe there is no point to point to members which can be access directly anyway, but what about owning resources on the heap that can be regarded as part of the object too.

member constants function class c++
1 Answers

During the construction and destruction of an object, the members are not const. That means you can store a non-const pointer to a member that is going to be const once the object is constructed. Using that pointer to change value of a const object is undefined behavior. Quoting 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.

And quoting [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.

user_101473990
Related