C#默认unchecked导致整型溢出静默回绕，非常量表达式编译不报错、运行不抛异常，仅常量表达式在编译期报CS0220；checked仅作用于直接运算，不穿透方法调用。
默认不检查溢出，非常量表达式不会在编译期报错，运行时也不会抛异常——这是绝大多数 C# 开发者踩坑的起点。
为什么 int.MaxValue + 1 编译不报错，但运行结果是负数？
因为 C# 默认使用 unchecked 上下文。整型运算（+、-、*、++、-- 等）和显式转换（如 (int)doubleValue）在非常量表达式中，编译器跳过溢出检查，直接生成 add / conv.i4 这类不带 .ovf 后缀的 IL 指令。
结果就是二进制截断：高位被丢弃，数值“回绕”。例如：
int x = int.MaxValue; // 2147483647 x++; // 实际执行：0x7FFFFFFF + 1 → 0x80000000 → -2147483648
- 常量表达式（如
int i = 2147483647 + 1;）会在编译期报CS0220错误 - 含变量的表达式（如
int i = int.MaxValue + someVar;）默认静默回绕 - 这个行为与 CPU 指令层面对应，性能无损耗，但极易掩盖逻辑错误
什么时候必须用 checked 块或表达式？
当你处理的是业务关键数值，且溢出意味着数据错误或安全风险时——比如金额累加、索引计算、协议长度校验、ID 生成器递增等。
注意：checked 只对**直接写在块内或表达式内的运算**生效，不穿透方法调用：
int Multiply(int a, int b) => a * b;
<p>checked
{
Console.WriteLine(Multiply(int.MaxValue, 2)); // ❌ 不会抛异常！
Console.WriteLine(int.MaxValue * 2); // ✅ 会抛 OverflowException
}- 对单个表达式用
checked((int)doubleValue)更轻量 - 对多行逻辑（如循环累加）用
checked { ... }块更清晰 - 不要依赖项目级
/checked+编译器开关——它影响全局，容易误伤性能敏感路径
unchecked 不只是“默认”，它是有明确用途的
不是所有溢出都需要阻止；有些场景恰恰依赖回绕行为，比如哈希计算、位掩码滚动、RingBuffer 索引、CRC 校验等。
这时显式写 unchecked 是一种意图表达，而非“偷懒”：
uint hash = 0;
foreach (byte b in data)
{
unchecked
{
hash = (hash << 5) + hash + b; // 经典 djb2 回绕逻辑
}
}- 避免被团队误认为“忘了加 checked”
- 防止未来有人启用全局
/checked+导致哈希值突变 -
unchecked对常量表达式也有效（如unchecked((byte)(255 + 1))），而默认上下文对常量仍会编译报错
容易忽略的细节：用户定义运算符和转换不受 checked 控制
如果你重载了 operator + 或定义了显式转换（explicit operator int(MyType)），那么 checked 块对其内部逻辑**完全无效**。
CLR 不会自动为自定义运算插入 .ovf 指令；是否检查溢出，完全由你实现的代码决定。
- 自定义类型若需一致行为，应在内部手动调用
checked或抛OverflowException - 第三方库中的数值类型（如
System.Numerics.BigInteger）本身不溢出，checked对其无意义 - 浮点类型（
float、double）不参与checked/unchecked控制，它们遵循 IEEE 754 规则
真正难的不是记住语法，而是判断哪一行数值操作该“报警”，哪一行该“静默回绕”——这需要你清楚每个变量的语义边界，而不是靠编译器替你兜底。
