Jtti广告广告
返回顶部
首页 > 资讯 > 后端开发 > PHP编程 >Java Lambda 表达式源码解析
  • 181
分享到

Java Lambda 表达式源码解析

JavaLambda表达式JavaLambda源码 2021-12-25 22:12:23 181人浏览 才女
摘要

Java Lambda 源码分析 问题: Lambda 表达式是什么?JVM 内部究竟是如何实现 Lambda 表达式的?为什么要这样实现? 一、基本概念 1、Lambda 表达式 下面的例子中,() -> System.out.p

Java Lambda 源码分析

问题:
Lambda 表达式是什么?JVM 内部究竟是如何实现 Lambda 表达式的?为什么要这样实现?

一、基本概念

1、Lambda 表达式

下面的例子中,() -> System.out.println("1") 就是一个 Lambda 表达式。Java 8 中每一个 Lambda 表达式必须有一个函数式接口与之对应。Lambda 表达式就是函数式接口的一个实现。


@Test
public void test0() {
    Runnable runnable = () -> System.out.println("1");
    runnable.run();

    ToIntBiFunction<Integer, Integer> function = (n1, n2) -> n1 + n2;
    System.out.println(function.applyAsInt(1, 2));

    ToIntBiFunction<Integer, Integer> function2 = Integer::sum;
    System.out.println(function2.applyAsInt(1, 2));
}

大致形式就是 (param1, param2, param3, param4…) -> { doing…… };

2、函数式接口

首先要从 FunctionalInterface 注解讲起,详情见Annotation Type FunctionalInterface。

An infORMative annotation type used to indicate that an interface type declaration is intended to be a functional interface as defined by the Java Language Specification. Conceptually, a functional interface has exactly one abstract method. Since default methods have an implementation, they are not abstract. If an interface declares an abstract method overriding one of the public methods of java.lang.Object, that also does not count toward the interface's abstract method count since any implementation of the interface will have an implementation from java.lang.Object or elsewhere.

简单总结一下函数式接口的特征:

  • FunctionalInterface 注解标注一个函数式接口,不能标注类,方法,枚举,属性这些。
  • 如果接口被标注了 @FunctionalInterface,这个类就必须符合函数式接口的规范。
  • 即使一个接口没有标注 @FunctionalInterface,如果这个接口满足函数式接口规则,依旧可以被当作函数式接口。

注意:interface 中重写 Object 类中的抽象方法,不会增加接口的方法数,因为接口的实现类都是 Object 的子类。

我们可以看到 Runnable 接口,里面只有一个抽象方法 run(),则这个接口就是一个函数式接口。


@FunctionalInterface
public interface Runnable {
    public abstract void run();
}

3、方法引用

所谓方法引用,是指如果某个方法签名和接口恰好一致,就可以直接传入方法引用。文章开头的示例中,下面这块代码就是方法引用。

ToIntBiFunction<Integer, Integer> function2 = Integer::sum;

java.lang.Integer#sum 的实现如下:


public static int sum(int a, int b) {
    return a + b;
}

比如我们计算一个 Stream 的和,可以直接传入 Integer::sum 这个方法引用。


@Test
public void test1() {
    Integer sum = IntStream.range(0, 10).boxed().reduce(Integer::sum).get();
    System.out.println(sum);
}

上面的代码中,为什么可以直接在 reduce 方法中传入 Integer::sum 这个方法引用呢?这是因为 reduce 方法的入参就是 BinaryOperator 的函数式接口。


Optional<T> reduce(BinaryOperator<T> accumulator);

BinaryOperator 是继承自 BiFunction,定义如下:


@FunctionalInterface
public interface BiFunction<T, U, R> {

    R apply(T t, U u);

    default <V> BiFunction<T, U, V> andThen(Function<? super R, ? extends V> after) {
        Objects.requireNonNull(after);
        return (T t, U u) -> after.apply(apply(t, u));
    }
}

