Go Boss prend conscience de sa conscience et est prêt à effacer la carte ?

Une chose a été discutée d'avant en arrière, fermée et rouverte, de nouvelles ont été construites après la fermeture, de nouvelles ont été interdites, de nouveaux arguments ont été découverts et de nouveaux ont été rouverts. Ceci est très courant sur le lieu de travail, et cela apparaît également dans les discussions sur les propositions Go...

Ce que je souhaite partager aujourd'hui, c'est une controverse sur la carte NaN dans Go et l'éventuelle augmentation prochaine de l'API.

Questions de base et de test

Qu'est-ce que NaN

En informatique, il existe une valeur magique appelée : NaN (Pas un nombre, non-nombre). C'est une classe de valeurs de type de données numériques qui représente des valeurs indéfinies ou non représentables . Souvent utilisé dans les opérations en virgule flottante. NaN a été introduit pour la première fois dans la norme à virgule flottante IEEE 754 de 1985.

Il y aura des problèmes lors du stockage et de la comparaison avec les valeurs NaN. Parce que pour juger si une valeur est NaN, la comparaison ne peut pas être faite en jugeant x=NaN ou x≠NaN. Mais comme NaN n'est jamais égal à lui-même, vous pouvez juger si x est une valeur NaN en jugeant x=x ou x≠x, ce qui renverra respectivement False et True.

Lorsque NaN est comparé à un autre nombre à virgule flottante x (où x peut être une valeur normale, plus ou moins l'infini, ou NaN), le résultat de la comparaison est le suivant :

Comparer	Résultat
NaN ≥ x	False
NaN ≤ x	False
NaN t; x	Faux
NaN <	Faux
NaN = x	Faux
NaN ≠ x	Vrai

La compréhension ici est très importante pour les questions du test suivantes.

Questions d'examen Go IEEE-754

J'ai vu une question sur les nombres à virgule flottante IEEE-754 sur Go101. Je cite la question ici. Que produit le code suivant ?

Le code suivant :

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 : vrai vrai.
• B : vrai faux.
• C : faux faux.
• D : faux vrai.

Quelle est la réponse ? C'est A ou D ?

En analysant le programme ci-dessus, les variables x et y sont +Inf et l'infini positif. m, n sont des valeurs infinies NaN.

La bonne réponse est : B.

Avez-vous répondu correctement ?

Proposition

Après avoir une compréhension de base de NaN, nous pouvons officiellement entrer dans le sujet. Dans les propositions liées à la carte Go, de nouvelles API sont souvent mentionnées pour répondre aux exigences de nettoyage de la carte :

Mais après de nombreuses discussions, la solution proposée par l'équipe officielle de Go est :

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

et fermée Les propositions associées ont clôturé ce problème . Nous, les travailleurs, avons des doutes sur nos visages, du type « D'accord, cela fonctionnera ». C'est le contexte de ce type de proposition. »

Mais il y a un piège ici Lorsqu'elle contient une valeur de clé NaN, la carte ne sera pas effacée par suppression en boucle. Une fois qu'il y a NaN dans votre carte, mais que vous faites + supprimer à nouveau, pensant qu'il a été supprimé, mais en fait ce n'est pas le cas, cela produira un effet similaire à une fuite.

Alors Russ Cox, l'âme de l'équipe Go, a relancé une nouvelle proposition "proposition : spec : ajouter delete(m) pour effacer la carte^[1]". Comme indiqué ci-dessous :

J'espère utiliser cela pour résoudre le problème de la carte dans NaN, et en même temps répondre aux demandes de la communauté telles que l'effacement/la réinitialisation/le nettoyage de la carte qui ont été discutées.

Les fonctionnalités suivantes ont été nouvellement ajoutées :

delete(m)

Prend en charge la fonction d'effacement de la carte (même si elle contient NaN).

Résumé

Il existe plusieurs opinions sur cette proposition, notamment lui donner un nom maléfique et avoir des opinions différentes sur la question de savoir si elle doit être appelée supprimer ou effacer.

// 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？

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!