Java 8 動態(tài)類型語言Lambda表達式實現(xiàn)原理解析
Java 8支持動態(tài)語言，看到了很酷的Lambda表達式，對一直以靜態(tài)類型語言自居的Java，讓人看到了Java虛擬機可以支持動態(tài)語言的目標。
import java.util.function.Consumer;
public class Lambda {
public static void main(String[] args) {
Consumer<String> c = s -> System.out.println(s);
c.accept("hello lambda!");
}
}
剛看到這個表達式，感覺java的處理方式是屬于內部匿名類的方式
public class Lambda {
static {
System.setProperty("jdk.internal.lambda.dumpProxyClasses", ".");
}
public static void main(String[] args) {
Consumer<String> c = new Consumer<String>(){
@Override
public void accept(String s) {
System.out.println(s);
}
};
c.accept("hello lambda");
}
}
編譯的結果應該是Lambda.class , Lambda$1.class 猜測在支持動態(tài)語言java換湯不換藥，在最后編譯的時候生成我們常見的方式。
但是結果不是這樣的，只是產(chǎn)生了一個Lambda.class
反編譯吧，來看看真相是什么？
javap -v -p Lambda.class
注意 -p 這個參數(shù) -p 參數(shù)會顯示所有的方法，而不帶默認是不會反編譯private 的方法的
public Lambda();
descriptor: ()V
flags: ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
0: aload_0
1: invokespecial #21 // Method java/lang/Object."<init>":()V
4: return
LineNumberTable:
line 3: 0
LocalVariableTable:
Start Length Slot Name Signature
0 5 0 this LLambda;
public static void main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)V
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=2, locals=2, args_size=1
0: invokedynamic #30, 0 // InvokeDynamic #0:accept:()Ljava/util/function/Consumer;
5: astore_1
6: aload_1
7: ldc #31 // String hello lambda
9: invokeinterface #33, 2 // InterfaceMethod java/util/function/Consumer.accept:(Ljava/lang/Object;)V
14: return
LineNumberTable:
line 8: 0
line 9: 6
line 10: 14
LocalVariableTable:
Start Length Slot Name Signature
0 15 0 args [Ljava/lang/String;
6 9 1 c Ljava/util/function/Consumer;
LocalVariableTypeTable:
Start Length Slot Name Signature
6 9 1 c Ljava/util/function/Consumer<Ljava/lang/String;>;
private static void lambda$0(java.lang.String);
descriptor: (Ljava/lang/String;)V
flags: ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC
Code:
stack=2, locals=1, args_size=1
0: getstatic #46 // Field java/lang/System.out:Ljava/io/PrintStream;
3: aload_0
4: invokevirtual #50 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
7: return
LineNumberTable:
line 8: 0
LocalVariableTable:
Start Length Slot Name Signature
0 8 0 s Ljava/lang/String;
}
SourceFile: "Lambda.java"
BootstrapMethods:
0: #66 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:
#67 (Ljava/lang/Object;)V
#70 invokestatic Lambda.lambda$0:(Ljava/lang/String;)V
#71 (Ljava/lang/String;)V
InnerClasses:
public static final #77= #73 of #75; //Lookup=class java/lang/invoke/MethodHandles$Lookup of class java/lang/invoke/MethodHandles
在這里我們發(fā)現(xiàn)了幾個與我們常見的java不太一樣的地方，由于常量定義太多了，文章中就不貼出了
1. Invokedynamic 指令
Java的調用函數(shù)的四大指令（invokevirtual、invokespecial、invokestatic、invokeinterface)，通常方法的符號引用在靜態(tài)類型語言編譯時就能產(chǎn)生，而動態(tài)類型語言只有在運行期才能確定接收者類型，改變四大指令的語意對java的版本有很大的影響，所以在JSR 292 《Supporting Dynamically Typed Languages on the Java Platform》添加了一個新的指令
Invokedynamic
0: invokedynamic #30, 0 // InvokeDynamic #0:accept:()Ljava/util/function/Consumer;
#30 是代表常量#30 也就是后面的注釋InvokeDynamic #0:accept:()Ljava/util/function/Consumer;
0 是占位符號，目前無用
2. BootstrapMethods
每一個invokedynamic指令的實例叫做一個動態(tài)調用點(dynamic call site), 動態(tài)調用點最開始是未鏈接狀態(tài)(unlinked:表示還未指定該調用點要調用的方法), 動態(tài)調用點依靠引導方法來鏈接到具體的方法. 引導方法是由編譯器生成, 在運行期當JVM第一次遇到invokedynamic指令時, 會調用引導方法來將invokedynamic指令所指定的名字(方法名,方法簽名)和具體的執(zhí)行代碼(目標方法)鏈接起來, 引導方法的返回值永久的決定了調用點的行為.引導方法的返回值類型是java.lang.invoke.CallSite, 一個invokedynamic指令關聯(lián)一個CallSite, 將所有的調用委托到CallSite當前的target(MethodHandle)
InvokeDynamic #0 就是BootstrapMethods表示#0的位置
0: #66 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: #67 (Ljava/lang/Object;)V #70 invokestatic Lambda.lambda$0:(Ljava/lang/String;)V #71 (Ljava/lang/String;)V
我們看到調用了LambdaMetaFactory.metafactory 的方法
參數(shù):
LambdaMetafactory.metafactory(Lookup, String, MethodType, MethodType, MethodHandle, MethodType)有六個參數(shù), 按順序描述如下
1. MethodHandles.Lookup caller : 代表查找上下文與調用者的訪問權限, 使用invokedynamic指令時, JVM會自動自動填充這個參數(shù)
2. String invokedName : 要實現(xiàn)的方法的名字, 使用invokedynamic時, JVM自動幫我們填充(填充內容來自常量池InvokeDynamic.NameAndType.Name), 在這里JVM為我們填充為 "apply", 即Consumer.accept方法名.
3. MethodType invokedType : 調用點期望的方法參數(shù)的類型和返回值的類型(方法signature). 使用invokedynamic指令時, JVM會自動自動填充這個參數(shù)(填充內容來自常量池InvokeDynamic.NameAndType.Type), 在這里參數(shù)為String, 返回值類型為Consumer, 表示這個調用點的目標方法的參數(shù)為String, 然后invokedynamic執(zhí)行完后會返回一個即Consumer實例.
4. MethodType samMethodType : 函數(shù)對象將要實現(xiàn)的接口方法類型, 這里運行時, 值為 (Object)Object 即 Consumer.accept方法的類型(泛型信息被擦除).#67 (Ljava/lang/Object;)V
5. MethodHandle implMethod : 一個直接方法句柄(DirectMethodHandle), 描述在調用時將被執(zhí)行的具體實現(xiàn)方法 (包含適當?shù)膮?shù)適配, 返回類型適配, 和在調用參數(shù)前附加上捕獲的參數(shù)), 在這里為 #70 invokestatic Lambda.lambda$0:(Ljava/lang/String;)V 方法的方法句柄.
6. MethodType instantiatedMethodType : 函數(shù)接口方法替換泛型為具體類型后的方法類型, 通常和 samMethodType 一樣, 不同的情況為泛型:
比如函數(shù)接口方法定義為 void accept(T t) T為泛型標識, 這個時候方法類型為(Object)Void, 在編譯時T已確定, 即T由String替換, 這時samMethodType就是 (Object)Void, 而instantiatedMethodType為(String)Void.
第4, 5, 6 三個參數(shù)來自class文件中的. 如上面引導方法字節(jié)碼中Method arguments后面的三個參數(shù)就是將應用于4, 5, 6的參數(shù).
Method arguments: #67 (Ljava/lang/Object;)V #70 invokestatic Lambda.lambda$0:(Ljava/lang/String;)V #71 (Ljava/lang/String;)V
我們來看metafactory 的方法里的實現(xiàn)代碼
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();
}
在buildCallSite的函數(shù)中
CallSite buildCallSite() throws LambdaConversionException {
final Class<?> innerClass = spinInnerClass();
函數(shù)spinInnerClass 構建了這個內部類，也就是生成了一個Lambda$$Lambda$1/716157500 這樣的內部類,這個類是在運行的時候構建的，并不會保存在磁盤中，如果想看到這個構建的類，可以通過設置環(huán)境參數(shù)
System.setProperty("jdk.internal.lambda.dumpProxyClasses", ".");
會在你指定的路徑 . 當前運行路徑上生成這個內部類
3.靜態(tài)類
Java在編譯表達式的時候會生成lambda$0靜態(tài)私有類，在這個類里實現(xiàn)了表達式中的方法塊 system.out.println(s);
private static void lambda$0(java.lang.String);
descriptor: (Ljava/lang/String;)V
flags: ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC
Code:
stack=2, locals=1, args_size=1
0: getstatic #46 // Field java/lang/System.out:Ljava/io/PrintStream;
3: aload_0
4: invokevirtual #50 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
7: return
LineNumberTable:
line 8: 0
LocalVariableTable:
Start Length Slot Name Signature
0 8 0 s Ljava/lang/String;
當然了在上一步通過設置的jdk.internal.lambda.dumpProxyClasses里生成的Lambda$$Lambda$1.class
public void accept(java.lang.Object);
descriptor: (Ljava/lang/Object;)V
flags: ACC_PUBLIC
Code:
stack=1, locals=2, args_size=2
0: aload_1
1: checkcast #15 // class java/lang/String
4: invokestatic #21 // Method Lambda.lambda$0:(Ljava/lang/String;)V
7: return
RuntimeVisibleAnnotations:
0: #13()
調用了Lambda.lambda$0靜態(tài)函數(shù)，也就是表達式中的函數(shù)塊
總結
這樣就完成的實現(xiàn)了Lambda表達式，使用invokedynamic指令，運行時調用LambdaMetafactory.metafactory動態(tài)的生成內部類，實現(xiàn)了接口，內部類里的調用方法塊并不是動態(tài)生成的，只是在原class里已經(jīng)編譯生成了一個靜態(tài)的方法，內部類只需要調用該靜態(tài)方法
以上所述是小編給大家介紹的Java 8 動態(tài)類型語言Lambda表達式實現(xiàn)原理解析，希望對大家有所幫助，如果大家有任何疑問請給我留言，小編會及時回復大家的。在此也非常感謝大家對腳本之家網(wǎng)站的支持！
相關文章
攔截器（Interceptor）是一種動態(tài)攔截方法調用的機制，在SpringMVC中動態(tài)攔截控制器方法的執(zhí)行。本文將詳細講講SpringMVC中攔截器參數(shù)及攔截器鏈配置，感興趣的可以嘗試一下2022-09-09
SpringBoot整合Redis實現(xiàn)高并發(fā)數(shù)據(jù)緩存的示例講解
這篇文章主要介紹了SpringBoot整合Redis實現(xiàn)高并發(fā)數(shù)據(jù)緩存,本文通過實例代碼給大家介紹的非常詳細，對大家的學習或工作具有一定的參考借鑒價值，需要的朋友可以參考下2023-03-03
Spring Boot + Mybatis多數(shù)據(jù)源和動態(tài)數(shù)據(jù)源配置方法
最近做項目遇到這樣的應用場景，項目需要同時連接兩個不同的數(shù)據(jù)庫A, B，并且它們都為主從架構，一臺寫庫，多臺讀庫。下面小編給大家?guī)砹薙pring Boot + Mybatis多數(shù)據(jù)源和動態(tài)數(shù)據(jù)源配置方法，需要的朋友參考下吧2018-01-01
本文分享了java ZXing生成二維碼及條碼的實例代碼，具有很好的參考價值，需要的朋友一起來看下吧2016-12-12
本文主要介紹了JPA與mybatis-plus不兼容問題的解決，文中通過示例代碼介紹的非常詳細，對大家的學習或者工作具有一定的參考學習價值，需要的朋友們下面隨著小編來一起學習學習吧2023-02-02
這篇文章主要介紹了springboot添加AOP日志配置詳解,日志是一種在軟件開發(fā)中常用的技術,用于記錄和跟蹤應用程序的運行過程,通過AOP日志,開發(fā)人員可以實時監(jiān)控應用程序的行為,包括方法的調用、參數(shù)的傳遞和返回值的獲取等,需要的朋友可以參考下2023-10-10
這篇文章主要介紹了Spring中的aware接口詳情，Spring中有很多繼承于aware中的接口，這些接口到底是做什么用到的，下面我們就一起來看看吧，文章詳細內容需要的小伙伴可以參考一下2022-05-05
這篇文章主要介紹了在idea 中添加和刪除模塊Module操作，具有很好的參考價值，希望對大家有所幫助。一起跟隨小編過來看看吧2020-08-08
在Spring Cloud 中微服務之間的調用會用到Feign,但是在默認情況下,Feign 調用遠程服務存在Header請求頭丟失問題,下面給大家分享SpringCloud微服務調用丟失請求頭的問題及解決方案,感興趣的朋友一起看看吧2024-02-02
SpringMVC?bean實現(xiàn)加載控制方法詳解
SpringMVC是一種基于Java，實現(xiàn)了Web?MVC設計模式，請求驅動類型的輕量級Web框架，即使用了MVC架構模式的思想，將Web層進行職責解耦?；谡埱篁寗又傅木褪鞘褂谜埱?響應模型，框架的目的就是幫助我們簡化開發(fā)，SpringMVC也是要簡化我們日常Web開發(fā)2022-08-08