中級

整数のオーバーフローが例外にならない理由

int型の範囲（約-21億〜21億）を超える計算をしても、既定では例外にならず値が折り返ります。

なぜエラーが出ないのか

出力: -2147483648

（エラーなし）

C#は何も報告しません。文法として正しいためです

出力: -2147483648

実際の挙動 — 期待した結果と食い違っている箇所

見つけ方

エラーが出ないので、出力を目で確かめるか、コードを目で追うしかありません。この種の誤りが最も発見が遅れます

このエラーが出る典型パターン

 1  class Program {
 2      static void Main(string[] args) {
 3          int max = int.MaxValue;
 4          int result = max + 1 ;
                                ^
 5          System.Console.WriteLine(result);
 6      }
 7  }

 1  class Program {
 2      static void Main(string[] args) {
 3          int max = int.MaxValue;
 4          int result = max * 2 ;
                                ^
 5          System.Console.WriteLine(result);
 6      }
 7  }

 1  class Program {
 2      static void Main(string[] args) {
 3          int min = int.MinValue;
 4          int result = min - 1 ;
                                ^
 5          System.Console.WriteLine(result);
 6      }
 7  }

 1  class Program {
 2      static void Main(string[] args) {
 3          int max = int.MaxValue;
 4          int result = max + 2 ;
                                ^
 5          System.Console.WriteLine(result);
 6      }
 7  }

 1  class Program {
 2      static void Main(string[] args) {
 3          int max = int.MaxValue;
 4          int result = max * 3 ;
                                ^
 5          System.Console.WriteLine(result);
 6      }
 7  }

よくある誤解

「範囲を超えたら止まってくれる」という期待は誤りです。C#は既定でuncheckedという文脈で動作するため、オーバーフローを検出したい場合はcheckedを明示する必要があります。

実務での勘所

checkedは文のブロック(checked { ... })としてだけでなく、checked(a + b)のように式単位でも書けます。さらにプロジェクト全体の既定を変える設定もあり、プロジェクトファイルにCheckForOverflowUnderflowをtrueに設定すると、明示的にcheckedと書かなくてもプロジェクト全体の算術演算がオーバーフロー検出付きになります。個々の式、ブロック、プロジェクト全体という3段階の粒度で、検出するかどうかを選べます。

演習をはじめる

関連するエラー

• Unable to cast object の原因と直し方object型に格納された値型（ボックス化）を、元の型と異なる型でアンボックスしようとすると発生します。
• 文字列を変更したはずが変わらない理由string型は不変（イミュータブル）です。