Penalización de rendimiento para argumentos indefinidos

Question

A menudo tengo argumentos opcionales en las funciones, pero algunas pruebas muestran un gran rendimiento para ellos en Firefox y Safari (70-95%). Extrañamente, si paso en el valor literal undefined, entonces no hay ninguna penalización. ¿Qué podría estar pasando aquí? No hubiera pensado que era una cuestión de cadena de alcance, ya que son intrínsecamente locales para la función. ¿Debo comenzar a pasar undefined en cada argumento opcional?

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

Answer 1

Para una función como esta:

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

que se llama así:

threeArgs(1, 2, 3); 

el optimizador es libre de tomar la decisión de generar ningún código en absoluto. Es bastante fácil para él determinar que no hay efectos secundarios, porque la función simplemente hace referencia a sus valores de parámetros y devuelve el resultado de una expresión simple. Como se ignora el valor de retorno, no hay ninguna razón para que el tiempo de ejecución haga nada.

Más allá de eso, si el código fueron:

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

el optimizador puede decidir generar código más o menos equivalente a:

something += 6; 

¿Por qué? Porque la llamada se realizó con constantes numéricas, y puede doblarlas en el momento de generación de código. Puede ser conservador en eso, porque los números son raros, pero aquí están todos enteros, así que bien podría hacer esto. Incluso si no lo hiciera, podría inline con seguridad la función:

something += 1 + 2 + 3; 

Cuando hay un parámetro que falta, sin embargo, puede ser que el optimizadores de la fianza y generar una llamada a la función real. Para una función tan simple, la sobrecarga de la llamada de función podría explicar fácilmente una gran diferencia en el rendimiento.

Al usar variables en lugar de constantes en una prueba, y al usar realmente el valor de retorno de la función, puede "confundir" el optimizador y evitar que se salte la llamada o pre-calcule el resultado, pero puede hacerlo ' t evitar que forme parte de la línea. Todavía creo que su resultado es interesante por esa razón: expone el hecho de que (a partir de hoy de todos modos) esos optimizadores son sensibles a la forma en que se invocan las funciones.

Answer 2

Creo que lo que podría explicar la diferencia de rendimiento es la forma argumentos se pasan a un objeto función: a través del objeto arguments. Cuando no pasa ningún argumento, JS comenzará escaneando el objeto de argumentos para cualquiera de los argumentos dados, cuando no están definidos, se escaneará la cadena de prototipos arguments, hasta llegar al Object.prototype. Si todos carecen de la propiedad deseada, JS devolverá undefined. Considerando que, pasando definido de forma explícita, la establece como una propiedad directamente en los argumentos del objeto:

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

deduzco que esa es la razón por la que pasa sin definir explícitamente tiende a ser más rápido.