C＃中的checked、unchecked操作符

在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; //编译错误，编译无法通过
   }
}