c#中的checked和unchecked是什么意思,起什么作用?

用法一、Checked与Unchecked 　　 　　

对于因为整数类型参与算术操作和类型转换时产生的“溢出异常”——System.OverflowException，在某些算法来讲不算真正的“异常”，相反这种溢出常常为程序所用。C#通过引入checked和unchecked关键字来控制这种特殊情况的需求。它们都可以加于一个语句块前（如：checked{……}），或者一个算术表达式前（如：unchecked(x+y)），其中加checked标志的语句或表达式如果发生算术溢出，则抛出System.OverflowException类型的异常，而加unchecked标志的语句发生算术溢出时，则不抛出异常。下面是一个示例：

public  static void TestCheckAndUnCheck()

        {

            int num1 = 100000, num2 = 100000,

            result = 0;

            checked

            {

                try

                {

                    result = num1 * num2;

                }

                catch (System.OverflowException e)

                {

                    Console.WriteLine(e);

                }

                finally

                {

                    Console.WriteLine(result);

                }

            }

            unchecked

            {

                try

                { result = num1 * num2; }

 

                catch (System.OverflowException e)

                {

                    Console.WriteLine(e);

                }

 

                finally { Console.WriteLine(result); }

            }

 

        }

 

程序输出： 　　 　

System.OverflowException: Arithmetic operation resulted in an overflow.         　

at Test.Main()     　 　

0     　　 　　

1410065408         　　

可以看到同样的算术操作，用checked抛出了溢出异常，而unchecked只是将溢出的位丢弃而得到剩下的32位组成的十进制整数值。值得指出的是可以用“/checked”编译器选项指定整个文件的代码为checked语义，如果没有指定则默认为unchecked。如果同时在程序代码中指定checked或unchecked标志，又有了checked编译器选项，则除了标志为unchecked的代码外，其余的都有checked语义。

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

}

}