C/C++で整数オーバーフローを検出する方法｜安全な実装テクニックを解説

C/C++において整数のオーバーフローを確実に防ぐ唯一の安全な方法は、演算が行われる前にオーバーフローが発生しないかをチェックすることです。ただし、いくつかのトリッキーな手法を使えば、オーバーフローを検出することも可能です。

符号なし整数の加算でオーバーフローを検出する

例として、unsigned int同士の加算におけるオーバーフロー検出を見てみましょう。加算結果が、足し合わせたどちらか一方の値よりも小さくなっていれば、オーバーフローが発生したことになります。

サンプルコード

unsigned int x, y;
unsigned int value = x + y;
bool overflow = value < x; // 「value < y」でも同様に判定可能

なぜこの方法が機能するのか

x と y がどちらも unsigned int の場合、加算してオーバーフローが起きると、結果はラップアラウンド（桁あふれ）します。このとき、結果の値は元の x や y のいずれよりも大きくなることができません。なぜなら、両者を上回るためには、符号なし整数が表現できる最大値（UINT_MAX）を超える必要があるからです。この性質を利用することで、シンプルな比較演算だけでオーバーフローを検出できます。

CPUのオーバーフローフラグを利用する方法

もうひとつの方法として、CPUが持つオーバーフローフラグ（Overflow Flag）に直接アクセスする手段があります。一部のコンパイラではこのフラグへのアクセス機能を提供しており、それをテストすることでオーバーフローを検出できます。しかし、これは標準仕様ではないため、コードの移植性が損なわれる点には注意が必要です。

補足：コンパイラ組み込み関数の活用

近年のGCCやClangでは、__builtin_add_overflow などの組み込み関数が提供されており、これを使えば符号付き・符号なしを問わず安全にオーバーフローを検出できます。また、C23やRustなどではチェック付き算術演算が言語レベルでサポートされる方向に進んでいます。移植性と安全性を重視する場合は、こうした標準的・準標準的な機能の活用を検討するとよいでしょう。