Penalità delle prestazioni per argomenti non definiti

Question

Spesso ho argomenti opzionali nelle funzioni, ma alcuni test mostrano un enorme successo di prestazioni per loro in Firefox e Safari (70-95%). Stranamente, se passo il valore letterale non definito allora non c'è penalità. Cosa potrebbe accadere qui? Non avrei pensato che si trattasse di un problema a catena di portata in quanto sono intrinsecamente locali alla funzione. Devo iniziare a passare undefined in ogni argomento facoltativo?

jsPerf: http://jsperf.com/function-undefined-args/2

Answer 1

Per una funzione come questa:

function threeArgs(x, y, z) { 
    return x + y + z; 
} 

che si chiama in questo modo:

threeArgs(1, 2, 3); 

l'ottimizzatore è libero di fare la scelta di generare alcun codice a tutti. È abbastanza facile per esso determinare che non ci sono effetti collaterali, perché la funzione fa semplicemente riferimento ai suoi valori di parametro e restituisce il risultato di un'espressione semplice. Poiché il valore di ritorno è ignorato, non c'è motivo per il runtime di fare qualsiasi cosa.

Oltre a ciò, se il codice fosse:

something += threeArgs(1, 2, 3); 

l'ottimizzatore potrebbe decidere di generare il codice più o meno equivalente a:

something += 6; 

Perché? Perché la chiamata è stata effettuata con costanti numeriche e può tranquillamente piegare quelle al momento della generazione del codice. Potrebbe essere prudente, perché i numeri sono strani, ma qui sono tutti interi, quindi potrebbe benissimo farlo. Anche se così non fosse, si potrebbe tranquillamente inline la funzione:

something += 1 + 2 + 3; 

Quando c'è un parametro mancante, tuttavia, può essere che l'ottimizzatori bail out e generare una vera e propria chiamata di funzione. Per una funzione così semplice, il sovraccarico della chiamata di funzione potrebbe facilmente spiegare una grande differenza di prestazioni.

Utilizzando le variabili anziché le costanti in un test e utilizzando effettivamente il valore restituito della funzione, è possibile "confondere" l'ottimizzatore e impedirgli di saltare la chiamata o pre-calcolare il risultato, ma si può t tenerlo da inlining. Continuo a pensare che il tuo risultato sia interessante per questo motivo: espone il fatto che (ad oggi comunque) quegli ottimizzatori sono sensibili al modo in cui vengono invocate le funzioni.

Answer 2

Penso che quello che potrebbe spiegare la differenza di prestazioni è il modo in cui gli argomenti vengono passati a un oggetto funzione: tramite l'oggetto arguments. Quando non si passa alcun argomento, JS inizierà la scansione dell'oggetto argomenti per uno qualsiasi degli argomenti specificati, quando quelli non sono definiti, la catena di prototipi arguments verrà scansionata, fino a Object.prototype. Se a tutti manca la proprietà desiderata, JS restituirà undefined. Considerando che, passando definito in modo esplicito, lo imposta come una proprietà direttamente sugli argomenti oggetto:

function foo(arg) 
{ 
    console.log(arguments.hasOwnProperty('0')); 
} 
foo();//false' 
foo('bar');//true 
foo(undefined);//true 

ho capito che è il motivo per cui passando indefinito tende esplicitamente di essere più veloce.