Go 語言中的 nil 不相等問題
Go 語言作爲一門靜態類型的編程語言，提供了豐富的類型系統。在這個類型系統中，nil 扮演着空值的角色，類似於其他編程語言中的 null 或 None。然而，在 Go 中，對於 nil 的處理與其他語言有着本質的不同，這導致了一些獨特的行爲，尤其是在不同類型的 nil 比較時。
什麼是 nil？
在 Go 中，nil 是一個預聲明的標識符，它可以代表某些類型的零值。具體來說，下列類型的零值可以是 nil：
-
指針類型（*T）
-
切片類型（[]T）
-
映射類型（map[K]T）
-
通道類型（chan T）
-
函數類型（func）
-
接口類型（interface{}）
不同類型的 nil 值在底層有着不同的表示方式。在數據結構層面來說，指針、切片、映射、通道、函數和接口的零值都被設置爲 nil，即它們沒有指向任何實際的值或實現。
nil 不相等問題
雖然 nil 在邏輯上表示 “無值”，但是在 Go 中，不同類型的 nil 之間並不相等，這是因爲 Go 的類型系統是非常嚴格的，當比較時，即便它們的值看起來 “相等”（都是 nil），類型系統也要求被比較的兩個值具有相同的類型。
以下是幾個基於不同場景的例子，來展示這一概念：
package main
import "fmt"
func main() {
var p1 *int
var p2 *string
var s1 []int
var m1 map[int]string
var f1 func()
var i1, i2 interface{}
fmt.Println(p1 == nil) // 輸出: true
fmt.Println(s1 == nil) // 輸出: true
fmt.Println(m1 == nil) // 輸出: true
fmt.Println(f1 == nil) // 輸出: true
// 錯誤: 不能比較 p1 == p2
// fmt.Println(p1 == p2)
// 當接口類型 i1 沒有具體值時，它會是 nil
fmt.Println(i1 == nil) // 輸出: true
// 將 nil 顯式賦給接口類型 i2
i2 = nil
fmt.Println(i1 == i2) // 輸出: true
// 將類型爲 *int 的 nil 賦給接口類型 i1
i1 = p1
// 此時，i1 中實際存的是一個類型信息和值都爲 nil 的 *int 類型
fmt.Println(i1 == nil) // 輸出: false，因爲 i1 中存着類型信息
// 判斷 i1 內部是否爲 nil 的更準確的方法
// 通過斷言並判斷斷言後的指針是否爲 nil
if ptr, ok := i1.(*int); ok {
fmt.Println(ptr == nil) // 輸出: true
}
}從上面的例子中我們可以看出：
-
直接與 nil 比較時，nil 與具體類型的 nil 變量可以正確地判斷相等性，例如指針、切片、映射和函數。
-
不同類型的變量直接進行比較會導致編譯錯誤，因爲在 Go 中必須要類型相同才能比較。
-
對於接口類型，情況就比較特殊了。當接口內部沒有存儲任何值（也沒有類型信息）時，它與 nil 是相等的。
-
當接口存儲了具體的類型信息，即使其值是 nil，接口與 nil 的比較也會給出 false 的結果。這是因爲該接口包含了類型信息，這導致接口值實際上並不是純粹的 nil。
總結
Go 語言中的 nil 存在一些特殊的比較行爲，主要是由於其靜態類型系統和接口的設計所造成的。理解和掌握 Go 中關於 nil 的特性有助於編寫更穩健的代碼，並避免在使用接口、指針和其他引用類型時出現錯誤。
本文由 Readfog 進行 AMP 轉碼，版權歸原作者所有。
來源：https://mp.weixin.qq.com/s/cfJmTUy0DbIRrLmEZPcpsQ