本文深入探讨了go语言中浮点数`nan`（not a number）的特殊比较行为。根据ieee 754浮点数标准，`nan`不等于任何值，包括其自身。文章解释了这一设计背后的原因，即`nan`代表着不可表示的数值，并提供了go语言示例来演示其比较特性。同时，介绍了使用`math.isnan()`函数进行`nan`检测的正确方法，并提及了`x != x`这种经典的`isnan`实现技巧。
什么是NaN？
在计算机科学中，NaN是“Not a Number”的缩写，意为“不是一个数字”。它是一种特殊的浮点数值，用于表示某些数学运算的结果无法用实数或无穷大来表示的情况。常见的导致NaN的运算包括：
- 0 / 0 （零除以零）
- ∞ - ∞ （无穷大减无穷大）
- sqrt(-1) （负数的平方根）
- 任何涉及NaN的操作（例如 NaN + 5 结果仍是 NaN）
在Go语言中，可以通过math.NaN()函数获取一个NaN值。
为何NaN不等于NaN？
这是NaN最令人困惑但也是其核心的特性：NaN不等于任何值，包括它自己。这一行为是由IEEE 754浮点数标准严格定义的。IEEE 754标准明确规定：
- −∞ = −∞
- +∞ = +∞
- x ≠ NaN，对于任何x，包括NaN自身。
设计理念
立即学习“go语言免费学习笔记（深入）”；
之所以这样设计，是因为NaN代表着一个“无效”或“不可表示”的数值状态。当一个运算结果是NaN时，它可能来源于多种不同的无效操作（例如，0/0和sqrt(-1)虽然都产生NaN，但它们代表的“无效”来源是不同的）。因此，系统无法保证两个NaN值代表的是同一个“不可表示”的数字。将它们视为不相等，可以避免在比较时产生误导性的结果。
Go语言中的NaN比较示例
在Go语言中，这一特性同样适用。下面的代码示例演示了NaN与自身以及与其他值的比较结果：
package main
import (
"fmt"
"math"
)
func main() {
nan1 := math.NaN()
nan2 := math.NaN()
posInf := math.Inf(1) // +Inf
negInf := math.Inf(-1) // -Inf
fmt.Printf("nan1: %f\n", nan1)
fmt.Printf("nan2: %f\n", nan2)
fmt.Printf("posInf: %f\n", posInf)
fmt.Printf("negInf: %f\n", negInf)
fmt.Println("--- 比较结果 ---")
// NaN与自身的比较
fmt.Printf("nan1 == nan1: %t\n", nan1 == nan1) // false
fmt.Printf("nan1 == nan2: %t\n", nan1 == nan2) // false
// NaN与其他数值的比较
fmt.Printf("nan1 == 0.0: %t\n", nan1 == 0.0) // false
fmt.Printf("nan1 == posInf: %t\n", nan1 == posInf) // false
// 无穷大值的比较（作为对比）
fmt.Printf("posInf == posInf: %t\n", posInf == posInf) // true
fmt.Printf("negInf == negInf: %t\n", negInf == negInf) // true
fmt.Printf("posInf == negInf: %t\n", posInf == negInf) // false
}运行上述代码，你会发现nan1 == nan1和nan1 == nan2的输出都是false，这正是IEEE 754标准所规定的行为。而+Inf和-Inf则可以与自身相等。
如何正确检测NaN？
由于NaN不等于自身，我们不能通过value == math.NaN()或value == value来直接判断一个浮点数是否为NaN（后者会返回false，但我们想要的是true来表示它是NaN）。
Go语言标准库提供了专门的函数来检测NaN：math.IsNaN()。
package main
import (
"fmt"
"math"
)
func main() {
val1 := math.NaN()
val2 := 123.45
fmt.Printf("math.IsNaN(%f): %t\n", val1, math.IsNaN(val1)) // true
fmt.Printf("math.IsNaN(%f): %t\n", val2, math.IsNaN(val2)) // false
}math.IsNaN()函数会返回一个布尔值，准确指示给定的浮点数是否为NaN。
利用NaN特性的经典技巧
在许多系统和语言中，利用NaN不等于自身的特性，可以实现一个简单的isNaN函数：
// isNaN checks if a float64 value is NaN
func isNaN(f float64) bool {
return f != f
}
// 示例
func main() {
nanVal := math.NaN()
numVal := 10.0
fmt.Printf("isNaN(%f): %t\n", nanVal, isNaN(nanVal)) // true
fmt.Printf("isNaN(%f): %t\n", numVal, isNaN(numVal)) // false
}这个技巧非常巧妙，因为它直接利用了NaN的定义行为。当f是NaN时，f != f为真；当f是任何其他有限数或无穷大时，f != f为假。尽管这个技巧在Go语言中是可行的，但为了代码的清晰性和可读性，以及遵循标准库的最佳实践，强烈建议使用math.IsNaN()函数。
注意事项与总结
- 理解IEEE 754标准：NaN的特殊行为是IEEE 754浮点数标准的核心部分，理解这一标准对于处理浮点数至关重要。
- 避免直接比较NaN：永远不要使用==或!=运算符直接比较NaN值，因为它不会给出预期的结果。
- 使用math.IsNaN()：在Go语言中，检测一个浮点数是否为NaN的唯一可靠和推荐方法是使用math.IsNaN()函数。
- NaN的传播性：任何涉及NaN的数学运算结果通常仍是NaN，这有助于在复杂的计算中追踪无效操作的来源。
通过理解NaN的这些特性，开发者可以更准确、更安全地处理Go语言中的浮点数计算，避免潜在的逻辑错误。
