C#每个运算符都有2套IL指令,如+对应Add和Add.ovf,前者不执行溢出检查,后者要检查并抛出System.OverflowException异常。溢出检查默认是关闭的,即自动对应Add这样的指令而不是Add.ovf。
控制C#溢出的方法:
1.使用/check+编译器开关
2.使用操作符checked和unchecked:
int b = 32767; // Max short value
//b = checked((short)(b + 32767)); throw System.OverflowException
b = (short)checked(b + 32767); //return -2
这里,被注释掉的语句肯定会检查到溢出,运行期抱错;而第二句是在Int32中检查,所以不会溢出。注意这两条语句只是为了说明check什么时候发挥作用,是两条不同语义的语句,而不是一条语句的正误两种写法。
3.使用checked和unchecked语句,达到与check操作符相同的效果:
int b = 32767; // Max short value
checked {
b = b + 32767;
}
return (short)b;
System.Decimal类型在C#中是基元,但在CLR中不是,所以check对其无效。