Dlaczego typeof NaN zwraca „liczbę”?

Z czystej ciekawości.

Nie wydaje się logiczne, że typeof NaNjest to liczba. Nawiasem mówiąc, tak jak NaN === NaNlub NaN == NaNzwracając fałsz. Czy jest to jedna z cech javascript, czy może byłby tego powód?

Edycja: dzięki za odpowiedzi. Nie jest jednak łatwo przekonać kogoś do siebie. Czytając odpowiedzi i wiki zrozumiałem więcej, ale nadal, zdanie takie jak

Porównanie z NaN zawsze zwraca nieuporządkowany wynik, nawet w porównaniu z samym sobą. Predykaty porównania są albo sygnalizujące, albo nie sygnalizujące, wersje sygnalizacyjne sygnalizują nieważny wyjątek dla takich porównań. Predykaty równości i nierówności nie sygnalizują, więc x = x zwracające fałsz może być użyte do sprawdzenia, czy x jest cichym NaN.

tylko kręci mi w głowie. Gdyby ktoś mógł to przetłumaczyć na ludzki (w przeciwieństwie do, powiedzmy, matematyka) czytelny język, byłbym wdzięczny.

To znaczy nie jest liczbą. Nie jest to osobliwość javascript, ale powszechna zasada informatyki.

Z http://en.wikipedia.org/wiki/NaN :

Istnieją trzy rodzaje operacji, które zwracają NaN:

Operacje z NaN jako co najmniej jednym operandem

Formy nieokreślone

• Podziały 0/0, ∞ / ∞, ∞ / −∞, −∞ / ∞ i −∞ / −∞
• Mnożenia 0 × ∞ i 0 × −∞
• Moc 1 ^ ∞
• Dodatki ∞ + (−∞), (−∞) + ∞ i równoważne odejmowania.

Prawdziwe operacje ze złożonymi wynikami:

• Pierwiastek kwadratowy z liczby ujemnej
• Logarytm liczby ujemnej
• Styczna nieparzystej wielokrotności 90 stopni (lub π / 2 radianów)
• Odwrotność sinusa lub cosinusa liczby, która jest mniejsza niż -1 lub większa niż +1.

Wszystkie te wartości mogą nie być takie same. Prosty test na NaN polega na tym, że test value == valuejest fałszywy.

Cóż, NaNnadal jest typem numerycznym , mimo że faktycznie oznacza Not-A-Number :-)

NaNoznacza po prostu, że określona wartość nie może być reprezentowana w ramach ograniczeń typu liczbowego (chociaż można to powiedzieć o wszystkich liczbach, które muszą zostać zaokrąglone w celu dopasowania, ale NaNjest to przypadek specjalny).

Określony NaNnie jest uważany za równy drugiemu, NaNponieważ mogą mieć różne wartości. Jednak NaNnadal jest typem liczbowym, podobnie jak 2718 lub 31415.

Co do zaktualizowanego pytania, aby wyjaśnić w kategoriach laika:

Porównanie z NaN zawsze zwraca nieuporządkowany wynik, nawet w porównaniu z samym sobą. Predykaty porównania są albo sygnalizujące, albo nie sygnalizujące, wersje sygnalizacyjne sygnalizują nieważny wyjątek dla takich porównań. Predykaty równości i nierówności nie sygnalizują, więc x = x zwracające fałsz może być użyte do sprawdzenia, czy x jest cichym NaN.

Wszystko to oznacza (podzielone na części):

Porównanie z NaN zawsze zwraca nieuporządkowany wynik, nawet w porównaniu z samym sobą.

Zasadniczo a NaNnie jest równe żadnej innej liczbie, w tym innej NaN, a nawet samej sobie .

Predykaty porównania są albo sygnalizujące, albo nie sygnalizujące, wersje sygnalizacyjne sygnalizują nieważny wyjątek dla takich porównań.

Próba wykonania operacji porównania (mniej niż, większe niż itd.) Między a NaNi inną liczbą może spowodować zgłoszenie wyjątku (sygnalizacja) lub po prostu uzyskanie wyniku fałszywego (brak sygnalizacji lub cichy).

Predykaty równości i nierówności nie sygnalizują, więc x = x zwracające fałsz może być użyte do sprawdzenia, czy x jest cichym NaN.

Testy równości (równe, nie równe) nigdy nie sygnalizują, więc ich użycie nie spowoduje wyjątku. Jeśli masz zwykły numer x, x == xzawsze będzie prawdziwy. Jeśli xjest NaN, to x == xzawsze będzie fałszem. Daje ci sposób na NaNłatwe (ciche) wykrycie .

Standard ECMAScript (JavaScript) określa, że Numberssą to zmiennoprzecinkowe IEEE 754 , które zawierają NaNjako możliwą wartość.