可以看到,只要是符合 R apply(T t, U u); 的方法引用,都可以传入 reduce 中。可以是上面代码中的 Integer::sum,也可以是 Integer::max。

二、深入实现原理

1、字节码

首先写 2 个 Lambda 方法:


public class LambdaMain {

    public static void main(String[] args) {
        new Thread(() -> System.out.println("1")).start();
        IntStream.range(0, 5).boxed().filter(i -> i < 3).map(i -> i + "").collect(Collectors.toList());
    }
}

之后 javac LambdaMain.java 编译成字节码文件,再通过 javap -p LambdaMain 输出 class 文件的所有类和成员,得到输出结果:


Compiled from "LambdaMain.java"
public class test.jdk.LambdaMain {
  public test.jdk.LambdaMain();
  public static void main(java.lang.String[]);
  private static java.lang.String lambda$main$2(java.lang.Integer);
  private static boolean lambda$main$1(java.lang.Integer);
  private static void lambda$main$0();
}
  • 输出的 void lambda$main$0() 对应的是 () -> System.out.println("1")
  • 输出的 boolean lambda$main$1(java.lang.Integer) 对应的是 i -> i < 3
  • 输出的 java.lang.String lambda$main$2(java.lang.Integer) 对应的是 i -> i + ""

我们可以看出 Lambda 表达式在 Java 8 中首先会生成一个私有的静态函数

2、为什么不使用匿名内部类?

如果要在 Java 语言中实现 lambda 表达式,生成匿名内部类就可以轻松实现。但是 JDK 为什么没有这么实现呢?这是因为匿名内部类有一些缺点。

  1. 每个匿名内部类都会在编译时创建一个对应的class 文件,在运行时不可避免的会有加载、验证、准备、解析、初始化等类加载过程。
  2. 每次调用都会创建一个这个匿名内部类 class 的实例对象,无论是有状态的(使用到了外部的变量)还是无状态(没有使用外部变量)的内部类。

3、invokedynamic

本来要写文字的,但是俺发现俺总结的思维导图还挺清晰的,直接提出来吧,囧。

 

 

详情见 Class LambdaMetafactory 官方文档,java.lang.invoke.LambdaMetafactory#metafactory 的实现。


public static CallSite metafactory(MethodHandles.Lookup caller,
                                    String invokedName,
                                    MethodType invokedType,
                                    MethodType samMethodType,
                                    MethodHandle implMethod,
                                    MethodType instantiatedMethodType)
        throws LambdaConversionException {
    AbstractValidatingLambdaMetafactory mf;
    mf = new InnerClassLambdaMetafactory(caller, invokedType,
                                            invokedName, samMethodType,
                                            implMethod, instantiatedMethodType,
                                            false, EMPTY_CLASS_ARRAY, EMPTY_MT_ARRAY);
    mf.validateMetafactoryArgs();
    return mf.buildCallSite();
}

其主要的概念有如下几个:

  • invokedynamic 字节码指令:运行时 JVM 第一次到某个地方的这个指令的时候会进行 linkage,会调用用户指定的 Bootstrap Method 来决定要执行什么方法,之后便不需要这个步骤。
  • Bootstrap Method: 用户可以自己编写的方法,最终需要返回一个 CallSite 对象。
  • CallSite: 保存 MethodHandle 的容器,里面有一个 target MethodHandle。
  • MethodHandle: 真正要执行的方法的指针。

测试一下 Lambda 函数生成的字节码,为了方便起见,java 代码改成如下:


public class LambdaMain {

    public static void main(String[] args) {
        new Thread(() -> System.out.println("1")).start();
    }
}

先编译成 class 文件,之后再反汇编 javap -c -p LambdaMain 看下输出:


