【238期】Java 8 中 Lambda 实现原理及源码剖析!

  • Post author:
  • Post category:java


点击上方“Java精选”,选择“设为星标”

别问别人为什么,多问自己凭什么!

下方

有惊喜

,留言必回,有问必答!

每天

0


8:15

更新文章,每天进步一点点…

为了支持函数式编程,Java 8引入了Lambda表达式,那么在Java 8中到底是如何实现Lambda表达式的呢? Lambda表达式经过编译之后,到底会生成什么东西呢? 在没有深入分析前,让我们先想一想,Java 8中每一个Lambda表达式必须有一个函数式接口与之对应,函数式接口与普通接口的区别,可以参考前面的内容,那么你或许在想Lambda表达式是不是转化成与之对应的函数式接口的一个实现类呢,然后通过多态的方式调用子类的实现呢,如下面代码是一个Lambda表达式的样例:

@FunctionalInterface
interface Print<T> {
    public void print(T x);
}
public class Lambda {   
    public static void PrintString(String s, Print<String> print) {
        print.print(s);
    }
    public static void main(String[] args) {
        PrintString("test", (x) -> System.out.println(x));
    }
}

按照上面的分析,理论上经过编译器处理后,最终生成的代码应该如下面所示:

@FunctionalInterface
interface Print<T> {
    public void print(T x);
}

class Lambda$$0 implements Print<String> {
    @Override
    public void print(String x) {
        System.out.println(x);
    }
}

public class Lambda {   
    public static void PrintString(String s, 
            Print<String> print) {
        print.print(s);
    }
    public static void main(String[] args) {
        PrintString("test", new Lambda$$0());
    }
}

再或者是一个内部类实现,代码如下所示:

@FunctionalInterface
interface Print<T> {
    public void print(T x);
}
public class Lambda {   
    final class Lambda$$0 implements Print<String> {
        @Override
        public void print(String x) {
            System.out.println(x);
        }
    }  
    public static void PrintString(String s, 
            Print<String> print) {
        print.print(s);
    } 
    public static void main(String[] args) {
        PrintString("test", new Lambda().new Lambda$$0());
    }
}

异或是这种匿名内部类实现,代码如下所示:

@FunctionalInterface
interface Print<T> {
    public void print(T x);
}
public class Lambda {   
    public static void PrintString(String s, 
            Print<String> print) {
        print.print(s);
    }
    public static void main(String[] args) {
        PrintString("test", new Print<String>() {
            @Override
            public void print(String x) {
                System.out.println(x);
            }
        });
    }
}

上面的代码,除了在代码长度上长了点外,与用 Lambda 表达式实现的代码运行结果是一样的,那么 Java 8 到底是用什么方式实现的呢? 是不是上面三种实现方式中的一种呢,你也许觉的自已想的是对的,其实本来也就是对的,在 Java 8 中采用的是内部类来实现 Lambda 表达式。



那么 Lambda 表达式到底是如何实现的呢?

为了探究 Lambda 表达式是如何实现的,就得需要研究 Lambda 表过式最终转化成的字节码文件,这就需要 jdk 的 bin 目录下的一个字节码查看工具及反编译工具:

推荐下自己做的 Spring boot 的实战项目:
https://gitee.com/yoodb/jing-xuan

javap -p Lambda.class

上面命令中的 -p 表示输出所有类及成员,运行上面的命令后,得的结果如下所示:

Compiled from "Lambda.java"
public class Lambda {
  public Lambda();
  public static void PrintString(java.lang.String, Print<java.lang.String>);
  public static void main(java.lang.String[]);
  private static void lambda$0(java.lang.String);
}

由上面的代码可以看出编译器会根据 Lambda 表达式生成一个私有的静态函数,注意,在这里说的是生成,而不是等价:

private static void lambda$0(java.lang.String);

为了验证上面的转化是否正确? 我们在代码中定义一个 lambda$0 这个的函数,最终代码如下所示:

@FunctionalInterface
interface Print<T> {
    public void print(T x);
}

public class Lambda {   
    public static void PrintString(String s, 
            Print<String> print) {
        print.print(s);
    }
    private static void lambda$0(String s) {
    }
    public static void main(String[] args) {
        PrintString("test", (x) -> System.out.println(x));
    }
}

上面的代码在编译时不会报错,但是运行时就会报错,因为存在两个 lambda$0 函数,如下所示,是运行时的错误:

Exception in thread "main" java.lang.ClassFormatError: Duplicate method name&signature in class file Lambda
    at java.lang.ClassLoader.defineClass1(Native Method)
    at java.lang.ClassLoader.defineClass(ClassLoader.java:760)
    at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142)
    at java.net.URLClassLoader.defineClass(URLClassLoader.java:467)
    at java.net.URLClassLoader.access$100(URLClassLoader.java:73)
    at java.net.URLClassLoader$1.run(URLClassLoader.java:368)
    at java.net.URLClassLoader$1.run(URLClassLoader.java:362)
    at java.security.AccessController.doPrivileged(Native Method)
    at java.net.URLClassLoader.findClass(URLClassLoader.java:361)
    at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
    at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:331)
    at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
    at sun.launcher.LauncherHelper.checkAndLoadMain(LauncherHelper.java:495)