ECMA 262 5e sekcja 4.3.19 : Wartość

wartość pierwotna odpowiadająca wartości podwójnej precyzji w 64-bitowym formacie binarnym IEEE 754.

ECMA 262 5e Sekcja 4.3.23 : NaN

Wartość liczbowa, która jest wartością IEEE 754 „Not-a-Number”.

IEEE 754 w Wikipedii

Standard IEEE dla arytmetyki zmiennoprzecinkowej jest standardem technicznym ustanowionym przez Instytut Inżynierów Elektryków i Elektroników i najczęściej stosowanym standardem dla obliczeń zmiennoprzecinkowych [...]

Norma definiuje

• formaty arytmetyczne : zbiory binarnych i dziesiętnych danych zmiennoprzecinkowych, które składają się z liczb skończonych (w tym ze znakiem zer i liczb podnormalnych), nieskończoności i specjalnych wartości „niebędących liczbą” (NaN)

[…]

typeof NaNzwraca, 'number'ponieważ:

• Specyfikacja ECMAScript mówi, że typ liczby zawiera NaN:

  4.3.20 Rodzaj numeru

  zbiór wszystkich możliwych wartości Number, w tym specjalne wartości „Not-a-Number” (NaN), dodatnia nieskończoność i ujemna nieskończoność

• Więc typeofzwraca odpowiednio:

  11.4.3 Typ Operatora

  Produkcja UnaryExpression : typeof UnaryExpression jest oceniany w następujący sposób:

  1. Niech val będzie wynikiem obliczania UnaryExpression .
  2. Jeśli Type ( val ) to Reference , to
     1. Jeśli IsUnresolvableReference ( val ) jest true , return"undefined" .
     2. Niech val będzie GetValue ( val ).
  3. Zwrócić łańcuch zależy od typu ( Val ) według Tabeli 20.
     

                  Table 20 — typeof Operator Results
  ==================================================================
  |        Type of val         |              Result               |
  ==================================================================
  | Undefined                  | "undefined"                       |
  |----------------------------------------------------------------|
  | Null                       | "object"                          |
  |----------------------------------------------------------------|
  | Boolean                    | "boolean"                         |
  |----------------------------------------------------------------|
  | Number                     | "number"                          |
  |----------------------------------------------------------------|
  | String                     | "string"                          |
  |----------------------------------------------------------------|
  | Object (native and does    | "object"                          |
  | not implement [[Call]])    |                                   |
  |----------------------------------------------------------------|
  | Object (native or host and | "function"                        |
  | does implement [[Call]])   |                                   |
  |----------------------------------------------------------------|
  | Object (host and does not  | Implementation-defined except may |
  | implement [[Call]])        | not be "undefined", "boolean",    |
  |                            | "number", or "string".            |
  ------------------------------------------------------------------

To zachowanie jest zgodne ze standardem IEEE dla arytmetyki zmiennoprzecinkowej (IEEE 754) :

4.3.19 Wartość liczbowa

wartość pierwotna odpowiadająca wartości podwójnej precyzji w 64-bitowym formacie binarnym IEEE 754

4.3.23 NaN

wartość liczbowa, która jest wartością „Not-a-Number” w standardzie IEEE 754

8.5 Typ liczb

Typ numer ma dokładnie 18437736874454810627 (czyli 2 ⁵³ -2 ⁶⁴ +3) wartości, reprezentujący 64-bitowy format IEEE 754 wartości podwójnej precyzji, jak określono w standardzie IEEE dla Binary arytmetyki zmiennoprzecinkowej, chyba że 9007199254740990 ( to znaczy 2 ⁵³ −2) odrębne wartości „Not-a-Number” normy IEEE są reprezentowane w ECMAScript jako pojedyncza specjalna wartość NaN . (Zauważ, że wartość NaN jest tworzona przez wyrażenie programu NaN).

