Pourquoi NaN n'est pas égale à NaN? [dupliquer]

Les accepté de réponse est de 100% sans question MAL . Pas à moitié faux ou même légèrement faux. Je crains que cette question ne soit source de confusion et de confusion pour les programmeurs pendant longtemps encore lorsque cette question apparaîtra dans searches.

NaN est conçu pour se propager à travers tous les calculs, les infectant comme un virus, donc si quelque part dans vos calculs profonds et complexes que vous avez frappé sur une NaN, vous ne bulle pas une réponse apparemment raisonnable. Autrement par identité NaN / NaN devrait égaler 1, avec toutes les autres conséquences comme (NaN / NaN)==1, (NaN*1)==NaN, etc. Si vous imaginez que vos calculs ont mal tourné quelque part (l'arrondissement a produit un zéro dénominateur, donnant NaN), etc alors vous pourriez obtenir des résultats tout à fait incorrects (ou pire: subtilement incorrects) de vos calculs sans aucun indicateur évident quant à la raison.

il y a aussi de très bonnes raisons pour NaNs dans les calculs lorsque l'on sonde la valeur d'un fonction mathématique; l'un des exemples donnés dans le document référencé est de trouver les zéros() d'une fonction f(). Il est tout à fait possible que dans le processus de sonder la fonction avec des valeurs de guess que vous sonderez un où la fonction f() ne donne pas de résultat sensible. Cela permet à zeros () de voir la NaN et de continuer son travail.

l'alternative à La NaN est de déclencher une exception dès qu'une opération illégale est détectée (également appelé un signal ou d'un piège). Outre les énormes pénalités de performance que vous pourriez rencontrer, à l'époque il n'y avait aucune garantie que les CPU le supporteraient en matériel ou le langage OS/le supporterait en logiciel; chacun était son propre flocon de neige unique dans la manipulation de flottant-point. IEEE a décidé de le traiter explicitement dans le Logiciel comme les valeurs NaN afin qu'il soit portable à travers n'importe quel OS ou langage de programmation. Corriger virgule flottante algorithmes sont généralement correcte dans tous les virgule flottante implémentations , que ce soit un noeud.JS ou COBOL (hah).

en théorie, vous n'avez pas besoin de définir des directives spécifiques #pragma, de mettre des drapeaux de compilateurs fous, de saisir les exceptions correctes, ou d'installer des gestionnaires de signaux spéciaux pour que ce qui semble être l'algorithme identique fonctionne correctement. Malheureusement, certains concepteurs de langage et rédacteurs de compilateurs ont été vraiment occupés à défaire cette fonctionnalité au mieux de leurs capacités.

s'il vous Plaît lire quelques-uns des information sur l'histoire de IEEE 754 floating point. Aussi cette réponse à une question similaire où un membre du Comité a répondu: Quelle est la raison pour toutes les comparaisons retournant false pour IEEE754 Nan valeurs?

"Une Entrevue avec le Vieil Homme de virgule Flottante"

"Histoire de virgule Flottante IEEE Format"

What chaque informaticien devrait connaître l'arithmétique à virgule flottante

eh Bien, log(-1) donne NaN , et acos(2) donne aussi NaN . Ça veut dire que log(-1) == acos(2) ? Clairement pas. Il est donc parfaitement logique que NaN ne soit pas égal à lui-même.

revisitant ceci presque deux ans plus tard, voici une fonction de comparaison "NaN-safe":

function compare(a,b) {
    return a == b || (isNaN(a) && isNaN(b));
}

une belle propriété est: si x == x retourne false, puis x est NaN.

(on peut utiliser cette propriété pour vérifier si x est NaN ou pas.)

essayez ceci:

var a = 'asdf';
var b = null;

var intA = parseInt(a);
var intB = parseInt(b);

console.log(intA); //logs NaN
console.log(intB); //logs NaN
console.log(intA==intB);// logs false

si intA = = intB était vrai, cela pourrait vous conduire à conclure que a==b, ce qui n'est clairement pas le cas.

une autre façon de le regarder est que NaN vous donne juste des informations sur ce que quelque chose N'est pas, pas ce que c'est. Par exemple, si je dis "une pomme n'est pas un gorille" et "une orange n'est pas un gorille', voulez-vous conclure qu '"une pomme" =='orange'?

en fait, il existe un concept en mathématiques connu sous le nom de valeurs "d'unité". Ces valeurs sont des extensions qui sont soigneusement construites pour réconcilier les problèmes périphériques dans un système. Par exemple, vous pouvez penser à l'anneau à l'infini dans le plan complexe comme étant un point ou d'un ensemble de points, et certaines anciennement prétentieux problèmes disparaissent. Il y a d'autres exemples de ce qui concerne les cardinalités des jeux où vous pouvez démontrer que vous pouvez choisir la structure du continuum de infinities tant que| P(A) | > | A / et que rien ne casse.

avertissement: Je ne travaille qu'avec mon vague souvenir de mes quelques mises en garde intéressantes au cours de mes études de mathématiques. Je m'excuse si j'ai fait un travail lamentable en représentant les concepts auxquels j'ai fait allusion ci-dessus.

Si vous voulez croire que NaN est un solitaire valeur, alors vous êtes probablement va être malheureuse avec certains des résultats comme l'opérateur d'égalité ne fonctionne pas comme vous le souhaitez/voulez. Toutefois, si vous choisissez de croyez que NaN est plus d'un continuum de la "méchanceté" représenté par un espace solitaire, alors vous êtes parfaitement heureux avec le comportement de l'opérateur d'égalité. En d'autres termes, vous perdez de vue le poisson que vous avez pris dans la mer mais vous attrapez un autre qui ressemble à la même chose, mais est tout aussi malodorant.