Math.Atan2传入正负无穷返回值差异是Bug还是未声明的破坏性变更？

结论 #

这个行为差异是.NET Core 3.0及以上版本刻意做出的浮点API合规性变更，不属于Bug，也不是未公开的破坏性变更，你对文档的理解没有问题，问题出在旧版本实现不符合标准、现有文档描述不够完整。

具体说明 #

• 首先明确Math.Atan2(y, x)的参数顺序：你给出的调用中，y = double.NegativeInfinity、x = double.PositiveInfinity，对应坐标系第四象限的无穷远方向。按照IEEE 754-2008浮点标准的规定，Atan2(-∞, +∞)的规范返回值就是-π/4，也就是你在.NET Core 3.1+中得到的-0.7853981633974483，这个结果是符合国际标准的。
• .NET Framework 4.8中返回NaN是旧版本的实现缺陷，当时的浮点API没有完全覆盖IEEE 754的边界场景要求，对不同符号的无穷值组合做了错误处理。
• 官方文档目前的描述确实存在遗漏：仅说明了x和y同为正无穷、同为负无穷时返回NaN，没有补充不同符号无穷组合的返回规则，才会导致你产生歧义。
• 该变更是微软公开的.NET Core 3.0版本浮点改进内容的一部分：整个System.Math、System.MathF系列API都在该版本统一调整为完全符合IEEE 754标准，所有边界场景的返回值都和规范对齐。

迁移建议 #

如果你需要兼容.NET Framework和.NET Core/.NET 5+多平台，可以对这类无穷值边界场景的断言添加版本判断，或者在业务代码中提前对输入的无穷值做自定义处理，对齐你需要的返回逻辑。

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