1. 一段编译没经由过程的代码
代码如下 | 复制代码 |
int a = int.MaxValue * 2; |
以上代码段编译没有经由过程,在VS2010中会有一条红色的波浪线指出这段代码有题目:”The operation overflows at compile time in checked mode”。这说了然编译器会在编译时搜检数学运算是否溢出。然则编译时能搜检出溢出的景象仅限于应用常量的运算。2中的代码编译器就不报不失足误来了。
2. 一段编译经由过程然则不克不及获得正确成果的代码
代码如下 | 复制代码 |
int temp = int.MaxValue; int a = temp * 2; Console.Write(a); |
我先把常量int.MaxValue的值给了姑且变量temp,然后应用姑且变量乘以2策画成果赋值给a;这段代码是可以正常履行的,履行成果将输出 -2。
这申明在运行时默认景象法度是不会搜检算术运算是否溢出的,cpu尽管算,对于它来讲按规矩算就是了,成果对不合错误不是他的错。
正常履行了,而成果是错误的,这是很是危险的景象,该如何避免这种危险呢?请看3
3. 应用checked关键字,溢出时报警
代码如下 | 复制代码 |
int temp = int.MaxValue; try { int a = checked(temp * 2); Console.WriteLine(a); } catch (OverflowException) { Console.WriteLine("溢出了,要处理惩罚哟"); } |
应用checked关键字润饰temp*2的策画成果,并应用try catch在产生溢出时做处理惩罚。以上代码将输出:“溢出了,要处理惩罚哟”
题目是若是一段代码中有很多算术运算都须要做溢出搜检,那会有很多checked润饰的表达式,怎么办呢?请看4
4. checked关键字可以润饰一个语句块,请看下面代码
代码如下 | 复制代码 |
int temp = int.MaxValue; try { checked { int num = temp / 20; int a = temp * 2; int c = temp * 1000; } } catch (OverflowException) { Console.WriteLine("溢出了,要处理惩罚哟"); } |
以上法度输出成果和3一样
5. checked在避免算术溢出方面很有效,那么unchecked呢,它有效吗?答案是必然的,有时辰我们不须要正确的策画成果,我们只是须要那么一个数罢了,至于溢出不溢出的关系不大,比如说生成一个对象的HashCode,比如说按照一个算法策画出一个相对随机数,这都是不须要正确成果的。如下代码片段
代码如下 | 复制代码 |
class Person { public string Name { get; set; }
public string Title { get; set; }
public override int GetHashCode() { return unchecked(Name.GetHashCode() + Title.GetHashCode()); } } |
unchecked也可以润饰语句块,其用法和checked完全一样。
6. checked和unchecked是可以嵌套应用的,固然没啥意义。语句是否是checked以比来嵌套的checked或者unchecked决意
7. 从IL中看checked关键字
C#代码:
代码如下 | 复制代码 |
static void Main(string[] args) { int a = int.MaxValue; int b = a * 2; int c = checked(a * 2); int d = unchecked(a + 3);
Console.Read(); } .method private hidebysig static void Main(string[] args) cil managed { .entrypoint // Code size 26 (0 x1a) .maxstack 2 .locals init ([0] int32 a, [1] int32 b, [2] int32 c, [3] int32 d) IL_0000: nop IL_0001: ldc.i4 0 x7fffffff IL_0006: stloc.0 IL_0007: ldloc.0 IL_0008: ldc.i4.2 IL_0009: mul IL_000a: stloc.1 IL_000b: ldloc.0 IL_000c: ldc.i4.2 IL_000d: mul.ovf IL_000e: stloc.2 IL_000f: ldloc.0 IL_0010: ldc.i4.3 IL_0011: add IL_0012: stloc.3 IL_0013: call int32 [mscorlib]System.Console::Read() IL_0018: pop IL_0019: ret } // end of method Program::Main |
请看IL中的红色和绿色加重显示代码,可以看出应用checked时,IL的运算是mul.ovf不应用checked或者应用unchecked时的IL运算函数是mul或者add,不带.ovf。
8. checked或者unchecked只影响其包抄的语句,不会影响到包抄的语句内调用函数的代码块,如下示例:
代码如下 | 复制代码 |
static void Main(string[] args) { int a = int.MaxValue; int b = 20; checked { int c = TestMethod(a, b); Console.WriteLine(c); } } static int TestMethod(int a, int b) { return a * b; } |
上方代码将会正常履行,checked语句块并未起到应有的感化。
9. 全局开启或者封闭checked编译选项
在项目属性页上选择“生成”选项卡,然后点击“高等”按钮,选中“搜检数学运算溢出”选项,如下示意图