Math.Max vs Enumerable.Max

Question

Jon Skeet今天(source)报道：

Math.Max(1f, float.NaN) == NaN
new[] { 1f, float.NaN }.Max() == 1f

为什么？

编辑: double也有同样的问题！

Answer 1

正如其他人发布的那样，我在推特上写了一种“为什么”--因为它使用的是文档中记录的IComparable。

不过，这只会引出另一个“为什么”。特别是：

Console.WriteLine(Math.Max(0, float.NaN));  // Prints NaN
Console.WriteLine(0f.CompareTo(float.NaN)); // Prints 1

第一行表明NaN被认为大于0。第二行表明0被认为大于NaN。(当然，这两种方法都不能报告“这种比较没有意义”的结果。)

当然，我有一个优势，就是可以看到所有的回复推文，包括these two

它可能看起来不寻常，但这是正确的答案。当所有元素都为NaN时，数组的max()为NaN。请参阅IEEE 754r。

此外，Math.Max使用IEEE754r总排序谓词，它指定NaN与其他对象之间的相对排序。

Answer 2

他还在this后续推文中解释了原因：

这是因为扩展方法使用(并记录为使用) IComparable的实现，该实现将任何内容都比较为>NaN。

Answer 3

对(正确)答案的一个补充说明:两者的行为都与文档记录的一样，即使您只阅读简单的解释也是如此。

此IEnumerable上的Max()扩展名：

返回单个值序列中的最大值。

和Math.Max()：

返回参数val1或val2中较大的一个。如果val1、val2或val1和val2都等于NaN，则返回NaN。

请注意，NaN不是一个值-因此可枚举的Max总是返回最大的值。Math.Max返回两个值中较大的一个，如果两个值中的一个或两个都为NaN，则返回NaN。