Go 大佬良心發現,願意給 map 加清除了?

語言: CN / TW / HK

大家好,我是煎魚。

一個東西來來回回的討論,關了又開,關了後建新的,新的被 ban 了,又發現新的論據,再開啟新的。這在職場工作中很常見,在 Go 的提案討論中,也出現了。

今天要給大家介紹的是 map 在 NaN 上的一個小爭議和可能即將出現的 API 增加。

背景和考題

NaN 是什麼

在電腦科學中,有一個神奇的值,叫做:NaN(Not a Number,非數)。它是數值資料型別的一類值,表示未定義或不可表示的值。常在浮點數運算中使用。首次引入 NaN 的是 1985 年的 IEEE 754 浮點數標準。

在與 NaN 值的儲存和比較時,會有問題。因為判斷一個值是否為 NaN 時,不能通過判斷 x=NaN 或 x≠NaN 來進行比較。但因為 NaN 永遠不等於其自身,因此可通過判斷 x=x 或 x≠x 來判斷 x 是否為 NaN 值,將會分別返回 False 和 True。

當 NaN 與另一個浮點數 x(其中 x 可為正常值、正負無窮大或 NaN)進行比較時,比較結果如下:

| 比較 | 結果 | | --- | --- | | NaN ≥ x | False | | NaN ≤ x | False | | NaN > x | False | | NaN < x | False | | NaN = x | False | | NaN ≠ x | True |

這裡的理解對於下面的考題很重要。

Go IEEE-754 考題

在 Go101 上看到一道關於 IEEE-754 浮點數的題,我這裡引用題目,以下程式碼輸出什麼?

如下程式碼:

```go package main

import "math"

func main() { a, b, c := 2.0, 1.0, 0.0 x, y := a/c, b/c // infinity n := math.NaN() // not a number m := math.Sqrt(-1.0) // not a number println(x == y, m == n) } ```

  • A:true true。
  • B:true false。
  • C:false false。
  • D:false true。

答案是啥?是 A 嗎,還是 D?

對上述程式進行解析,變數 x,y 是 +Inf 正無窮。m,n 是 NaN 無窮值。

正確的答案是:B。

你答對了嗎?

提案

在對 NaN 有了基本的瞭解後,我們可以正式進入主題了。在 Go map 關聯提案中,常提到新增 API,用於滿足清空 map 的訴求:

但在多次討論中,Go 官方團隊給出的解決方案是:

go for k := range m { delete(m, k) }

並關閉了相關的提案,結束了這個議題。留下滿臉 ”好吧,這都行“ 的疑惑打工人的我們,這是這類提案的背景。

但這塊有一個坑,在包含任何 NaN 鍵值時,將無法通過迴圈 delete 的方式清空 map。一旦你 map 有 NaN,但你又 for+delete,以為刪掉了,其實並沒有,就會產生類似洩露的效果。

因此 Go 團隊的靈魂人物 Russ Cox,重新發起了新提案《proposal: spec: add delete(m) to clear map》。如下圖:

希望藉此來解決 map 在 NaN 的問題,並同時完成一直以來討論的 map 清空/重置/清理等社群訴求。

也就是新增,如下特性:

go delete(m)

支援清除 map 的功能(即使包含 NaN)。

總結

針對這個提案也有幾種聲音,分別是萬惡的命名,對叫 delete,還是叫 clear 都有著不同的見解。

```go // Clear removes all entries from m, leaving it empty. func ClearM ~map[K]V, K comparable, V any

delete(m) ```

也有聲音提到不允許引入 NaN 值,但顯然。在 Go1 已經很難了,因為 NaN 已經被允許引入,球已經在鍋裡了。

對於 map 新增 API 用於清空/重置/清除的作用,你怎麼看呢?還是說你也更喜歡對 NaN 單獨的處理?例如 panic?

文章持續更新,可以微信搜【腦子進煎魚了】閱讀,本文 GitHub github.com/eddycjy/blog 已收錄,學習 Go 語言可以看 Go 學習地圖和路線,歡迎 Star 催更。

推薦閱讀

Go 圖書系列