Compiled from "LambdaMain.java"
public class test.jdk.LambdaMain {
  public test.jdk.LambdaMain();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: new           #2                  // class java/lang/Thread
       3: dup
       4: invokedynamic #3,  0              // InvokeDynamic #0:run:()Ljava/lang/Runnable;
       9: invokespecial #4                  // Method java/lang/Thread."<init>":(Ljava/lang/Runnable;)V
      12: invokevirtual #5                  // Method java/lang/Thread.start:()V
      15: return

  private static void lambda$main$0();
    Code:
       0: getstatic     #6                  // Field java/lang/System.out:Ljava/io/PrintStream;
       3: ldc           #7                  // String 1
       5: invokevirtual #8                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
       8: return
}

可以看到 Thread 里的 Runnable 实现是通过 invokedynamic 调用的。Lambda 表达式在 Java 中最终编译成私有的静态函数,JDK 最终使用 invokedynamic 字节码指令调用。

以上就是Java Lambda 表达式源码解析的详细内容,更多关于Java Lambda的资料请关注编程界其它相关文章!,希望大家以后多多支持编程界!

--结束END--

本文标题: Java Lambda 表达式源码解析

本文链接: https://www.lsjlt.com/news/91.html(转载时请注明来源链接)

有问题或投稿请发送至: 邮箱/279061341@qq.com    QQ/279061341

