本文深入探讨了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则可以与自身相等。
这本书并不是一本语言参考书，但它是一个Android开发者去学习Kotlin并且使用在自己项目中的一个工具。我会通过使用一些语言特性和有趣的工具和库来解决很多我们在日常生活当中都会遇到的典型问题。 这本书是非常具有实践性的，所以我建议你在电脑面前跟着我的例子和代码实践。无论何时你都可以在有一些想法的时候深入到实践中去。 这本书适合你吗？ 写这本书是为了帮助那些有兴趣 使用Kotlin语言来进行开发的Android开发者。 如果你符合下面这些情况，那这本书是适合你的： 你有相关Android开发和Andro
如何正确检测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语言中的浮点数计算，避免潜在的逻辑错误。
