java - otra - Lambda se comporta de manera diferente a la clase interna anónima

interfaces en java ejemplos

Question

Mientras hacía algunos ejercicios básicos de lambda, el resultado de una clase interna anónima aparentemente idéntica me daba un resultado diferente al lambda.

interface Supplier<T> {

    T get(T t);
}

Escenario 1

Supplier<Integer> s1 = new Supplier<Integer>() {
    @Override
    public Integer get(Integer t) {
        return t;
    }
};
Supplier<Integer> s2 = t -> t;
System.out.println(s1.get(2));
System.out.println(s2.get(2));

Salidas 2 y 2 . Nada nuevo aquí.

Pero cuando hago esto:

Escenario # 2

Supplier<Integer> s1 = new Supplier<Integer>() {
    @Override
    public Integer get(Integer t) {
        return t++;
    }
};
Supplier<Integer> s2 = t -> t++;
System.out.println(s1.get(2));
System.out.println(s2.get(2));

Salidas 2 y 3

PREGUNTA: ¿No deberían ambas salidas ser idénticas? ¿Me estoy perdiendo de algo?

En aras de la exhaustividad: escenario # 3

Supplier<Integer> s1 = new Supplier<Integer>() {
    @Override
    public Integer get(Integer t) {
        return ++t;
    }
};
Supplier<Integer> s2 = t -> ++t;
System.out.println(s1.get(2));
System.out.println(s2.get(2));

Salidas 3 y 3 . Nada nuevo aquí también.

ACTUALIZACIÓN: sigue obteniendo la misma salida de 1.8.0-b132

ACTUALIZACIÓN # 2: Informe de error: https://bugs.openjdk.java.net/browse/JDK-8038420

ACTUALIZACIÓN # 3: El error ha sido reparado en javac, ahora debería poder obtener el mismo resultado.

Answer 1

De acuerdo con bytecode generado:

Java (TM) SE Runtime Environment (compilación 1.8.0-b132)

Lambda:

 private static java.lang.Integer lambda$main$0(java.lang.Integer);
   descriptor: (Ljava/lang/Integer;)Ljava/lang/Integer;
   flags: ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC
   Code:
     stack=2, locals=2, args_size=1
        0: aload_0
        1: invokevirtual #9                  // Method java/lang/Integer.intValue:()I
        4: iconst_1
        5: iadd
        6: invokestatic  #6                  // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
        9: dup
       10: astore_0
       11: astore_1
       12: aload_0
       13: areturn
     LineNumberTable:
       line 20: 0
     LocalVariableTable:
       Start  Length  Slot  Name   Signature
           0      14     0     t   Ljava/lang/Integer;

Clase anónima:

  public java.lang.Integer get(java.lang.Integer);
    descriptor: (Ljava/lang/Integer;)Ljava/lang/Integer;
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=4, args_size=2
         0: aload_1
         1: astore_2
         2: aload_1
         3: invokevirtual #2                  // Method java/lang/Integer.intValue:()I
         6: iconst_1
         7: iadd
         8: invokestatic  #3                  // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
        11: dup
        12: astore_1
        13: astore_3
        14: aload_2
        15: areturn
      LineNumberTable:
        line 16: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0      16     0  this   LTest$1;
            0      16     1     t   Ljava/lang/Integer;

Como puede ver, en la clase anónima después de cargar la variable de la tabla de variables locales (parámetro de método t ), en tiempo de ejecución, guarde la copia del parámetro en otra variable ( astore_2 ) y luego use esta copia del parámetro como valor de retorno.

El método Lambda no hace copia del parámetro (carga -> unbox -> agregar 1 -> caja -> almacenar -> cargar -> devolver).

ACTUALIZAR

Definitivamente es un error de javac.

Obtuve el origen de http://hg.openjdk.java.net/jdk8u/jdk8u

La clase anónima y lambda se convierten en las siguientes representaciones intermedias:

@Override()
public Integer get(Integer t) {
    return (let /*synthetic*/ final Integer $112619572 = t in 
       (let /*synthetic*/ final Integer $1295226194 = t = Integer.valueOf((int)(t.intValue() + 1)) in $112619572));
}

/*synthetic*/ private static Integer lambda$main$0(final Integer t) {
    return (let /*synthetic*/ final Integer $1146147158 = t = Integer.valueOf((int)(t.intValue() + 1)) in t);
}

En el parámetro del método lambda generado marcado como final, porque el traductor LambdaToMethod marca todos los parámetros como FINAL (según el código fuente LambdaTranslationContext.translate (...): 1899 ).

Luego, deje que el generador de expresiones compruebe los indicadores de variables y, si es final, omite la generación de variables temporales (según el código fuente Lower.abstractRval (...): 2277 ), ya que la modificación se considera prohibida.

Soluciones posibles:

1. Prohibir modificación de parámetros dentro de lambda o

2. Quite el indicador FINAL de la variable local ( LambdaTranslationContext.translate (...): 1894 ) y el parámetro ( LambdaTranslationContext.translate (...): 1899 ) en el método generado de lamda:

    case LOCAL_VAR:
      ret = new VarSymbol(FINAL, name, types.erasure(sym.type), translatedSym);
    ...
   
    case PARAM:
      ret = new VarSymbol(FINAL | PARAMETER, name, types.erasure(sym.type), translatedSym);
    ...

Quité el indicador FINAL y obtuve los resultados esperados en las pruebas de: https://bugs.openjdk.java.net/browse/JDK-8038420