Java8-13新特性中的Lambda表示式為什麼執行效率低

2020-10-29 11:01:21

前言

我為什麼說Lambda表示式執行效率低。

先準備一個list:

List<Integer> list = new ArrayList<>();
for (int i = 0; i < 10000; i++) {
    list.add(i);
}

先用Lambda表示式的方式來回圈一下這個list:

long lambdaStart = System.currentTimeMillis();
list.forEach(i -> {
    // 不用做事情,迴圈就夠了
});
long lambdaEnd = System.currentTimeMillis();
System.out.println("lambda迴圈執行毫秒數===" + (lambdaEnd - lambdaStart));

執行時間大概為110ms

再用普通方式來回圈一下這個list:

long normalStart = System.currentTimeMillis();
for (int i = 0; i < list.size(); i++) {
    // 不用做事情,迴圈就夠了
}
long normalEnd = System.currentTimeMillis();
System.out.println("普通迴圈執行毫秒數===" + (normalEnd - normalStart));

執行時間大概為0ms或1ms

你們沒看錯,執行時間差別就是這麼大,不相信的話大家可以自己去試一下,並且這並不是只有在迴圈時使用Lambda表示式才會導致執行效率低,而是Lambda表示式在執行時就是會需要額外的時間,我們繼續來分析。

分析

如果我們要研究Lambda表示式,最正確、最直接的方法就是檢視它所對應的位元組碼指令。

使用以下命令檢視class檔案對應的位元組碼指令:

javap -v -p Test.class

上述命令解析出來的指令非常多,我這裡提取比較重要的部分來給大家分析:

使用Lambda表示式所對應的位元組碼指令如下:

34: invokestatic  #6        // Method java/lang/System.currentTimeMillis:()J
37: lstore_2
38: aload_1
39: invokedynamic #7,  0    // InvokeDynamic #0:accept:()Ljava/util/function/Consumer;
44: invokeinterface #8,  2  // InterfaceMethod java/util/List.forEach:(Ljava/util/function/Consumer;)V
49: invokestatic  #6        // Method java/lang/System.currentTimeMillis:()J

不使用Lambda表示式所對應的位元組碼指令如下:

82: invokestatic  #6          // Method java/lang/System.currentTimeMillis:()J
85: lstore        6
87: iconst_0
88: istore        8
90: iload         8
92: aload_1
93: invokeinterface #17,  1   // InterfaceMethod java/util/List.size:()I
98: if_icmpge     107
101: iinc          8, 1
104: goto          90
107: invokestatic  #6         // Method java/lang/System.currentTimeMillis:()J

從上面兩種方式所對應的位元組碼指令可以看出,兩種方式的執行方式確實不太一樣。

迴圈流程

不使用Lambda表示式執行迴圈流程

位元組碼指令執行步驟:

82:invokestatic: 執行靜態方法,java/lang/System.currentTimeMillis:();
85-92: 簡單來說就是初始化資料,int i = 0;
93:invokeinterface:執行介面方法,介面為List,所以真正執行的是就是ArrayList.size方法;
98:if_icmpge: 比較,相當於執行i < list.size();
101:iinc: i++;
104:goto: 進行下一次迴圈;
107:invokestatic: 執行靜態方法;

那麼這個流程大家應該問題不大,是一個很正常的迴圈邏輯。

使用Lambda表示式執行迴圈流程
我們再來看一下對應的位元組碼指令:

34: invokestatic  #6        // Method java/lang/System.currentTimeMillis:()J
37: lstore_2
38: aload_1
39: invokedynamic #7,  0    // InvokeDynamic #0:accept:()Ljava/util/function/Consumer;
44: invokeinterface #8,  2  // InterfaceMethod java/util/List.forEach:(Ljava/util/function/Consumer;)V
49: invokestatic  #6        // Method java/lang/System.currentTimeMillis:()J

位元組碼指令執行步驟:

  • 34: invokestatic: 執行靜態方法,java/lang/System.currentTimeMillis:();
  • 37-38: 初始化資料
  • 39: invokedynamic: 這是在幹什麼?
  • 44: invokeinterface: 執行java/util/List.forEach()方法
  • 49: invokestatic: 執行靜態方法,java/lang/System.currentTimeMillis:();

