lambda表达式介绍和底层实现分析

最新推荐文章于 2023-10-15 09:39:39 发布

ParallelUniverses

最新推荐文章于 2023-10-15 09:39:39 发布

阅读量430

点赞数

分类专栏： java 文章标签： java 编程语言 lambda

本文链接：https://blog.csdn.net/qq_27215113/article/details/110952090

版权

java 专栏收录该内容

6 篇文章 0 订阅

订阅专栏

如果你的需求需要匿名类来实现，例如是一个只有一个方法的接口，那么匿名类的语法可能看起来比较笨拙和不清晰，尽管匿名类比命名类更简洁，但对于只有一个方法的类来说，即使是匿名类也显得有些麻烦。还有在一些情况下，需要将功能作为参数传递给另一个方法，例如当有人单击页面上按钮时应该采取什么操作，javascript可以通过闭包实现。在java语言中，lambda表达式能够将功能视为方法参数，或将代码视为数据，而且lambda表达式可以更紧凑地表达单方法类的实例，在Swing编程和集合（Collections）编程中优势很明显。

一、lambda表达式

lambda表达式，也被称为闭包，它是推动 Java 8 发布的最重要新特性。lambda允许把函数作为一个方法的参数（函数作为参数传递进方法中）。

lambda 表达式的语法格式如下：

(parameters) -> expression或 (parameters) ->{ statements; }

以下是lambda表达式的重要特征:

（1）可选类型声明：不需要声明参数类型，编译器可以统一识别参数值；

（2）可选的参数圆括号：一个参数无需定义圆括号，但多个参数需要定义圆括号；

（3）可选的大括号：如果主体包含了一个语句，就不需要使用大括号；

（4）可选的返回关键字：如果主体只有一个表达式返回值则编译器会自动返回值，大括号需要指定明表达式返回了一个数值。

使用lambda表达式，可以使用函数式接口，来代替内部类，赋予了Java简单但是强大的函数式编程能力，同时可以认为java支持命令式编程、声明式编程、函数式编程。

二、函数式接口

只有一个抽象方法的接口，称为函数式接口。例如下面的接口，

public interface MyFunctionInterface<T> {
    public T getValue(T t);
}

测试类如下

public class MyFunctionInterfaceTest {
    public static void main(String[] args) {
        testMethod("   aaaa  ", s -> s.trim());
        testMethod("   aaaa  ", s -> s.trim().toUpperCase());
    }

    public static void testMethod(String str, 	MyFunctionInterface<String> functionInterface) {
        System.out.println(functionInterface.getValue(str));
    }
}

输出结果如下：

aaaa

AAAA

修改一下上面的接口，增加一个方法。

public interface MyFunctionInterface<T> {
    public T getValue(T t);
    public T returnValue(T t);
}

可以看到测试代码就会报错，因为增加一个方法之后，上面就不是函数式接口了。

虽然不能在函数式接口中定义多个方法，但可以定义默认方法、静态方法以及java.lang.Object里的public方法。

我们可以在接口上使用@FunctionalInterface注解，如果使用Intellij IDEA可以在编码的时候就看见报错了，这样做可以检查它是否是一个函数式接口。

通过反编译，可以看到函数式接口其实就是一个普通的java接口类，如下图。

函数式接口可以作为方法参数传递lambda表达式，但是为了将Lambda表达式作为参数传递，接收Lambda表达式的参数类型必须是与该Lambda表达式兼容的函数式接口的类型。但是我们没必要为每一个lambda表达式创建接口，在jdk的java.util.function包下面已经为我们创建了常用的函数式接口，其中比较核心的是消费型接口（Consumer<T>），供给型接口（Supplier<T>），断言型接口（Predicate<T>），函数型接口（Function<T, R>）四个接口，能够满足大部分应用场景。

三、lambda表达式原理分析

继续使用上面的测试代码，可以在IDEA中使用jclasslib Bytecode viewer查看MyFunctionInterface.class源文件。

可以看到里面编译器多生成了lambda$main$0和lambda$main$1两个私有静态方法，属性当中多了InnerClasses。我们可以查看一下测试类字节码更详细的反编译结果，如下。

/ class version 52.0 (52)
// access flags 0x21
public class com/para/lambda/MyFunctionInterfaceTest {
  // compiled from: MyFunctionInterfaceTest.java
  // access flags 0x19
  public final static INNERCLASS java/lang/invoke/MethodHandles$Lookup java/lang/invoke/MethodHandles Lookup
  // access flags 0x1

  public <init>()V
   L0
    LINENUMBER 3 L0
    ALOAD 0
    INVOKESPECIAL java/lang/Object.<init> ()V
    RETURN
   L1
    LOCALVARIABLE this Lcom/para/lambda/MyFunctionInterfaceTest; L0 L1 0
    MAXSTACK = 1
    MAXLOCALS = 1

