1. 導入: なぜオーバーフローを意識する必要があるのか
Go言語は静的型付け言語であり、メモリ効率と実行速度に優れていますが、数値型にはそれぞれ「表現できる値の範囲」が定義されています。この範囲を超えて演算を行うと、エラーで停止するのではなく、値が予期せず循環する「オーバーフロー（桁あふれ）」が発生します。これは、金融系の計算やインデックス操作において、重大なバグやセキュリティ脆弱性の原因となります。本記事では、この仕組みと、実務で安全に扱うための手法を解説します。
2. 基礎知識: ビットと数値の範囲
Goの整数型（int8, uint8, int64など）は、固定長のビット数で数値を表現します。例えば、符号付き8ビット整数（int8）の場合、ビットの最上位は符号ビットとして使われます。
数値が最大値（int8なら127）を超えてインクリメントされると、バイナリ上では桁上げが発生しますが、格納先が存在しないため、その桁上げは無視されます。その結果、ビット列がすべて反転し、最小値（-128）へと回り込みます。これが「オーバーフロー」の正体です。
3. 実装/解決策: オーバーフローの検知
標準ライブラリの math パッケージには、各型の最大値・最小値が定義されています。これを利用して、演算前に「計算結果が範囲内に収まるか」をチェックするのが、現場で最も確実な手法です。
4. サンプルプログラム: 安全な加算処理の例
以下のコードは、オーバーフローを事前に判定してエラーを返す安全な加算処理の例です。
package main
import (
“errors”
“fmt”
“math”
)
// SafeAdd はオーバーフローを検知する安全な加算関数です
func SafeAdd(a, b int) (int, error) {
// 加算の結果が最大値を超えないかチェック
// a + b > math.MaxInt と書くと計算自体がオーバーフローするため、引き算で判定します
if b > 0 && a > math.MaxInt-b {
return 0, errors.New(“オーバーフローが発生しました”)
}
// 最小値を下回らないかチェック
if b < 0 && a < math.MinInt-b {
return 0, errors.New("アンダーフローが発生しました")
}
return a + b, nil
}
func main() {
a := math.MaxInt
b := 1
result, err := SafeAdd(a, b)
if err != nil {
fmt.Printf("エラー: %v\n", err)
} else {
fmt.Printf("結果: %d\n", result)
}
}
5. 応用・注意点: 現場で役立つポイント
1. 適切な型の選択
最初から大きな数値を扱うことが分かっている場合は、int8やint16ではなく、int64やuint64を適切に選択してください。特に外部入力（APIのリクエストボディなど）から受け取る数値は、意図しない大きな値が入る可能性があるため、バリデーションが必須です。
2. math/big パッケージの検討
もし、計算結果が64ビットの範囲を確実に超えるような複雑な計算（暗号処理や科学計算）を行う場合は、標準ライブラリの math/big を使用してください。これは可変長の数値を扱えるため、オーバーフローの心配がありません。
3. カウンターでの注意
ループの終了条件などで uint を使う場合、減算を行うと 0 から最大値へ一気にジャンプするアンダーフローが発生します。ループカウンタには基本的に int を使い、負の値にならないことが自明な場合のみ uint を選ぶという使い分けが推奨されます。
コメント