猜你喜欢
  • 【Java】Java基础
    环境准备 安装JDK和JRE 下载JDK,可以在官网Java Downloads | Oracle 中国下载,但是这里需要注册才能够下载。在Index of java-local/jdk (huawe...
    638
    2023-09-27
    java
  • 【Java入门】初识Java
    前言 📕作者简介:热爱跑步的恒川,致力于C/C++、Java、Python等多编程语言,热爱跑步,喜爱音乐的一位博主。 📗本文收录于Java入门篇系列,该专栏主要讲解:什么是java、java的数据类型...
    738
    2023-09-27
    java jvm 开发语言 经验分享
  • 【Java】使用Java实现爬虫
    文章目录 使用Java实现爬虫一、HttpClient实现模拟HTTP访问1.1 HttpClient1.2 引入依赖1.3 创建简单的请求操作1.3.1 创建实例1.3.2 Jsoup应用 1.4 爬取过程中可能出现的问题...
    634
    2023-09-27
    java 爬虫
  • 【Java】Java中的多态
    文章目录 一、什么是多态二、多态实现的条件三、重写3.1 什么是重写3.2 重写和重载的区别 四、向上转型和向下转型4.1 向上转型4.2 向下转型 五、多态的优缺点六、避免在构造方法...
    201
    2023-09-27
    java 开发语言
  • java ()->{}
    这种写法叫做Lambda 表达式,它是随着 Java 8 发布的最重要新特性 Lambda 表达式,也可称为闭包,它是推动 Java 8 发布的最重要新特性。 Lambda 允许把函数作为一个方法的参数(函数作为参数传递进方法中)。 使用 ...
    747
    2023-09-27
    java 开发语言 servlet
  • Java:详解Java中的异常
    目录Java异常常见异常throw和throws的区别final、finally、finalize的区别总结Java异常 Java中的异常:又称例外,是一个在程序执行期间发生的事件,...
    378
    2023-09-27
    Java Java异常
  • Java学习教程:Java基础——反射
    什么是反射?JAVA反射机制是在运行状态中,对于任意一个类,都能够知道这个类的所有属性和方法;对于任意一个对象,都能够调用它的任意方法和属性;这种动态获取信息以及动态调用对象方法的功能称为java语言的反射机制。例如:我们在开发的过程当中,...
    114
    2023-09-27
  • 【Java 基础篇】Java递归详解
    文章目录 导言一、递归原理二、递归的应用场景三、递归的实现方法四、递归的优缺点优点缺点 总结 导言 递归是一种强大且常用的编程技术,在Java编程中经常被使用。递归是指在函数或方法的定义中调用自身的过程。通过递归,我们...
    428
    2023-09-27
    java 算法 开发语言
  • java: java.lang.ExceptionInInitializerError解决
    先理解一下这个报错的原因可能有: java.lang.ExceptionInInitializerError` 是一个错误,表示在初始化类时发生了异常。`com.sun.tools.javac.code.TypeTags` 是 Java 编...
    714
    2023-09-27
    java 开发语言
  • Java学习星球,Java学习路线
    目录 一、Java学习路线二、学习计划三、为何会有Java学习星球?四、加入星球后,你可以得到什么?五、如何加入Java学习星球?六、打卡挑战 大家好,我是哪吒,一个靠着热情攀登至C...
    595
    2023-09-27
    java 学习 开发语言
  • 【Java入门】Java的语言概述
    前言 📕作者简介:热爱跑步的恒川,致力于C/C++、Java、Python等多编程语言,热爱跑步,喜爱音乐的一位博主。 📗本文收录于Java入门篇系列,该专栏主要...
    422
    2023-09-27
    java jvm 搜索引擎 开发语言 经验分享
  • 【Java 基础篇】Java List 详解
    文章目录 导言一、List 概述二、ArrayList三、LinkedList四、Vector总结 导言 在Java的集合框架中,List接口是一个有序、可重复的集合,它扩展了Coll...
    252
    2023-09-27
    java list 数据结构
  • 【Java 基础篇】Java Collection详解
    文章目录 导言一、Collection 简介二、List 接口三、Set 接口四、Map 接口总结 导言 Java的Collection框架是一组用于存储和操作对象的接口和类。它提供了...
    611
    2023-09-27
    java 开发语言 jvm
  • 【Java 基础篇】Java 反射详解
    文章目录 导言一、反射的概念二、反射的原理三、反射的使用示例四、反射的应用场景五、反射的注意事项总结 导言 Java反射是指在运行时动态地获取类的信息,并可以通过该信息来操作类或对象。...
    417
    2023-09-27
    java python 开发语言
  • JAVA module-info.java文件详解
    目录JAVA module-info.java文件Java9module-info.java什么意思JAVA module-info.java文件 Java9 module-info...
    636
    2023-09-27
    JAVA module-info.java module-info.java文件 module info
  • Java基础-Java常量和常量值
    目录1 常量定义2 常量语法命名3 常量值3.1 整型常量值3.2 浮点数常量值3.3 布尔常量值3.4 字符型常量值3.5 字符串常量值4 码农来洞见4.1 注意事项4.2 常量作...
    952
    2023-09-27
    Java基础 Java常量 Java常量值
  • Java基础-Java的体系结构
    目录1 前言1. 1 Java技术平台1.2 Java开源文化1.3 Java强大社区2 Java体系结构的组成2.1 Java编程语言2.2 字节码2.3 Java API2.4 ...
    325
    2023-09-27
    Java基础 Java体系结构
  • Java并发编程之Java内存模型
    目录1、什么是Java的内存模型2、为什么需要Java内存模型3、Java内存模型及操作规范4、Java内存模型规定的原子操作5、Java内存模型同步协议6、Java内存模型的HB法...
    628
    2023-09-27
    Java并发编程 Java内存模型
  • JAVA jvm系列--java内存区域
    目录一、JVM的组成结构如图:二、JVM运行流程三、java内存区域详解(运行时数据区域)(一)程序计数器(二)java虚拟机栈(三)本地方法栈(四)java堆(五)方法区运行时常量...
    943
    2023-09-27
    java jvm java内存区域
  • Java基础之java泛型通配符详解
    前言 Java 泛型(generics)是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制,该机制允许开发者在编译时检测到非法的类型。 泛型的本质是参数化类型,也...
    169
    2023-09-27
    java泛型通配符 java泛型通配符
编程网,编程工程师的家园,是目前国内优秀的开源技术社区之一,形成了由开源软件库、代码分享、资讯、协作翻译、讨论区和博客等几大频道内容,为IT开发者提供了一个发现、使用、并交流开源技术的平台。
  • 官方手机版

  • 微信公众号

  • 商务合作