4.2.1.15 检查处理语句——Checked定义及使用

4.2.1.15  检查处理语句——Checked定义及使用

C#语句既可以在已检查的上下文中执行，也可以在未检查的上下文中执行。在已检查的上下文中，算法溢出引发异常。在未检查的上下文中，算法溢出被忽略并且结果被截断。

所谓checked语句就是指定已检查的上下文。如果既未指定checked也未指定unchecked，则默认上下文取决于外部因素。下列操作受溢出检查的影响。

表达式在整型上使用下列预定义运算符：

++   （一元）+   - * /

整型间的显式数字转换

默认情况下，如果表达式产生的值超出了目标类型的范围，则常数表达式将导致编译时错误，而非常数表达式在运行时计算并将引发异常。不过，如果通过编译器选项或环境配置在全局范围内取消了溢出检查，则可以使用checked关键字来启用此项功能。

功能说明：此示例演示如何对非常数表达式使用checked。

程序清单4-31

using System;
class OverFlow_Test
{
static short x = 3000;   
static short y = 32200;
static int CheckedMethod()
{
int z = 0;
try
{
z = checked((short)(x + y));
}
catch (System.OverflowException e)   //异常捕获
{
Console.WriteLine(e.ToString());
}
finally
{
Console.WriteLine("执行finally程序块，.");
}
return z;
}
static void Main()
{
Console.WriteLine("需要检查数据的有效性: {0}",
CheckedMethod());
}
}

图4-31  Checked定义及使用