  // access flags 0x9
  public static main([Ljava/lang/String;)V
   L0
    LINENUMBER 5 L0
    LDC "   aaaa  "
    INVOKEDYNAMIC getValue()Lcom/para/lambda/MyFunctionInterface; [
      // handle kind 0x6 : INVOKESTATIC
      java/lang/invoke/LambdaMetafactory.metafactory(Ljava/lang/invoke/MethodHandles$Lookup;
       Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodHandle;Ljava/lang/invoke/MethodType;)Ljava/lang/invoke/CallSite;
      // arguments:
      (Ljava/lang/Object;)Ljava/lang/Object;,
      // handle kind 0x6 : INVOKESTATIC
      com/para/lambda/MyFunctionInterfaceTest.lambda$main$0(Ljava/lang/String;)Ljava/lang/String;,
      (Ljava/lang/String;)Ljava/lang/String;
    ]
    INVOKESTATIC com/para/lambda/MyFunctionInterfaceTest.testMethod (Ljava/lang/String;Lcom/para/lambda/MyFunctionInterface;)V
   L1
    LINENUMBER 6 L1
    LDC "   aaaa  "
    INVOKEDYNAMIC getValue()Lcom/para/lambda/MyFunctionInterface; [
      // handle kind 0x6 : INVOKESTATIC
      java/lang/invoke/LambdaMetafactory.metafactory(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodHandle;Ljava/lang/invoke/MethodType;)Ljava/lang/invoke/CallSite;
      // arguments:
      (Ljava/lang/Object;)Ljava/lang/Object;,
      // handle kind 0x6 : INVOKESTATIC
      com/para/lambda/MyFunctionInterfaceTest.lambda$main$1(Ljava/lang/String;)Ljava/lang/String;,
      (Ljava/lang/String;)Ljava/lang/String;
    ]
    INVOKESTATIC com/para/lambda/MyFunctionInterfaceTest.testMethod (Ljava/lang/String;Lcom/para/lambda/MyFunctionInterface;)V
   L2
    LINENUMBER 7 L2
    RETURN
   L3
    LOCALVARIABLE args [Ljava/lang/String; L0 L3 0
    MAXSTACK = 2
    MAXLOCALS = 1

  // access flags 0x9
  // signature (Ljava/lang/String;Lcom/para/lambda/MyFunctionInterface<Ljava/lang/String;>;)V
  // declaration: void testMethod(java.lang.String, com.para.lambda.MyFunctionInterface<java.lang.String>)
  public static testMethod(Ljava/lang/String;Lcom/para/lambda/MyFunctionInterface;)V
   L0
    LINENUMBER 9 L0
    GETSTATIC java/lang/System.out : Ljava/io/PrintStream;
    ALOAD 1
    ALOAD 0
    INVOKEINTERFACE com/para/lambda/MyFunctionInterface.getValue (Ljava/lang/Object;)Ljava/lang/Object; (itf)
    CHECKCAST java/lang/String
    INVOKEVIRTUAL java/io/PrintStream.println (Ljava/lang/String;)V
   L1
    LINENUMBER 10 L1
    RETURN
   L2
    LOCALVARIABLE str Ljava/lang/String; L0 L2 0
    LOCALVARIABLE functionInterface Lcom/para/lambda/MyFunctionInterface; L0 L2 1
    // signature Lcom/para/lambda/MyFunctionInterface<Ljava/lang/String;>;
    // declaration: functionInterface extends com.para.lambda.MyFunctionInterface<java.lang.String>
    MAXSTACK = 3
    MAXLOCALS = 2

  // access flags 0x100A
  private static synthetic lambda$main$1(Ljava/lang/String;)Ljava/lang/String;
   L0
    LINENUMBER 6 L0
    ALOAD 0
    INVOKEVIRTUAL java/lang/String.trim ()Ljava/lang/String;
    INVOKEVIRTUAL java/lang/String.toUpperCase ()Ljava/lang/String;
    ARETURN
   L1
    LOCALVARIABLE s Ljava/lang/String; L0 L1 0
    MAXSTACK = 1
    MAXLOCALS = 1

  // access flags 0x100A
  private static synthetic lambda$main$0(Ljava/lang/String;)Ljava/lang/String;
   L0
    LINENUMBER 5 L0
    ALOAD 0
    INVOKEVIRTUAL java/lang/String.trim ()Ljava/lang/String;
    ARETURN
   L1
    LOCALVARIABLE s Ljava/lang/String; L0 L1 0
    MAXSTACK = 1
    MAXLOCALS = 1
}

可以看到这个私有的静态方法干的就是Lambda表达式里面的内容，那么又是如何调用的生成的私有静态方法呢？通过分析main方法的L0，首先通过INVOKEDYNAMIC 指令调用是MyFunctionInterface的getValue方法的引用，以及后面的指令数组。使用jclasslib Bytecode viewer查看，显示的是调用链，如果想看具体的名称和描述符可以使用javap命令。

INVOKEDYNAMIC 后面的指令数组，首先使用INVOKESTATIC调用java/lang/invoke/LambdaMetafactory.metafactory(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodHandle;Ljava/lang/invoke/MethodType;)Ljava/lang/invoke/CallSite;

CallSite是引导类加载器加载的类，该类会动态代理生成一个内部类，该内部类会调用com/para/lambda/MyFunctionInterfaceTest.lambda$main$0方法。

所以使用lambda表达式的地方，会在类编译的时候在本类中生成对应的私有静态方法和一个INNERCLASS的访问标识（具体是什么东西没找到资料，注释显示是一个访问标识），该访问标识会调用引导类加载器动态生成内部类，该内部类实现了函数式接口，在实现接口的方法中，会调用编译器生成静态方法，在使用lambda表达式的地方，通过传递内部类实例，来调用函数式接口方法。