写点什么

还不清楚 Lambda 的底层原理?一文帮你搞懂

发布于: 2021 年 01 月 30 日
还不清楚Lambda的底层原理?一文帮你搞懂

1、写在开头

Lambda 和 Stream 是 Jdk1.8 中引入的两个重要特性。

Lambda 是函数式编程,可以将匿名方法像参数一样传递,本章节将从 4 个方面来介绍 lambda:Lambda 基础语法、Lambda 表达式的应用层面、Lambda 的字节码源码 以及 优缺点性能。

2、温习 JVM 基础

开讲前,我们先回顾下 JVM 的内存管理结构,这节我们会涉及到方法区:

  • 程序计数器(Program Counter Register):当前线程执行的字节码指示器

  • Java 虚拟机栈(Java Virtual Machine Stacks):Java 方法执行的内存模型,每个方法会创建一个栈帧用于存储局部变量表、操作数栈、动态链接、方法出口等信息。

  • 本地方法栈(Native Method Stack):(虚拟机使用到的)本地方法执行的内存模型。

  • Java 堆(Java Heap):虚拟机启动时创建的内存区域,唯一目的是存放对象实例,处于逻辑连续但物理不连续内存空间中。

  • 方法区(Method Area):存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。

  • 运行时常量池(Runtime Constant Pool):方法区的一部分,存放编译器生成的各种字面值和符号引用。


另外补充常量池的项目类型知识:



另外补充字节码指令:invokedynamic 指令


在 Class 文件中,方法调用即是对常量池(ConstantPool)属性表中的一个符号引用,在类加载的解析期或者运行时才能确定直接引用。invokestatic 主要用于调用 static 关键字标记的静态方法 invokespecial 主要用于调用私有方法,构造器,父类方法。

invokevirtual 虚方法,不确定调用那一个实现类,比如 Java 中的重写的方法调用。例子可以参考:从字节码指令看重写在 JVM 中的实现 invokeinterface 接口方法,运行时才能确定实现接口的对象,也就是运行时确定方法的直接引用,而不是解析期间。


3、Lambda 是什么?

Lambda 的定义:


Lambda 表达式(lambda expression)是一个匿名函数,Lambda 表达式基于数学中的λ演算得名,直接对应于其中的 lambda 抽象(lambda abstraction),是一个匿名函数,即没有函数名的函数。

Lambda 表达式可以表示闭包(注意和数学传统意义上的不同)。


java 对 Lambda 的语法定义如下:


(parameters) -> expression



(parameters) ->{ statements; }


因为 lambda 本质是一个匿名函数,那么跟普通的函数方法就肯定有共同点了:入参 &方法体 &返回值。

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



可以参考下面的 Lambda 使用例子 1:

  • 我们定义了以下的 lambda 接口



//无参但是有返回值 @FunctionalInterface interface testNoArgButReturnVal { int testNoArgButReturnVal(); } //一个参数,有返回值 @FunctionalInterface interface testArgWithReturnVal { int testArgWithReturnVal(String message); } //两个参数,有返回值 @FunctionalInterface interface testArgsWithReturnVal { int testArgsWithReturnVal(String message, Integer value); } //两个参数,无返回值 @FunctionalInterface interface testArgsWithNoReturnVal { void testArgsWithNoReturnVal(String message, Integer value); }
复制代码


  • lambda 表达式实现


 //无参但是有返回值    testNoArgButReturnVal testNoArgButReturnVal = ()->1;    testNoArgButReturnVal testNoArgButReturnVal2 = ()->{return 1;};
