In the world of OOP, when would "guarantee"ing (so to speak) 'physical' const-ness ever be handy? Wouldn't "physical" const-ness be an implementation detail of the object, and therefore, impossible to determine by the user of the object?