Go Boss erkennt sein Gewissen und ist bereit, die Karte zu räumen?

Eine Sache wurde hin und her besprochen, geschlossen und wieder geöffnet, nach der Schließung wurde eine neue gebaut, die neue verboten, neue Argumente entdeckt und wieder neue eröffnet. Das kommt am Arbeitsplatz sehr häufig vor und kommt auch in Go-Vorschlagsdiskussionen vor ...

Was ich heute mitteilen möchte, ist eine Kontroverse über NaN in der Go-Karte und die mögliche bevorstehende API-Erweiterung.

Hintergrund- und Testfragen

Was ist NaN?

In der Informatik gibt es einen magischen Wert namens: NaN (Not a Number, non-number). Es handelt sich um eine Werteklasse vom numerischen Datentyp, die undefinierte oder nicht darstellbare Werte darstellt . Wird häufig bei Gleitkommaoperationen verwendet. NaN wurde erstmals 1985 im Gleitkommastandard IEEE 754 eingeführt.

Beim Speichern und Vergleichen mit NaN-Werten wird es Probleme geben. Denn bei der Beurteilung, ob ein Wert NaN ist, kann der Vergleich nicht durch die Beurteilung von x=NaN oder x≠NaN durchgeführt werden. Da NaN jedoch niemals sich selbst entspricht, können Sie beurteilen, ob x ein NaN-Wert ist, indem Sie x=x oder x≠x beurteilen, was jeweils „False“ und „True“ zurückgibt.

Wenn NaN mit einer anderen Gleitkommazahl x verglichen wird (wobei x ein normaler Wert plus oder minus unendlich oder NaN sein kann), ist das Vergleichsergebnis wie folgt:

Vergleichen	Ergebnis
NaN ≥ x	Falsch
NaN ≤. x	Falsch
NaN &g t; x	False
NaN < x	False
NaN = x	False
NaN ≠ x	True

Das Verständnis hier ist für die folgenden Testfragen sehr wichtig.

Go IEEE-754-Prüfungsfragen

Ich habe eine Frage zu IEEE-754-Gleitkommazahlen auf Go101 gesehen. Was gibt der folgende Code aus?

Der folgende Code:

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: wahr wahr.
• B: wahr falsch.
• C: falsch falsch.
• D: falsch wahr.

Was ist die Antwort? Ist es A oder D?

Bei der Analyse des obigen Programms sind die Variablen x und y +Inf und positiv unendlich. m, n sind NaN unendliche Werte.

Die richtige Antwort ist: B.

Hast du richtig geantwortet?

Vorschlag

Nachdem wir ein grundlegendes Verständnis von NaN haben, können wir offiziell in das Thema einsteigen. In Vorschlägen für Go-Karten werden oft neue APIs erwähnt, um den Anforderungen des Löschens der Karte gerecht zu werden:

Aber nach vielen Diskussionen lautete die Lösung des offiziellen Go-Teams:

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

und geschlossene verwandte Vorschläge haben dieses Problem geschlossen . Uns, den Arbeitern, bleiben Zweifel im Gesicht wie „Okay, das wird funktionieren.“ Das ist der Hintergrund für diese Art von Vorschlag.

Aber hier gibt es eine Gefahr Wenn sie einen NaN-Schlüsselwert enthält, wird die Karte nicht durch eine Löschschleife gelöscht . Sobald Ihre Karte NaN enthält, Sie aber erneut löschen und denken, dass es gelöscht wurde, dies aber in Wirklichkeit nicht der Fall ist, führt dies zu einem Effekt, der einem Leck ähnelt.

Also hat Russ Cox, die Seele des Go-Teams, einen neuen Vorschlag neu initiiert: „Vorschlag: spec: delete(m) zur Clear Map hinzufügen^[1]“. Wie unten gezeigt:

Ich hoffe, damit das Kartenproblem in NaN lösen zu können und gleichzeitig die besprochenen Community-Anforderungen wie das Löschen/Zurücksetzen/Bereinigen von Karten zu erfüllen.

Die folgenden Funktionen wurden neu hinzugefügt:

delete(m)

Unterstützt die Funktion zum Löschen der Karte (auch wenn sie NaN enthält).

Zusammenfassung

Zu diesem Vorschlag gibt es mehrere Meinungen, unter anderem wird ihm ein böser Name gegeben und es gibt unterschiedliche Meinungen darüber, ob er „löschen“ oder „klar“ heißen sollte.

// Clear removes all entries from m, leaving it empty.
func Clear[M ~map[K]V, K comparable, V any](m M "M ~map[K]V, K comparable, V any")

delete(m)

也有声音提到不允许引入 NaN 值，但显然。在 Go1 已经很难了，因为 NaN 已经被允许引入，球已经在锅里了。

对于 map 新增 API 用于清空/重置/清除的作用，你怎么看呢？还是说你也更喜欢对 NaN 单独的处理？例如 panic？

Das obige ist der detaillierte Inhalt vonGo Boss erkennt sein Gewissen und ist bereit, die Karte zu räumen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!