Perché il valore di typeof null cambia all'interno di un ciclo?

Esecuzione di questo snippet nella console Chrome:

function foo() {
    return typeof null === 'undefined';
}
for(var i = 0; i < 1000; i++) console.log(foo());

dovrebbe stampare 1000 volte false, ma su alcune macchine stamperà falseper un numero di iterazioni, poi trueper il resto.

Perché sta succedendo? È solo un bug?

C'è un bug di cromo aperto per questo:

Problema 604033 - Il compilatore JIT non conserva il comportamento del metodo

Quindi sì, è solo un bug!

In realtà è un bug del motore JavaScript V8 ( Wiki ).

Questo motore è utilizzato in Chromium, Maxthron, Android OS, Node.js ecc.

Descrizione del bug relativamente semplice che puoi trovare in questo argomento di Reddit :

I moderni motori JavaScript compilano il codice JS in codice macchina ottimizzato quando viene eseguito (compilazione Just In Time) per renderlo più veloce. Tuttavia, la fase di ottimizzazione ha un costo iniziale in termini di prestazioni in cambio di un aumento di velocità a lungo termine, quindi il motore decide dinamicamente se un metodo vale la pena a seconda di quanto comunemente viene utilizzato.

In questo caso sembra esserci un bug solo nel percorso ottimizzato, mentre il percorso non ottimizzato funziona bene. Quindi all'inizio il metodo funziona come previsto, ma se viene chiamato in un ciclo abbastanza spesso a un certo punto il motore deciderà di ottimizzarlo e lo sostituirà con la versione buggy.

Questo bug sembra essere stato corretto nella stessa V8 ( commit ), così come in Chromium ( bug report ) e NodeJS ( commit ).

Per rispondere alla domanda diretta sul perché cambia, il bug è nella routine di ottimizzazione "JIT" del motore V8 JS utilizzato da Chrome. All'inizio, il codice viene eseguito esattamente come scritto, ma più lo si esegue, maggiore è il potenziale che i vantaggi dell'ottimizzazione superano i costi di analisi.

In questo caso, dopo l'esecuzione ripetuta nel ciclo, il compilatore JIT analizza la funzione e la sostituisce con una versione ottimizzata. Sfortunatamente, l'analisi fa un'ipotesi errata e la versione ottimizzata non produce effettivamente il risultato corretto.

In particolare, l' utente di Reddit RainHappens suggerisce che si tratta di un errore nella propagazione del tipo :

Fa anche una certa propagazione dei tipi (come in quali tipi può essere una variabile ecc.). Esiste un tipo speciale "non rilevabile" per quando una variabile è indefinita o nulla. In questo caso l'ottimizzatore diventa "null non è rilevabile, quindi può essere sostituito con la stringa" undefined "per il confronto.

Questo è uno dei problemi più difficili con l'ottimizzazione del codice: come garantire che il codice che è stato riorganizzato per le prestazioni abbia ancora lo stesso effetto dell'originale.

Questo problema è stato risolto due mesi fa e arriverà presto in Chrome (già in Canary).

V8 Edizione 1912553002 - Correzione della canonicalizzazione "tipo di null" nell'albero motore

Chromium Problema 604033 - Il compilatore JIT non conserva il comportamento del metodo