【C++学習｜豆知識】知らないと危険！C++における整数オーバーフローの罠と回避策

導入

C++のプログラミングにおいて、整数の演算は非常に頻繁に行われます。しかし、何気なく書いた加算や乗算が、プログラムの予期せぬ挙動や深刻なセキュリティホールを引き起こすことがあります。それが「整数オーバーフロー」です。なぜこの現象が重要なのか、そしてどうすれば安全なコードが書けるのか、基礎から解説します。

基礎知識

コンピュータのメモリ上で、整数型は固定されたビット数（8ビット、32ビットなど）で表現されます。例えば、8ビットの「unsigned char（uint8_t）」は0から255までしか値を保持できません。

ここで、最大値である255に1を加えるとどうなるでしょうか。二進数で「11111111」に「1」を足すと、桁溢れが発生して「100000000」となります。しかし、8ビットしか扱えない型では、あふれた最上位ビットが切り捨てられ、結果は「00000000」、つまり「0」に戻ります。この現象を「ラップアラウンド」と呼びます。符号付き整数型の場合はさらに複雑で、未定義動作（Undefined Behavior）を引き起こす可能性があり、より注意が必要です。

実装/解決策

オーバーフローを防ぐ最も確実な方法は、計算を行う前に「演算結果が型の最大値を超えないか」を事前にチェックすることです。C++標準ライブラリには、安全に演算を行うためのヒントが含まれています。

例えば、加算を行う前に「最大値 – 現在の値 < 加算したい値」という条件式を評価することで、オーバーフローを未然に防ぐことができます。

サンプルプログラム

以下のコードは、オーバーフローが発生する状況と、それを事前に判定して回避する安全な実装例です。

#include include // 数値の制限値を取得するために必要 include


int main() {

    uint8_t x = 250;

    uint8_t add = 10;

// 演算前にオーバーフローするかチェックする // 最大値(255)から現在の値(250)を引いた差分が、加算値より小さい場合はオーバーフローする if (std::numeric_limits::max() - x < add) { std::cout << "警告: オーバーフローが発生するため計算を中止します。" << std::endl; } else { x += add; std::cout << "計算結果: " << static_cast(x) << std::endl; } return 0; }

応用・注意点

現場での開発において、特に注意すべきは「符号付き整数（intなど）」のオーバーフローです。符号なし整数（unsigned）と異なり、符号付き整数のオーバーフローはC++の言語仕様上「未定義動作」とされており、コンパイラが「オーバーフローは絶対に起きない」という前提でコードを最適化してしまうことがあります。

また、最近のC++環境では、コンパイラのオプション（GCCの-ftrapvなど）を活用して、実行時にオーバーフローを検知することも可能です。また、より安全な計算を行いたい場合は、SafeIntのようなライブラリや、C++20以降で利用可能なstd::cmp_greaterなどの比較関数を意識して活用することをおすすめします。常に「大きな値」を扱う可能性がある箇所では、型を大きくする（intからlong longにする等）だけでなく、境界値チェックを忘れないようにしましょう。