NaN to poprawna wartość zmiennoprzecinkowa ( http://en.wikipedia.org/wiki/NaN )

a NaN === NaN jest fałszem, ponieważ niekoniecznie są one tą samą liczbą nieliczną

NaN != NaNponieważ nie są one potrzebne TEN SAM numer. Dlatego ma to dużo sensu ... Również dlaczego zmiennoprzecinkowe mają zarówno +0,00, jak i -0,00, które nie są takie same. Zaokrąglanie może sprawić, że w rzeczywistości nie są one zerowe.

Jeśli chodzi o typ, to zależy od języka. A większość języków powie, że NaN jest liczbą zmiennoprzecinkową, podwójną lub liczbą, w zależności od tego, jak ją sklasyfikują ... Nie znam żadnych języków, które powie, że jest to nieznany typ lub zerowy.

NaNoznacza Not a Number . Jest to wartość liczbowych typów danych (zwykle typów zmiennoprzecinkowych, ale nie zawsze), która reprezentuje wynik nieprawidłowej operacji, takiej jak dzielenie przez zero.

Chociaż jego nazwa mówi, że nie jest to liczba, typ danych używany do jej przechowywania jest typem liczbowym. Tak więc w JavaScript pytanie o typ danych NaNzwróci number(jak alert(typeof(NaN))wyraźnie widać).

Javascript używa NaN do reprezentowania wszystkiego, co napotka, czego nie można przedstawić w żaden inny sposób w jego specyfikacjach. Nie oznacza to, że to nie jest liczba. To po prostu najłatwiejszy sposób opisania spotkania. NaN oznacza, że ​​to samo lub obiekt, który się do niego odwołuje, nie może być reprezentowane w żaden inny sposób przez JavaScript. Ze wszystkich praktycznych względów jest „nieznane”. Będąc „nieznanym”, nie jest w stanie powiedzieć, czym jest, ani nawet czy jest sobą. Nie jest to nawet obiekt, do którego jest przypisany. Może tylko powiedzieć, czym nie jest, a nie-istnienie lub nicość można opisać matematycznie tylko w języku programowania. Ponieważ matematyka dotyczy liczb, javascript reprezentuje nicość jako NaN. To nie znaczy, że to nie jest liczba. Oznacza to, że nie możemy tego czytać w żaden inny sposób, który ma sens. Dlatego może nie dorównuje sobie. Ponieważ tak nie jest.

Lepsza nazwa NaN, opisująca jego znaczenie dokładniej i mniej myląco, byłaby liczbowym wyjątkiem . Jest to naprawdę inny rodzaj obiektu wyjątku przebranego za posiadający typ pierwotny (zgodnie z projektem języka), podczas gdy jednocześnie nie jest traktowany jako prymitywny w swoim fałszywym porównywaniu siebie. Skąd zamieszanie. Tak długo, jak język „nie podejmie decyzji”, aby dokonać wyboru między właściwym przedmiotem wyjątku a prymitywną liczbą , zamieszanie pozostanie.

Niesławna nierówność NaNsamego siebie, zarówno ==i ===jest przejawem zagmatwanego projektu, który zmusza ten wyjątkowy obiekt do bycia typem prymitywnym. Łamie to podstawową zasadę, że prymityw jest wyjątkowo określony przez swoją wartość . Jeśli NaNwolisz być postrzegany jako wyjątek (którego mogą być różne rodzaje), to nie powinien być „sprzedawany” jako prymitywny. A jeśli ma być prymitywny, musi obowiązywać ta zasada. Dopóki jest zepsuty, tak jak w JavaScript, i nie możemy tak naprawdę zdecydować między nimi, zamieszanie prowadzące do niepotrzebnego obciążenia poznawczego dla wszystkich zaangażowanych pozostanie. Co jednak jest naprawdę łatwe do naprawienia, po prostu dokonując wyboru między nimi:

• albo utworzyć NaNspecjalny obiekt wyjątku zawierający przydatne informacje o tym, jak powstał wyjątek, w przeciwieństwie do odrzucania tych informacji jako tego, co jest obecnie zaimplementowane, co prowadzi do trudniejszego do debugowania kodu;
• lub uczynić NaNjednostkę typu pierwotnego number(która mogłaby być mniej myląco nazywana „numeryczną”), w którym to przypadku powinna być sobie równa i nie może zawierać żadnych innych informacji; ten ostatni jest zdecydowanie gorszym wyborem.

Jedyną zaletą pomyślenia zmuszając NaNdo numbertypu jest w stanie wyrzucić go z powrotem do dowolnego wyrażenia numerycznego. Co jednak sprawia, że ​​wybór jest trudny, ponieważ wynik dowolnego wyrażenia liczbowego zawierającego NaNalbo będzie NaN, albo prowadził do nieprzewidywalnych wyników, takich jak NaN < 0obliczanie do false, czyli zwracanie booleanzamiast zachowania wyjątku.

I nawet jeśli „rzeczy są takie, jakie są”, nic nie stoi na przeszkodzie, abyśmy dokonali tego wyraźnego rozróżnienia dla siebie, aby nasz kod był bardziej przewidywalny i łatwiejszy do debugowania. W praktyce oznacza to identyfikowanie tych wyjątków i traktowanie ich jako wyjątków. Co niestety oznacza więcej kodu, ale miejmy nadzieję, że zostanie to złagodzone przez narzędzia takie jak TypeScript of Flowtype.

A potem mamy niechlujne, ciche i hałaśliwe, czyli NaNrozróżnienie sygnalizacyjne . To naprawdę dotyczy tego, jak obsługiwane są wyjątki, a nie same wyjątki i nic nie różni się od innych wyjątków.

Podobnie Infinityi +Infinitysą elementami typu numerycznego powstającymi w przedłużeniu prostej rzeczywistej, ale nie są to liczby rzeczywiste. Matematycznie można je przedstawić za pomocą sekwencji liczb rzeczywistych zbiegających się do albo +lub -Infinity.

Dzieje się tak po prostu dlatego, że NaNjest to właściwość obiektu Number w JS, nie ma to nic wspólnego z tym, że jest liczbą.

Najlepszym sposobem myślenia o NAN jest to, że nie jest to znana liczba. Dlatego NAN! = NAN, ponieważ każda wartość NAN reprezentuje jakąś niepowtarzalną nieznaną liczbę. Sieci NAN są niezbędne, ponieważ liczby zmiennoprzecinkowe mają ograniczony zakres wartości. W niektórych przypadkach dochodzi do zaokrąglania, gdy niższe bity są tracone, co prowadzi do czegoś, co wydaje się być nonsensem, na przykład 1,0 / 11 * 11! = 1,0. Naprawdę duże wartości, które są większe, to NAN, a nieskończoność jest doskonałym przykładem.

Biorąc pod uwagę, że mamy tylko dziesięć palców, każda próba pokazania wartości większych niż 10 jest niemożliwa, co oznacza, że ​​takie wartości muszą być wartościami NAN, ponieważ utraciliśmy prawdziwą wartość tej wartości większej niż 10. To samo dotyczy wartości zmiennoprzecinkowych, gdzie wartość przekracza granice tego, co może być przechowywane w zmiennej zmiennoprzecinkowej.

Ponieważ NaN jest liczbowym typem danych.

NaNjest liczbą z punktu widzenia typu, ale nie jest zwykłą liczbą, taką jak 1, 2 lub 329131. Nazwa „Not A Number” odnosi się do faktu, że reprezentowana wartość jest specjalna i dotyczy dziedziny specyfikacji formatu IEEE, a nie domena języka javascript.

Jeśli korzystam z jQuery, wolę isNumericod sprawdzania typu:

console.log($.isNumeric(NaN));  // returns false
console.log($.type(NaN));       // returns number

http://api.jquery.com/jQuery.isNumeric/

Javascript ma tylko jeden liczbowy typ danych, czyli standardowy 64-bitowy zmiennoprzecinkowy o podwójnej precyzji. Wszystko jest podwójne. NaN to specjalna wartość podwójna, ale mimo to jest podwójna.

Wszystko, co parseIntrobi, to „rzutowanie” łańcucha na numeryczny typ danych, więc wynikiem jest zawsze „liczba”; tylko jeśli oryginalny łańcuch nie był analizowalny, jego wartością będzie NaN.

NaN nadal jest typem liczbowym, ale reprezentuje wartość, która nie może reprezentować prawidłowej liczby.

Moglibyśmy argumentować, że NaN jest obiektem szczególnym. W tym przypadku obiekt NaN reprezentuje liczbę, która nie ma żadnego matematycznego sensu. W matematyce jest kilka innych obiektów specjalnych, takich jak INFINITE i tak dalej.

Nadal możesz z nim wykonać pewne obliczenia, ale spowoduje to dziwne zachowania.

Więcej informacji tutaj: http://www.concentric.net/~ttwang/tech/javafloat.htm (oparty na Javie, nie javascript)

Musisz pokochać Javascript. Ma kilka interesujących drobiazgów.

http://wtfjs.com/page/13

Większość z tych dziwactw można wytłumaczyć, jeśli przestaniesz je logicznie rozwiązywać lub jeśli wiesz trochę o teorii liczb, ale mimo to mogą cię złapać, jeśli o nich nie wiesz.

Swoją drogą, polecam przeczytanie pozostałej części http://wtfjs.com/ - można znaleźć o wiele więcej ciekawych dziwactw niż ten!

Wartość NaN to tak naprawdę liczba, więc gdy zapytasz, czy jest to liczba, powie tak. Zrobiłeś właściwą rzecz, używając wywołania isNaN ().

Dla informacji, NaN można również zwrócić przez operacje na liczbach, które nie są zdefiniowane, jak dzielenie przez zero lub pierwiastek kwadratowy liczby ujemnej.

Przykład

Wyobraź sobie, że zamieniamy ciąg na liczbę:

Number("string"); // returns NaN

Zmieniliśmy typ danych na numer, ale jego wartość nie jest liczbą!

Jest to specjalna wartość typu Liczba jako POSITIVE_INFINITY

Czemu? Przez projekt