java - 为 lambda 表达式存储 out 范围变量的位置

Question

据我所知，对于内部类和匿名类，外部范围的变量存储在生成的字节码中(例如 OuterClass$1.class)。我想知道下一个例子的变量存储在哪里:

public Function<Integer, Integer> curring(Integer elem) {
    return x -> x * elem;
}

Arrays.asList(1, 2, 3, 4, 5).stream().map(curring(2)).map(curring(5)).forEach(System.out::println);

Lambda 被翻译成方法，而不是类。这是否意味着对于这 2 个调用将生成 2 个单独的方法？

Answer 1

这个表达式 x -> x * elem; 将被去糖化为一个 static 方法，看起来像这样:

  private static Integer lambda$curring$0(int x, int y){
      return x*y;
  }

因为您正在捕获 lambda 内部的elem 变量，所以lambda 被称为有状态lambda。

另一方面，您的 map 操作需要 java.util.Function 的实际实例 - 并且它是在运行时生成的看起来像这样:

 final class Test2$$Lambda$1 implements java.util.function.Function {
      private final Integer arg$1;

      private Test2$$Lambda$1(Integer arg$1){
          this.arg$1 = arg$1;
      }

      // static factory method
      private static java.util.function.Function get$Lambda(Integer i){
            return new Test2$$Lambda$1(i); // instance of self
      }

       public Integer apply(Integer x) {
          return YourClass.lambda$curring$0(this.arg$1, x);    
       }
 }

在 Function.apply(在您的 map 操作中)被调用之前，Test2$$Lambda$1 的新实例 是通过静态生成的工厂方法 get$Lambda。这需要“携带”elem 变量。

正因为如此，每次调用 map 时都会创建一个新实例。

由于您的 Stream 有五个初始元素，因此将创建 10 个实例 - 用于两个 map 操作。

但一般这是一个很容易在某一天更改的实现细节 - 所以不要依赖它。此外，这种短暂实例的创建和收集(由垃圾收集器)非常便宜，几乎不会影响您的应用程序。