>525
関数とかでラップしちゃうとカウンタの変化するタイミングとかが却ってわかり辛いと思うんですが。
例えば↓
　　for( Counter<int> i = 0; i < n; i.increment() ) {
　　　if( ... ) i.retry();　//← retry実行後、i の値はどうなる?
　　　std::cout << i <<std::endl;　// retry実行時、何が出力される?
　　}
これだと i を直接操作する方がよっぽど素直かと。
（わざわざ「step」を使うのは、直接操作した場合生じる問題を回避するため）

>526
素直にgoto使う方がよりシンプルなのは否定しません。
ただ524は「gotoを使わない」という前提ありきで書いてます。
「公開しないコード書く時」あるいは「明示的に許可されてる」のでない限り
gotoは使うべきじゃ無いと思うので。

>527
その辺は適当に読み変えて下さい。
個人的な趣味&行数を抑える目的&etcで for1行にしました。