在C#里，整型变量的算术运算默认处于unchecked环境，当计算结果超出该类型的取值范围时，不会发生异常，而是按照二进制补码规则直接截断高位。这种静默溢出在多数普通循环里无感，但在金额累加、序号生成等场景会带来致命错误。checked与unchecked关键字让开发者能针对具体代码块或表达式，手动开启或关闭溢出检查。
一、为什么需要溢出检查控制
int类型在.NET中占用32位，最大值为2147483647。若执行加法到达边界后仍继续累加，默认情况下变量会变成负数最小值，这一过程没有任何提示。对于电商库存、积分系统等，这种错误若流入生产环境，排查成本极高。
另一方面，某些底层算法（如哈希计算、位掩码操作）恰恰依赖这种回绕特性，如果强行全局开启检查反而会降低性能并打断逻辑。因此C#没有采用一刀切策略，而是把控制权交给checked和unchecked，让关键路径显式受检，非关键路径保持高效。
二、checked关键字的基本用法
checked可作为语句块或表达式前缀使用。在checked块内，所有整数算术与转换都会接受运行时监测，一旦溢出立刻抛出OverflowException。下面示例演示语句块形式：
int max = int.MaxValue;
try
{
checked
{
// 下面这行会抛出 OverflowException
int overflow = max + 1;
Console.WriteLine(overflow);
}
}
catch (OverflowException ex)
{
Console.WriteLine("捕获溢出：" + ex.Message);
}
也可仅对单个表达式开启检查，写法更紧凑：
int a = int.MaxValue; int b = checked(a + 10); // 溢出抛异常
使用checked的优势是把隐患暴露在最近出错点，调用栈清晰；缺点是频繁抛异常会带来轻微性能开销，因此建议只包裹真正可能越界的少量代码，而不是整个方法体。
三、unchecked关键字与默认行为
unchecked用于显式关闭检查，和默认行为一致，但能提高代码可读性，明确告知维护者此处溢出是可接受的。示例：
int start = int.MaxValue;
unchecked
{
int wrap = start + 1; // 得到 -2147483648，不抛异常
Console.WriteLine(wrap);
}
在写自定义哈希函数时，经常利用unchecked块避免编译器警告并保留回绕语义：
unchecked
{
int hash = 17;
hash = hash * 31 + 'A';
hash = hash * 31 + 'B';
return hash;
}
应当注意，unchecked仅影响上下文内的溢出检查，不会改变浮点转整数等其它转换的语义。在团队协作中，建议对unchecked块附加注释，说明为何允许回绕，防止后人误改。
四、编译器设置与优先级
除了代码内关键字，C#编译器提供全局开关：csc的/checked选项可让整个程序集默认开启检查。但在代码里写下的checked或unchecked优先级高于编译器设置，这意味着即便全局unchecked，局部checked仍生效。
| 控制方式 | 作用范围 | 优先级 |
|---|---|---|
| 编译器/checked | 整个程序集 | 低 |
| checked/unchecked块 | 局部代码 | 高 |
这种层级设计让基础设施团队可以默认关闭检查保性能，业务开发者在核心计算处手动加checked，兼顾效率与安全。
五、常见误区与建议
一个典型误区是认为常量表达式的溢出会在编译期报错。实际上，若常量运算在unchecked上下文，编译可通过且结果为回绕值；只有在checked或默认checked编译选项下，编译期才提示。另一误区是把checked用于浮点类型，它只对整型算术和整数转换有效。
工程实践上，推荐在领域模型的值对象内部对加减乘除使用checked，并配合单元测试验证边界；在热路径的位运算使用unchecked并写明注释。通过这种精细划分，既能防住静默错误，又不牺牲必要性能。