¿Qué construcción "si" es más rápida - declaración o operador ternario?

Question

Hay dos tipos de declaraciones if en java - clásico: if {} else {} y abreviatura: exp ? value1 : value2. ¿Es uno más rápido que el otro o son iguales?

declaración:

int x; 
if (expression) { 
    x = 1; 
} else { 
    x = 2; 
} 

operador ternario:

int x = (expression) ? 1 : 2; 

Answer 1

Solo hay un tipo de instrucción "if" allí. La otra es una expresión condicional. En cuanto a cuál funcionará mejor: podrían compilar al mismo código de bytes, y esperaría que se comporten de manera idéntica, o tan cerca que definitivamente no querría elegir uno sobre el otro en términos de rendimiento.

A veces una declaración if será más legible, a veces el operador condicional será más legible. En particular, recomendaría usar el operador condicional cuando los dos operandos son simples y libres de efectos secundarios, mientras que si el propósito principal de las dos ramas es sus efectos secundarios, probablemente usaría una declaración if.

Aquí hay un ejemplo de programa y el código de bytes:

public class Test { 
    public static void main(String[] args) { 
     int x; 
     if (args.length > 0) { 
      x = 1; 
     } else { 
      x = 2; 
     } 
    } 

    public static void main2(String[] args) { 
     int x = (args.length > 0) ? 1 : 2; 
    } 
} 

Bytecode descompilada con javap -c Test:

public class Test extends java.lang.Object { 
    public Test(); 
    Code: 
     0: aload_0 
     1: invokespecial #1 
     4: return 

    public static void main(java.lang.String[] 
    Code: 
     0: aload_0 
     1: arraylength 
     2: ifle   10 
     5: iconst_1 
     6: istore_1 
     7: goto   12 
     10: iconst_2 
     11: istore_1 
     12: return 

    public static void main2(java.lang.String[ 
    Code: 
     0: aload_0 
     1: arraylength 
     2: ifle   9 
     5: iconst_1 
     6: goto   10 
     9: iconst_2 
     10: istore_1 
     11: return 
} 

Como se puede ver, hay una ligero diferencia en el código de bytes de aquí - si se produce la istore_1 dentro de la brance o no (a diferencia de mi intento anterior muy defectuoso :) pero estaría muy sorprendido si el JITter terminara con un código nativo diferente.

Answer 2

ni - que serán compilados a la misma.

Answer 3

Ambos ejemplos probablemente se compilarán con un bytecode idéntico o casi idéntico, por lo que no debería haber diferencia en el rendimiento.

Si hubiera habido una diferencia en la velocidad de ejecución, debería seguir utilizando la versión más idiomática (que sería la segunda para asignar una sola variable basada en una condición simple y dos subexpresiones simples, y la primera para realizando operaciones u operaciones más complejas que no caben en una sola línea).

Answer 4

Estos son lo mismo. Ambos son bastante rápidos, típicamente alrededor de 10-30 nano segundos. (según el patrón de uso) ¿Es este marco de tiempo importante para usted?

Debe hacer lo que cree que es más claro.

Answer 5

sólo para añadir a todas las otras respuestas:

La segunda expresión es a menudo llamado terciario/operador ternario/comunicado. Puede ser muy útil porque devuelve una expresión. Algunas veces hace que el código sea más claro para declaraciones cortas típicas.