和上面正常回圈的方式的位元組碼指令不太一樣,我們認真的看一下這個位元組碼指令,這個流程並不像是一個迴圈的流程,而是一個方法順序執行的流程:

  • 先初始化一些資料
  • 執行invokedynamic指令(暫時這個指令是做什麼的)
  • 然後執行java/util/List.forEach()方法,所以真正的迴圈邏輯在這裡

所以我們可以發現,使用Lambda表示式迴圈時,在迴圈前會做一些其他事情,所以導致執行時間要更長一點。

那麼invokedynamic指令到底做了什麼事情呢?

java/util/List.forEach方法接收一個引數Consumer<? super T> action,Consumer是一個介面,所以如果要呼叫這個方法,就要傳遞該介面型別的物件。

而我們在程式碼裡實際上是傳遞的一個Lambda表示式,那麼我們這裡可以假設:需要將Lambda表示式轉換成物件,且該物件的型別需要根據該Lambda表示式所使用的地方在編譯時期進行反推。

這裡在解釋一下反推:一個Lambda表示式是可以被多個方法使用的,而且這個方法所接收的引數型別,也就是函數式介面,是可以不一樣的,只要函數式介面符合該Lambda表示式的定義即可。

本例中,編譯器在編譯時可以反推出,Lambda表示式對應一個Cosumer介面型別的物件。

那麼如果要將Lambda表示式轉換成一個物件,就需要有一個類實現Consumer介面。

所以,現在的問題就是這個類是什麼時候生成的,並且生成在哪裡了?

所以,我們慢慢的應該能夠想到,invokedynamic指令,它是不是就是先將Lambda表示式轉換成某個類,然後生成一個範例以便提供給forEach方法呼叫呢?

我們回頭再看一下invokedynamic指令:

invokedynamic #7,  0    // InvokeDynamic #0:accept:()Ljava/util/function/Consumer;

Java中呼叫函數有四大指令:invokevirtual、invokespecial、invokestatic、invokeinterface,在JSR 292 新增了一個新的指令invokedynamic,這個指令表示執行動態語言,也就是Lambda表示式。

該指令註釋中的#0表示的是BootstrapMethods中的第0個方法:

BootstrapMethods:
  0: #60 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;
    Method arguments:
      #61 (Ljava/lang/Object;)V
      #62 invokestatic com/luban/Test.lambda$main$0:(Ljava/lang/Integer;)V
      #63 (Ljava/lang/Integer;)V

所以invokedynamic執行時,實際上就是執行BootstrapMethods中的方法,比如本例中的: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();
    }

這個方法中用到了一個特別明顯且易懂的類:InnerClassLambdaMetafactory。

這個類是一個針對Lambda表示式生成內部類的工廠類。當呼叫buildCallSite方法是會生成一個內部類並且生成該類的一個範例。

那麼現在要生成一個內部類,需要一些什麼條件呢:

類名:可按一些規則生成
類需要實現的介面:編譯時就已知了,本例中就是Consumer介面
實現介面裡面的方法:本例中就是Consumer介面的void accept(T t)方法。

那麼內部類該怎麼實現void accept(T t)方法呢?

我們再來看一下javap -v -p Test.class的結果中除開我們自己實現的方法外還多了一個方法:

private static void lambda$main$0(java.lang.Integer);
    descriptor: (Ljava/lang/Integer;)V
    flags: ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC
    Code:
      stack=0, locals=1, args_size=1
         0: return
      LineNumberTable:
        line 25: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       1     0     i   Ljava/lang/Integer;

很明顯,這個靜態的lambda$main$0方法代表的就是我們寫的Lambda表示式,只是因為我們例子中Lambda表示式沒寫什麼邏輯,所以這段位元組碼指令Code部分也沒有什麼內容。

那麼,我們現在在實現內部類中的void accept(T t)方法時,只要呼叫一個這個lambda$main$0靜態方法即可。

所以到此,一個內部類就可以被正常的實現出來了,內部類有了之後,Lambda表示式就是可以被轉換成這個內部類的物件,就可以進行迴圈了。

創作不易,覺得寫的不錯的,還請三連評論一下