You should be more explicit about modifying a variable that was originally declared const causes undefined behavior.

You should have also mentioned that using mutable is an alternative to const_cast for data members.