|
||||||
|
Written By:
川俣 晶 |
||||||
この章のテーマ §checkedステートメント、uncheckedステートメントと、checked/uncheckedを式中で使用した場合の動作を学びます。また、checkedコンテキスト/uncheckedコンテキストについても学びます。 前提知識 §Console.Writeメソッド, Console.WriteLineメソッド, 文字列の基礎, 変数の基礎, 例外の基礎, int型, float型, 複文, try-catch構文 解説 §これらの機能は、整数のオーバーフローのチェックの制御のために存在します。 checked文の次に書かれた文は、整数計算がオーバーフローを起こすとOverflowExceptionの例外が発生します。 uncheckedの次に書かれた文は、整数計算がオーバーフローを起こしても、例外は発生させずに誤った結果のまま処理を継続します。 これらの文の次の文は複文やメソッド呼び出しなどにできますので、複数の文に影響を及ぼせます。この影響の及ぶ文脈をcheckedコンテキスト/uncheckedコンテキストと呼ぶこともあります。 checked/uncheckedは式の中で使用することができ、式の一部だけ動作を変えることができます。 なぜチェックしないuncheckedが存在するのでしょうか? 理由はいくつかあります。
罠の数々 §
参考リンク §Checked と Unchecked (C# リファレンス) サンプルソース: kw_checked_unchecked §int max = int.MaxValue; int min = int.MinValue; int zero = 0; float maxf = float.MaxValue; float minf = float.MinValue; Console.WriteLine("unchecked context"); unchecked { sub("int.MaxValue+1", () => max + 1); sub("int.MinValue-1", () => min - 1); sub("float.MaxValue+1", () => maxf + 1); sub("float.MinValue-1", () => minf - 1); sub("1/0", () => 1 / zero); } Console.WriteLine("checked context"); checked { sub("int.MaxValue+1", () => max + 1); sub("int.MinValue-1", () => min - 1); sub("float.MaxValue+1", () => maxf + 1); sub("float.MinValue-1", () => minf - 1); sub("1/0", () => 1 / zero); } Console.WriteLine("checked under unchecked context"); unchecked { sub("int.MaxValue+1", checked(() => max + 1)); sub("int.MinValue-1", checked(() => min - 1)); } Console.WriteLine("unchecked under checked context"); checked { sub("int.MaxValue+1", unchecked(() => max + 1)); sub("int.MinValue-1", unchecked(() => min - 1)); } void sub<T>(string name, Func<T> expression) { Console.Write(name); Console.Write(" "); try { var r = expression(); Console.WriteLine($"計算終了: {r}"); } catch (OverflowException) { Console.WriteLine("OverflowException例外発生!"); } catch (Exception e) { Console.WriteLine($"その他の例外発生! {e.GetType().Name}"); } } 実行結果 §unchecked context int.MaxValue+1 計算終了: -2147483648 int.MinValue-1 計算終了: 2147483647 float.MaxValue+1 計算終了: 3.4028235E+38 float.MinValue-1 計算終了: -3.4028235E+38 1/0 その他の例外発生! DivideByZeroException checked context int.MaxValue+1 OverflowException例外発生! int.MinValue-1 OverflowException例外発生! float.MaxValue+1 計算終了: 3.4028235E+38 float.MinValue-1 計算終了: -3.4028235E+38 1/0 その他の例外発生! DivideByZeroException checked under unchecked context int.MaxValue+1 OverflowException例外発生! int.MinValue-1 OverflowException例外発生! unchecked under checked context int.MaxValue+1 計算終了: -2147483648 int.MinValue-1 計算終了: 2147483647 リポジトリ §https://github.com/autumn009/CSharpPrimer2 練習問題 §以下のプログラムの実行結果を予測してみよう。 int a = 1; unchecked { checked { Console.WriteLine(int.MaxValue+a); } }
[[解答]] |
|
||
