C#中常量与变量溢出时编译行为差异的原因是什么？

先看一段典型代码，直观感受两者的差异：

const int cMax = int.MaxValue;
int vMax = cMax;
int int1;
int int2;

int1 = cMax + 10; // 编译时自动检查，直接抛出错误
int2 = vMax + 10; // 默认不检查，编译通过，运行时发生溢出

正如你观察到的，涉及常量的运算会被编译器自动做溢出检查，一旦结果超出类型范围就直接报错；而变量参与的运算默认跳过编译期检查，能正常编译，运行时会悄悄发生溢出绕回（比如上面的int2最终会得到一个负数）。

至于为什么会有这种编译行为差异，主要是这几个核心原因：

• 编译期确定性的利用：常量的值在编译阶段就完全固定了，编译器可以直接计算出运算的最终结果，很容易判断是否超出目标类型的范围。既然能在编译阶段就揪出这种明显的错误，直接报错就能提前避免运行时的意外问题，这是一种高效的安全防护手段。
• 变量的运行时不确定性：哪怕你是把常量赋值给变量，编译器也不会把这个变量当成常量对待——变量的值理论上可能在运行时被修改（哪怕实际代码里没改），编译器没办法在编译阶段预知变量的真实值，所以默认不会做溢出检查。如果强制给所有变量运算加检查，会给正常代码带来不必要的性能开销。
• 语言设计的权衡选择：C#在设计时做了“安全”和“性能”的权衡。常量运算的溢出是100%可以提前发现的错误，所以编译器主动介入；而变量运算的场景太灵活，强制检查会拖慢大多数代码的执行速度，因此默认采用不检查的策略，把是否开启溢出检查的控制权交给开发者（你可以用checked块或checked关键字手动开启检查）。

内容的提问来源于stack exchange，提问作者Samuel A C