为何两段C#代码溢出检查结果不同？编译时求值规则疑问

核心区别在于两个表达式的求值时机完全不同：

示例1：编译时求值的常量表达式 #

int x = int.MaxValue + 1; 里的 int.MaxValue + 1 是常量表达式——它完全由编译期已知的常量组成，编译器会直接在编译阶段计算这个表达式的结果。

根据C#的规则，编译时对常量表达式进行溢出检查是默认行为，当计算发现结果超出int类型的取值范围时，就会直接触发编译错误，这和《A Nutshell》里的描述完全一致。

示例2：运行时求值的变量表达式 #

int x = int.MaxValue; x = x + 1; 中的 x + 1 是变量表达式：虽然x的初始值是常量，但x本身是一个变量，编译器不会把它当作编译期常量来处理。这个加法运算的求值会推迟到程序运行时才进行。

而C#默认情况下，运行时的溢出检查是关闭的（除非你显式使用checked块或开启全局编译选项），所以这段代码不会触发编译错误，运行时只会产生静默溢出，最终x的值会变成int.MinValue。

简单总结：只有完全由常量构成的表达式才会在编译时求值并触发溢出检查；涉及变量的表达式会在运行时求值，默认不做溢出检查，自然不会有编译错误。

内容的提问来源于stack exchange，提问作者Run