//一个参数,有返回值 testArgWithReturnVal testArgWithReturnVal = (String a) -> {return 1;}; testArgWithReturnVal testArgWithReturnVal2 = (a) -> {return 1;}; testArgWithReturnVal testArgWithReturnVal3 = a -> {return 1;}; testArgWithReturnVal testArgWithReturnVal4 = a -> 1;
//两个参数,有返回值 testArgsWithReturnVal testArgsWithReturnVal = (String a, Integer b) -> {return 1;}; testArgsWithReturnVal testArgsWithReturnVal2 = (a, b) -> {return 1;}; testArgsWithReturnVal testArgsWithReturnVal3 = (a, b) -> 1;
//两个参数,无返回值 testArgsWithNoReturnVal testArgsWithNoReturnVal = (String a, Integer b) -> {}; testArgsWithNoReturnVal testArgsWithNoReturnVal2 = (String a, Integer b) -> {System.out.println("a = " + a + ", b = " + b);};
复制代码


当然,如果觉得这种灵活的编程不太适应,那么可以用最保险的办法,那就是始终用()圈住入参,用{}圈住实现体。


4、@FunctionalInterface 注解

下面我们讲解:Lambda 的注解与应用例子。

每个 lambda 声明接口,都用到了 @FunctionalInterface,这便是 jdk8 引入的 Lambda 注解了(实际上 jdk8 没要求必须显式声明该注解)。


 @FunctionalInterface 注解 


@Documented@Retention(RetentionPolicy.RUNTIME)@Target(ElementType.TYPE)public @interface FunctionalInterface {}
复制代码


举例子 2:lambda 应用实例



/** * <p> * Java 8 中采用函数式接口作为Lambda 表达式的目标类型。 * 函数式接口(Functional Interface)是一个有且仅有一个抽象方法声明的接口。 * 任意只包含一个抽象方法的接口,我们都可以用来做成Lambda表达式。 * 每个与之对应的lambda表达式必须要与抽象方法的声明相匹配。 * </p> *///自定义函数式接口时,应当在接口前加上@FunctionalInterface标注(虽然不加也不会有错误)。//编译器会注意到这个标注,如果你的接口中定义了第二个抽象方法的话,编译器会抛出异常。@FunctionalInterfacepublic interface MyFunction { /** * 函数式接口中只能有一个抽象方法(这里不包括与Object的方法重名的方法) * 接口中唯一抽象方法的命名并不重要,因为函数式接口就是对某一行为进行抽象,主要目的就是支持 Lambda 表达式 */ String print(String s);
//Error,如果你的接口中定义了第二个抽象方法的话,编译器会抛出异常。// String print2(String s);}
复制代码


通过例子 2,可以知道这个 @FunctionalInterface 注解有以下特点:

  • 该注解只能标记在”有且仅有一个抽象方法”的接口上。

  • JDK8 接口中的静态方法和默认方法,都不算是抽象方法。

  • 接口默认继承 Java.lang.Object,所以如果接口显示声明覆盖了 Object 中方法,那么也不算抽象方法。

  • 该注解不是必须的,如果一个接口符合”函数式接口”定义,那么加不加该注解都没有影响。加上该注解能够更好地让编译器进行检查。如果编写的不是函数式接口,但是加上了 @FunctionInterface,那么编译器会报错。

5、Lambda 字节码编译原理

下面我们讲解:Lambda 的 class 字节码源码,从编译角度彻底理解 lambda 的实现。

(实际上,lambda 在应用层面会这么方便,是因为编译器在底层做了大量的工作,我们可以一窥究竟。)


举例子 3:

我们基于例子 2 的 MyFunction lambda 声明接口,写了 LambdaSourceTestCase 用例:



