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