通过 javap 对上述错误代码进行反编译,反编译之后输出的类的成员如下所示:

Compiled from "Lambda.java"
public class Lambda {
  public Lambda();
  public static void PrintString(java.lang.String, Print<java.lang.String>);
  private static void lambda$0(java.lang.String);
  public static void main(java.lang.String[]);
  private static void lambda$0(java.lang.String);
}

会发现 lambda$0 出现了两次,那么在代码运行的时候,就不知道去调用哪个,因此就会抛错。

有了上面的内容,可以知道的是 Lambda 表达式在 Java 8 中首先会生成一个私有的静态函数,这个私有的静态函数干的就是 Lambda 表达式里面的内容,因此上面的代码初步可以转化成如下所示的代码:

@FunctionalInterface
interface Print<T> {
    public void print(T x);
}
public class Lambda {   
    public static void PrintString(String s, Print<String> print) {
        print.print(s);
    }

    private static void lambda$0(String x) {
        System.out.println(x);
    }

    public static void main(String[] args) {
        PrintString("test", /**lambda expression**/);
    }
}

转化成上面的形式之后,那么如何实现调用静态的 lambda$0 函数呢,在这里可以在以下方法打上断点,可以发现在有 lambda 表达式的地方,运行时会进入这个函数:

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();
}

在这个函数中可以发现为 Lambda 表达式生成了一个内部类,为了验证是否生成内部类,可以在运行时加上 -Djdk.internal.lambda.dumpProxyClasses,加上这个参数后,运行时,会将生成的内部类 class 码输出到一个文件中:

final class Lambda$$Lambda$1 implements Print {
  private Lambda$$Lambda$1();
  public void print(java.lang.Object);
}

如果运行 javap -c -p 则结果如下:

final class Lambda$$Lambda$1 implements Print {
  private Lambda$$Lambda$1();
    Code:
       0: aload_0
       1: invokespecial #10                 // Method java/lang/Object."<init>":()V
       4: return

  public void print(java.lang.Object);
    Code:
       0: aload_1
       1: checkcast     #14                 // class java/lang/String
       4: invokestatic  #20                 // Method Lambda.lambda$0:(Ljava/lang/String;)V
       7: return
}

通过上面的字节码指令可以发现实现上调用的是 Lambda.lambda$0 这个私有的静态方法。

推荐下自己做的 Spring Cloud 的实战项目:
https://gitee.com/yoodb/jingxuan-springcloud

因此最终的 Lambda 表达式等价于以下形式:

@FunctionalInterface
interface Print<T> {
    public void print(T x);
}
public class Lambda {   
    public static void PrintString(String s, Print<String> print) {
        print.print(s);
    }
    private static void lambda$0(String x) {
        System.out.println(x);
    }
    final class $Lambda$1 implements Print{
        @Override
        public void print(Object x) {
            lambda$0((String)x);
        }
    }
    public static void main(String[] args) {
        PrintString("test", new Lambda().new $Lambda$1());
    }
}

如上就是实现原理了!

作者:让猪再飞会

https://www.cnblogs.com/WJ5888/p/4667086.html

公众号“Java精选”所发表内容注明来源的,版权归原出处所有(无法查证版权的或者未注明出处的均来自网络,系转载,转载的目的在于传递更多信息,版权属于原作者。如有侵权,请联系,笔者会第一时间删除处理!

—— THE END ——


f7ad40085bdd61ea9e056a9f63b134d3.png

精品资料,超赞福利!

3224db1aa9ede5124cbe729044bb6a98.png

>Java精选面试题<

3000+ 道面试题在线刷,最新、最全 Java 面试题!

8874a19013756ba22ff4759e13288b15.png

540182a2220ce27bbab7d68650f0f6a7.png

期往精选  点击标题可跳转


【230期】Spring Boot 集成 Elasticsearch7.6 实现高亮分词及简单查询


【231期】Elasticsearch 在各大互联网公司大量真实的应用场景案例


【232期】面试官:如何保护 Spring Boot 配置文件敏感信息?


【233期】Java8 stream 处理 List 集合的相同部分(交集)、去重!


【234期】新来的同事问我 where 1=1 是什么意思?


【235期】不同并发场景下 LongAdder 与 AtomicLong 如何选择?


【236期】ElasticSearch 进阶:一文全览各种 ES 查询在 Java 中的实现


【237期】Java 8 判空新写法


17a22b9640490aa38a0e4ab3167c53b1.png


技术


交流群!


73af8d8e571a38218167628b340211ba.png

最近有很多人问,有没有

读者&异性

交流群,

你懂的

!想知道如何加入。加入方式很简单,有兴趣的同学,只需要点击下方卡片,回复“

加群

”,即可免费加入交流群!

文章有帮助的话,在看,转发吧!