導入
C++プログラミングにおいて、一見すると効率的で簡潔に見えるコードが、実はプログラムをクラッシュさせたり、予期せぬ計算結果を招いたりすることがあります。特に「1つの式の中で同じ変数を複数回更新する」という行為は、C++の仕様上「未定義動作（Undefined Behavior）」とされており、絶対に避けなければなりません。本稿では、なぜこれが危険なのか、そして安全に記述するためのルールを解説します。
基礎知識
C++では、ある式の中で「どの演算子が先に実行されるか（優先順位）」は決められていますが、「オペランド（演算対象）がどの順序で評価されるか」は、必ずしも保証されていません。
特に、インクリメント演算子（++）のように「変数の値を変更する」副作用を持つ演算子を、同じ式の中で複数回使用すると、コンパイラによって評価順序が変わる可能性があります。あるコンパイラでは「左から右」に計算されても、別の環境や最適化設定では「右から左」に計算されるかもしれず、結果が不安定になります。C++の規格では、こうしたケースを「未定義動作」と定義しており、プログラムがどのような挙動をしても文句は言えないという非常に危険な状態になります。
実装/解決策
未定義動作を回避する鉄則は、「副作用のある式を1つのステートメント内で複数回適用しない」ことです。もし変数の値を更新したいのであれば、必ず演算を分離してください。
具体的には、以下の手順を徹底します。
1. 副作用を伴う式は、1行に1つだけ記述する。
2. インクリメントや代入を式の中に埋め込まず、独立した行で行う。
3. 可読性と安全性の両面から、複雑なワンライナーを避ける。
サンプルプログラム
以下に、やってはいけない例と、それを安全に書き換えた例を示します。
include <iostream>
int main() {
// 悪い例：未定義動作を引き起こすコード
// int i = 0;
// int result = i++ + i++; // コンパイラによって結果が異なる可能性がある危険なコード
// 良い例：処理を分離して明確にする
int i = 0;
// 1回目の評価と加算
int val1 = i;
i++;
// 2回目の評価と加算
int val2 = i;
i++;
int result = val1 + val2;
std::cout << "計算結果: " << result << std::endl;
std::cout << "最終的な i の値: " << i << std::endl;
return 0;
}
応用・注意点
現場のコードレビューでは、以下のようなケースも「未定義動作」に該当するため注意が必要です。
関数引数への副作用
関数に引数を渡す際、f(i++, i++) のように記述することも未定義動作です。関数への引数が評価される順序は規定されていないためです。
コンパイラ警告の活用
現代のコンパイラ（GCCやClang）では、-Wall や -Wextra オプションを有効にすることで、こうした不適切なインクリメントに対して警告を出してくれます。しかし、警告に頼り切るのではなく、「1行に1つの責務」というコーディング規約をチーム内で徹底することが、最も強力なバグ予防策となります。複雑な式を一行で書くことよりも、誰が見ても挙動が明白なコードを書くことを優先してください。
コメント