>>70
？？？
その「前提」に関する記述なんて規格にはないよね？
そんな「前提」なんて規格を外れたプログラマ間の信頼関係でしかなくて、
規格的には
・barではconstポインタの先／const参照先がconstオブジェクトかそうじゃいないかを
知ってるかどうかに関わらずconst外しをして書き換えるコードを書くことは完全に合法。
・fooがbarに非constオブジェクトへのポインタ／参照を渡したなら、barで書き換えられる
可能性があることを想定しなければならない。

と解釈するべきだとやはり思うけど？