for ループ における「前置きインクリメント演算子」に関するメリットについて

Question

アドバイスを頂きたいこと

前任者より引き継いだコードのリファクタリングを行っているのですが、
forループにて「前置きインクリメント演算子」の記述があり、
以下のコードで、
「「前置き」にすることで index を２からスタートさせようとして書いたのか？」と思える部分を見かけました。
実際は１からスタートすると思うのですが…

少々紛らわしいコードの書き方のような気もしたので、
コードの記述を += 1; にし、ビルドイメージが一致したので、
この記述に変更しようと思ったのですが、
「前置きにすることによる別のメリット」「変更によるデメリット」もあるのではないかと思い、
質問させてもらうことにしました。

「該当のソースコード」と「試したこと」

【引き継いだ状態】
for( int index = 1; index < 10; ++index )
{
....
}

【変更後】
for( int index = 1; index < 10; index +=1 )
{
....
}

どちらもビルドイメージが一致したので、コンパイラは同じと判断したことになると考えております。

アドバイスを頂きたい内容

可読性も含め、forループの「前置き」にはどんなメリットがありますでしょうか？
また、この変更によって、デメリットがありますでしょうか？

アドバイス頂けると助かります。
宜しくお願い致します。

Comments

[fana]

変更後の
> +=1
の方が「紛らわしいコードの書き方」に思えます．
（何で「++」じゃないの？　何か特別な意図が…？　と．）

[GuielNo4]

++の方がメジャーなのですね…プログラムをデコる...というか、至るところに コメントを //++++ や /*-----*/ といった記述が多くみられるコードのリファクタリングをしていまして、コード分析のとき検索しにくいので、この記述にしています。

[fana]

コメントの方をリファクタリングしよう！

[GuielNo4]

アドバイスありがとうございます。コメントのリファクタリングも必要ですね…
下記、アドバイス頂いております内容も鑑みているのですが、「前置き」「後置き」には「暗黙の了解的」(的を得た表現ではないかもしれませんが) な意味について解釈が「できる人」「できない人」で変わるようですので、個人的にはまずコード設計として「前置き」「後置き」が絶対的に必要な場面でなければ +=1; にする方がしっくりくる気がしています。「今のところ」ですが…

[fana]

まぁ，+= も コメントの話も，
変更すること自体が（時間と労力，無意味な差分の発生…，といった面での）デメリットとも言える気がしないでもないので，
そういった些細な事柄の変更は保留しておいて，もっと本当に必要なことから先にやった方が良いんじゃないかな，とか．
（わざわざやらなくて良いようなことであれば，やらないでおけば良い）

Answer 1

言語の意味論としては、後インクリメントというのは「変数を更新する」「変数が更新される前の値を評価値とする」という性質があります。 このととから更新前の値をコピーして残しておかなければいけません。 そのような必要のない場面では前インクリメントの方が意図を正確に表現できていると考えられます。

ただ、少なくとも現代的な最適化能力のあるコンパイラでは、質問の事例で評価値を使わないことを見抜けますし、使わないなら事前にコピーしておく必要がないということもわかるのでやらないようなコードを生成します。 要するに差は出ません。

for 文でのループカウンタを更新するのは後インクリメントを使う方が初期に習慣として定着してしまったこともあってそれに合わせることは多いのですが、 C++ で意味論を意識する機会が多いのでそちらから輸入する形で C でも前インクリメントを使うことが好まれる場合もあります。

つまり、昔からの習慣を大事にするなら後インクリメント、意図を言語仕様の理屈に基づいて正確に反映させるなら前インクリメントという感じですね。

Comments

[maisumakun]

C++でクラス型をインクリメント/デクリメントする場合、前置か後置かでオーバーロードの呼ぶ関数が違ってきてしまいますね。

[GuielNo4]

アドバイスありがとうございます。
・「後置き」では「更新前の値をコピーして残す」意味合いがある。
・前インクリメントの方が意図を正確に表現できる。
・「習慣」と「意図としての言語仕様の理屈」での区別
以上３点、勉強になりました。ありがとうございました。

Answer 2

元々意味は同じです。なので、1の部分が今後 別の値に変更の可能性がある場合を除けば、index +=1のように書くことはまず無いと思います。

おそらく後置インクリメントを避けるという意味のルールだと思います。
i++の場合は、その値を使う場合は意味が異なります。
その値を使わない場合は、結果は同じです。コンパイラおよび最適化オプションによっては生成されるコードに違いが出る可能性がありますが、現状でメジャーなコンパイラだとおそらく同じコードでしょう。

Comments

[GuielNo4]

「後置き」では「利用する」「しない」で変数の意味が異なることに注意したいと思います。
アドバイスありがとうございました。

[otn]

> 後置き」では「利用する」「しない」で変数の意味が異なること
違います。利用しようがしまいが、意味は同じです。
冗長に書くと、

i++ と ++i はその値を使う場合は意味が異なります。当然、生成されるコードは異なります。
i++ と ++i はその値を使わない場合は結果は同じです。現代のコンパイラでは生成されるコードも同じでしょう。