在C#中checked和unchecked操作符用于控制檢查整型算術運算時是否溢出。

下列運算參與了checked和unchecked檢查（操作數均為整數）：

1） 預定義的＋＋和――一元運算符。

2） 預定義的－一元運算符。

3）預定義的＋、－、×、/等二元操作符。

4）從一種整型到另一種整型的顯示數據轉換。

當上述整型運算產生一個目標類型無法表示的大數時，可以有相應的處理方式：

1、使用checked

若運算是常量表達式，則產生編譯錯誤：The Operation overflows at complie time in checked mode.
若運算是非常量表達式，則運行時會拋出一個溢出異常：OverFlowException異常

2、使用unchecked

無論運算是否是常量表達式，都沒有編譯錯誤或是運行時異常發生，只是返回值被截掉不符合目標類型的高位。

3、既未使用checked又未使用unchecked

若運算是常量表達式，默認情況下總是進行溢出檢查，同使用checked一樣，會無法通過編譯。
若運算是非常量表達式，則是否進行溢出檢查，取決于外部因素，包括編譯器狀態、執行環境參數等。

下例說明了checked和unchecked操作符在非常量表達式中的使用方法：

class Test
{
   static int x = 1000000;
   static int y = 1000000;
   static int F()
   {
      return checked(x*y); //運行時拋出OverFlowException異常
   }
   static int G()
   {
      return unchecked(x*y); //截去高位部分，返回-727379968
   }
   static int H()
   {
      return x*y; //依賴于編譯器的默認設置，一般是不檢查
   }
}

checked和unchecked操作符在常量表達式中的使用方法：

class Test
{
   const int x = 1000000;
   const int y = 1000000;
   static int F()
   {
      return checked(x*y); //編譯錯誤，編譯無法通過
   }
   static int G()
   {
      return unchecked(x*y); //截去高位部分，返回-727379968
   }
   static int H()
   {
      return x*y; //編譯錯誤，編譯無法通過
   }
}