public class LambdaSourceTestCase { public static void main(String[] args) { String a = "a"; //定义局部变量 MyFunction myFunction = (s)-> {return s;}; //定义匿名函数实现 myFunction.print(a); //调用lambda }}
复制代码


编译与查看虚拟机运行时信息指令:


javac -encoding utf8 LambdaSourceTestCase.java MyFunction.javajavap -verbose LambdaSourceTestCase.class
复制代码


下面我们分 3 个步骤,来分析 lambda 的字节码源码。

1、在主体方法里,我们找到 lambda 表达式 匹配的 invokedynamic 指令。



2、根据 invokedynamic 指令的偏移量,定位到 #0:#23 分别指向的 bootstrap 属性表 & 常量池信息。

2.1 常量池信息(Constant Pool)



2.2 BootstrapMethods 属性表



3、字节码分析:最后的最后,是一个类的静态方法:LambdaMetafactory.metafactory()方法。



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;
复制代码



总结归纳:

lambda 表达式对应一个 incokedynamic 指令,通过指令在常量池的符号引用,可以得到 BootstrapMethods 属性表对应的引导方法。


在运行时,JVM 会通过调用这个引导方法生成一个含有 MethodHandle(CallSite 的 target 属性)对象的 CallSite 作为一个 Lambda 的回调点。Lambda 的表达式信息在 JVM 中通过字节码生成技术转换成一个内部类,这个内部类被绑定到 MethodHandle 对象中。每次执行 lambda 的时候,都会找到表达式对应的回调点 CallSite 执行。一个 CallSite 可以被多次执行(在多次调用的时候)。


在多次调用的时候,只会有一个 invokedynamic 指令,在 comparator 调用 comparator.compare 或 comparator.reversed 方法时,都会通过 CallSite 找到其内部的 MethodHandle,并通过 MethodHandle 调用 Lambda 的内部表示形式 LambdaForm。


6、Lambda 优势与劣势

总而言之,函数式编程是技术的发展方向,而 Lambda 是函数式编程最基础的内容,所以 Java 8 中加入 Lambda 表达式本身是符合技术发展方向的。

优点: 

1、代码更加简洁,效率高;

2、减少匿名内部类的创建,节省资源(Lambda 的性能表现,在多数情况也比匿名内部类好,性能方面可以参考一下 Oracle 的 Sergey Kuksenko 发布的 Lambda 性能报告);

缺点:

1、不熟悉 Lambda 表达式的语法的人,不太容易看得懂; 

2、虽然代码更加简洁,但可读性差,不利于维护;

7、总结

本文从 4 个方面介绍了:Lambda 基础语法、Lambda 表达式的应用层面、Lambda 的字节码源码 以及 优缺点性能,希望大家从中能有所收获。

文章参考了以下文章:

https://docs.oracle.com/javase/8/docs/api/java/lang/invoke/LambdaMetafactory.html#metafactory-java.lang.invoke.MethodHandles.Lookup-java.lang.String-java.lang.invoke.MethodType-java.lang.invoke.MethodType-java.lang.invoke.MethodHandle-java.lang.invoke.MethodType-

https://www.cnblogs.com/jixp/articles/10548492.html

https://www.oracle.com/technetwork/java/jvmls2013kuksen-2014088.pdf


8、延伸阅读

《源码系列》

JDK之Object 类

JDK之BigDecimal 类

JDK之String 类

JDK之Lambda表达式


《经典书籍》

Java并发编程实战:第1章 多线程安全性与风险

Java并发编程实战:第2章 影响线程安全性的原子性和加锁机制

Java并发编程实战:第3章 助于线程安全的三剑客:final & volatile & 线程封闭


《服务端技术栈》

《Docker 核心设计理念

《Kafka史上最强原理总结》

《HTTP的前世今生》


《算法系列》

读懂排序算法(一):冒泡&直接插入&选择比较

《读懂排序算法(二):希尔排序算法》

《读懂排序算法(三):堆排序算法》

《读懂排序算法(四):归并算法》

《读懂排序算法(五):快速排序算法》

《读懂排序算法(六):二分查找算法》


《设计模式》

设计模式之六大设计原则

设计模式之创建型(1):单例模式

设计模式之创建型(2):工厂方法模式

设计模式之创建型(3):原型模式

设计模式之创建型(4):建造者模式



发布于: 2021 年 01 月 30 日阅读数: 925
用户头像

Diligence is the mother of success. 2018.03.28 加入

公众号:后台技术汇 笔者主要从事Java后台开发,喜欢技术交流与分享,保持饥渴,一起进步!

评论

发布
暂无评论
还不清楚Lambda的底层原理?一文帮你搞懂