.NET中float显式转int溢出未抛OverflowException是否为运行时Bug

这是符合C#语言规范和.NET运行时设计的预期行为，不是运行时Bug，核心原因是C#默认使用unchecked溢出检查上下文。

核心规则说明 #

C#中所有涉及数值溢出的操作（包括整型算术运算、浮点类型到整型的显式转换），是否抛出OverflowException完全由当前代码所处的溢出检查上下文决定：

• 在checked上下文中：转换或运算产生溢出时，运行时会抛出System.OverflowException，完全符合你查阅到的ECMA 334 11.3.2章节描述的行为
• 在unchecked上下文中：溢出发生时不会做任何异常抛出，运行时会直接返回值截断后的结果，这个结果的具体值由运行时实现定义，.NET的实现是保留值的二进制表示截断后对应的整型值
  注意：C#编译器的默认配置就是使用unchecked上下文，除非你手动给代码加checked块、开启编译器/checked参数，或者在项目文件中配置<CheckForOverflowUnderflow>true</CheckForOverflowUnderflow>。

你测试的那段代码全程运行在默认的unchecked上下文下，所以从float转回int时，哪怕舍入后的值已经超出int的取值范围，也不会触发异常，最终返回二进制截断后的结果-2147483648。
如果把转换逻辑放到checked上下文中，就会得到你预期的异常：

checked
{
    var f = (float)int.MaxValue;
    var i = (int)f; // 这里运行时会直接抛出System.OverflowException
}

为什么常量转换会触发编译错误CS0221 #

你提到的常量表达式转换报编译错误的行为，和运行时溢出检查是两套独立逻辑：

int i = (int)(float)int.MaxValue;
// CS0221 Constant value '2.147484E+09' cannot be converted to a 'int' (use 'unchecked' syntax to override)

这个错误是编译器的静态检查结果：哪怕处于默认的unchecked上下文，只要编译器能在编译期100%确认某个常量表达式的转换结果会溢出，就会触发CS0221编译错误，除非你显式用unchecked关键字包裹这段常量表达式。这个检查只针对编译期能计算出结果的常量，对运行时才能确定值的变量（比如你第一段测试代码里的变量f）不会生效。

关于规范条款的补充说明 #

你查阅的ECMA 334中11.3.2章节的溢出抛异常规则，明确是checked上下文下的转换行为。规范同时单独定义了unchecked上下文下的显式数值转换规则：当转换的源值超出目标类型范围时，转换是否抛异常、返回什么值都由实现定义，不要求抛出异常。.NET的实现选择了最高效的处理方式：直接执行CPU的浮点数转整型指令，不额外做范围校验，溢出时直接返回指令产生的截断结果，这也是为什么默认场景下这段代码性能很高、但不会抛异常的原因。

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