スレをまったく読まずに560だけ見てレスします・・・。
はずしまくってたらゴメン。
よくわからんけど、メンバが指している先が自分に所属するとは限らないのだから一律読み取り専用にするのは const の理念とは違うと思う。
さらにオブジェクトはグローバル変数などの外部の要因によっても動作を変えるのだから、
インスタンス変数だけでなくて、ファイルスコープ変数、クラス変数、グローバル変数、引数などもすべて読み取り専用にしないと意味が無い。
そうなると、(概念的？)const メソッドは、外部に一切の変更を加えることができなくなるのだから、
それは const というよりは nosideeffect とかそんな感じだと思う。