>>86
CFAQ3.2でも同じようなこと書いてあったから、
その通りだと思うんだけど、

> b自身の値が本当に ++ されて
> 1 になる(ことが保証される)のは ; の直後から。

b自身の値が更新されるのは、;以前のどこか、ってことになるよね。
すると、"b++"が評価されて、bの値がすぐ更新されてもおかしくない
と思うんだけどどう？