checked和unchecked操作符用于整型算術運算時控制當前環境中的溢出檢查。下列運算參與了checked和unchecked檢查(操作數均為整數):
1) 預定義的++和―― 一元運算符。
2) 預定義的-一元運算符。
3) 預定義的+、-、×、/等二元操作符。
4) 從一種整型到另一種整型的顯示數據轉換。
(一)使用checked
若運算是常量表達式,則產生編譯錯誤:The operation overflows at complie time in checked mode.
若運算是非常量表達式,則運行時會拋出一個溢出異常:OverFlowException異常。
checked 的用法可以是checked(//運算代碼),也可以是checked{//運算代碼},一般都是小量的代碼。
先看下面代碼:
Byte b = 100;
b += 200;
Console.WriteLine(b.ToString());
結果并不是我們預想的輸出300,輸出是44。假設我們用于計算那是多么的危險,上述代碼編譯時編譯器并沒有告訴程序員運算溢出。而是偷偷的干了壞事...
下面我們加上checked,看效果如何:
byte b = 200;
checked
{
b += 200;
}
Console.WriteLine( b.ToString());
可以看到程序并沒有輸出,而是在運行時拋出OverflowException,干了try catch的事情,告訴程序員說運算溢出了,趕快修bug。在運行時才拋出異常,在測試中帶來些許麻煩,那么如何在程序編譯時就拋出錯誤呢,事實上編譯時是不能確定運算結果的,也就是說運算結果是在運行是才能確定,所以只有在運行時checked才做運算溢出檢查。但是下列代碼是編譯不通過的(地球人都知道)
byte b;
checked
{
b = 256;
}
Console.WriteLine( b.ToString());
輸出錯誤 Constant value '300' cannot be converted to a 'byte' ,byte的范圍是0~255嘛,編譯當然報錯。
需要指出的是,看下面代碼:
Byte b = 100;
b = (Byte)checked(b + 200);//不拋出System.OverflowException異常信息
這里解釋一下,因為 b+ 200 的結果是int32,checked是對int32的檢查當然沒有運算溢出,但是再將結果轉換成byte時沒有checked,所以返回值會被截掉不符合目標類型的高位,輸出不正確的結果。
(二)使用unchecked
無論運算是否是常量表達式,都沒有編譯錯誤或是運行時異常發生,只是返回值被截掉不符合目標類型的高位,用法類似checked。
參考資料:
[1]C#中的checked、unchecked操作符http://www.knowsky.com/301786.html
[2]基元類型和Checked、UnChecked操作符的使用 http://www.cnblogs.com/noviceliu/archive/2009/03/11/1408461.html