It seems (in principle) feasible for a utility to scan some function or method and detect that in fact some non-const parameters can't be modified. In that case it could suggest that that parameter be made const. Similarly for const methods, I guess. Anybody written such a utility, or thought about it and decided not to for some reason?