ISO Core C++ is trying to do something like this. They have to, in order to count on the properties of &quot;const&quot; for their static safety analysis.<p>(I have my reservations about whether ISO Core C++ with the lifetime profile really qualifies as C++ anymore due the massively backwards incompatible nature of the changes, but it&#x27;ll be interesting nonetheless.)