C#中的checked和unchecked

 

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操作符在非常量表达式中的使用方法

 

1. using System;
2. using System.Collections.Generic;
3. using System.Text;
5. namespace CountStrDemo
6. {
7.     class Program
8.     {
10.           //static int x=1000000;
11.           //static int y=1000000;
13.           //static int F()
14.           //{
15.           //    return checked(x * y); ////运行时抛出OverFlowException异常
16.           //}
17.           
18.           //static int G()
19.           //{
20.           //    return unchecked(x * y); //截去高位部分，返回-727379968
21.           //}
22.           
23.           //static int H()
24.           //{
25.           //    return x * y;  //依赖于编译器的默认设置，一般是不检查
26.           //}
29.         const int x = 1000000;
31.         const int y = 1000000;
33.         static int F()
34.         {
35.             return checked(x * y);     //编译错误，编译无法通过
36.         }
38.         static int G()
39.         {
40.             return unchecked(x * y);  //截去高位部分，返回-727379968
41.         }
43.         static int H()
44.         {
45.             return x * y;     //编译错误，编译无法通过
46.         }
49.         static void Main(string[] args)
50.         {
51.             //try
52.             //{
53.             //    F();
54.             //}
55.             //catch (OverflowException ex)
56.             //{ 
57.             //}
58.             
59.             //int reint = G();
60.             //Console.WriteLine( reint.ToString() );
61.           
62.             //int rein2 = H();
63.             //Console.WriteLine( rein2.ToString() );
65.             //Console.ReadLine();
68.             F();
70.             int reint = G();
71.             Console.WriteLine(reint.ToString());
73.             int rein2 = H();
74.             Console.WriteLine(rein2.ToString());
76.             Console.ReadLine();
77.         }
78.     }
79. }