我為什麼說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
位元組碼指令執行步驟:
和上面正常回圈的方式的位元組碼指令不太一樣,我們認真的看一下這個位元組碼指令,這個流程並不像是一個迴圈的流程,而是一個方法順序執行的流程:
所以我們可以發現,使用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表示式就是可以被轉換成這個內部類的物件,就可以進行迴圈了。
創作不易,覺得寫的不錯的,還請三連評論一下