checked和unchecked操作符用于整型算術運算時控制當前環境中的溢出檢查。下列運算參與了checked和unchecked檢查（操作數均為整數）：1） 預定義的＋＋和――一元運算符。2） 預定義的－一元運算符。3） 預定義的＋、－、×、/等二元操作符。4） 從一種整型到另一種整型的顯示數據轉換。 當上述整型運算產生一個目標類型無法表示的大數時，可以有相應的處理方式： （一）使用checked若運算是常量表達式，則產生編譯錯誤：the operation overflows at complie time in checked mode.若運算是非常量表達式，則運行時會拋出一個溢出異常：overflowexception異常 （二）使用unchecked無論運算是否是常量表達式，都沒有編譯錯誤或是運行時異常發生，只是返回值被截掉不符合目標類型的高位。 （三）既未使用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; //編譯錯誤，編譯無法通過}}
