>>95
> すると、"b++"が評価されて、bの値がすぐ更新されてもおかしくない

それでも、b++ の結果は +1 される前の b の値であることが処理系によって保証される。

と決まっているんだから、そう覚えろ。