程序員最重要的是思想，知其然知其所以然。
小編想問，你從一開始就在使用Java嗎？你是否還記得Java被稱作為”O(jiān)ak”的時期？那時，面向?qū)ο笕匀皇且粋€熱門的話題，使用C++的人們都認(rèn)為Java沒有任何機(jī)會，Applets 也只是一件事情。
重載僅返回類型不同的方法
這樣的代碼無法編譯，對不？
class Test {
Object x() { return "abc"; }
String x() { return "123"; }
}
對。 Java 語言不允許兩個方法在同一個類中“等效重載”，而忽略其諸如throws自居或返回類型等的潛在的差異。
查看 Class.getMethod(String, Class…) 的 Javadoc。 其中說明如下：
請注意，類中可能有多個匹配方法，因為 Java 語言禁止在一個類聲明具有相同簽名但返回類型不同的多個方法，但 Java 虛擬機(jī)并不是如此。虛擬機(jī)中增加的靈活性可以用于實現(xiàn)各種語言特征。例如，可以用橋接方法實現(xiàn)協(xié)變參返回; 橋接方法和被重寫的方法將具有相同的簽名但擁有不同的返回類型。
小編推薦一個學(xué)JAVA的學(xué)習(xí)裙【 一三三，九三零，六九三】，無論你是大牛還是小白，是想轉(zhuǎn)行還是想入行都可以來了解一起進(jìn)步一起學(xué)習(xí)！裙內(nèi)有開發(fā)工具，很多干貨和技術(shù)資料分享
哇哦，有道理。實際上下面的代碼暗藏著很多事情：
abstract class Parent {
abstract T x();
}
class Child extends Parent {
@Override
String x() { return "abc"; }
}
來看看為 Child 生成的字節(jié)碼：
// Method descriptor #15 ()Ljava/lang/String;
// Stack: 1, Locals: 1
java.lang.String x();
0 ldc [16]
2 areturn
Line numbers:
[pc: 0, line: 7]
Local variable table:
[pc: 0, pc: 3] local: this index: 0 type: Child
// Method descriptor #18 ()Ljava/lang/Object;
// Stack: 1, Locals: 1
bridge synthetic java.lang.Object x();
0 aload_0 [this]
1 invokevirtual Child.x() : java.lang.String [19]
4 areturn
小編推薦一個學(xué)JAVA的學(xué)習(xí)裙【 一三三，九三零，六九三】，無論你是大牛還是小白，是想轉(zhuǎn)行還是想入行都可以來了解一起進(jìn)步一起學(xué)習(xí)！裙內(nèi)有開發(fā)工具，很多干貨和技術(shù)資料分享Line numbers:
[pc: 0, line: 1]
其實在字節(jié)碼中 T 真的只是 Object。這很好理解。合成的橋方法實際是由編譯器生成的，因為 Parent.x() 簽名中的返回類型在實際調(diào)用的時候正好是 Object。在沒有這種橋方法的情況下引入泛型將無法在二進(jìn)制下兼容。因此，改變 JVM 來允許這個特性所帶來的痛苦會更小(副作用是允許協(xié)變凌駕于一切之上) 很聰明，不是嗎？
Target Type 目標(biāo)類型
Java Compiler 會根據(jù)你指定的目標(biāo)類型來推斷（infers)出method該返回哪種類型的結(jié)果，例如：
Collections.emptyList
static List emptyList(); //這個方法沒有參數(shù)，只有一個T類型的返回類型，那么我不能傳入?yún)?shù)這個方法是如何知道用什么返回類型的呢，這就是target type
List listOne = Collections.emptyList();小編推薦一個學(xué)JAVA的學(xué)習(xí)裙【 一三三，九三零，六九三】，無論你是大牛還是小白，是想轉(zhuǎn)行還是想入行都可以來了解一起進(jìn)步一起學(xué)習(xí)！裙內(nèi)有開發(fā)工具，很多干貨和技術(shù)資料分享
listOne是一個List類型的變量，Java Compiler會根據(jù)這個目標(biāo)類型來推斷出emptyList method應(yīng)該返回這個類型，這種類型推斷依賴于assignment context，也就是說我要賦給哪個變量，它是什么類型我就返回什么類型。
一句話總結(jié)就是：Java 恰好是一種看起來神秘的語言，其實不然。
