如果你認(rèn)為你對(duì)java的重載和重寫(xiě)已經(jīng)很了解了，那么我想通過(guò)下面的例子你可能會(huì)感到懷疑人生了。如果你能完全回答對(duì)下面的題目，那我覺(jué)得你真的非常非常牛X了。

[[349661]]

單一調(diào)度

class Parent { 
  void print(String a) { log.info("Parent - String"); } 
  void print(Object a) { log.info("Parent - Object"); } 
} 
  
class Child extends Parent { 
  void print(String a) { log.info("Child - String"); } 
  void print(Object a) { log.info("Child - Object"); } 
} 

下面將會(huì)打印什么?

String string = ""; 
Object stringstringObject = string; 
  
// 打印什么？ 
Child child = new Child(); 
child.print(string); 
child.print(stringObject); 
  
Parent parent = new Child(); 
parent.print(string); 
parent.print(stringObject); 

答案：

child.print(string);        // 打印: "Child - String" 
child.print(stringObject);  // 打印: "Child - Object" 
  
parent.print(string);       // 打印: "Child - String" 
parent.print(stringObject); // 打印: "Child - Object" 

print(string)和 parent.print(string)是 Java 面向?qū)ο蟪绦蛟O(shè)計(jì)的教科書(shū)示例。被調(diào)用的方法取決于實(shí)際的實(shí)例類(lèi)型，而不是聲明的實(shí)例類(lèi)型。例如，無(wú)論你將變量定義為 Child 還是 Parent，因?yàn)閷?shí)際的實(shí)例類(lèi)型是 Child，都將調(diào)用 Child: : print。

第二組則更為復(fù)雜，因?yàn)槎际峭耆嗤淖址Ｎㄒ坏膮^(qū)別是字符串被聲明為 String，而 stringObject 被聲明為 Object。在處理方法參數(shù)時(shí)，重要的是參數(shù)的聲明類(lèi)型，而不是它的實(shí)際類(lèi)型。即使實(shí)際參數(shù)類(lèi)型是 String，也會(huì)調(diào)用 print (Object)

隱式重寫(xiě)

class Parent { 
  void print(Object a) { log.info("Parent - Object"); } 
} 
  
class Child extends Parent { 
  void print(String a) { log.info("Child - String"); } 
} 

打印什么?

String string = ""; 
Parent parent = new Child(); 
parent.print(string); 

答案：

parent.print(string);  // 打印: "Parent - Object" 

實(shí)際的實(shí)例類(lèi)型是 Child，聲明的參數(shù)類(lèi)型是 String，我們確實(shí)有一個(gè)為 Child: : print (String)定義的方法。實(shí)際上，這正是在前一個(gè)示例中調(diào)用 parent.print (string)時(shí)選擇的內(nèi)容。但是，這并不是在這里調(diào)用的方法。

在檢查子類(lèi)重寫(xiě)之前，Java 似乎首先選擇要調(diào)用哪個(gè)方法。在這種情況下，聲明的實(shí)例類(lèi)型是 Parent，Parent 中唯一匹配的方法是 Parent: : print (Object)。然后，當(dāng) Java 檢查 Parent: : print (Object)的任何潛在重寫(xiě)時(shí)，它沒(méi)有找到任何重寫(xiě)，因此這就是執(zhí)行的方法。

顯式重寫(xiě)

class Parent { 
  void print(Object a) { log.info("Parent - Object!"); } 
  void print(String a) { throw new RuntimeException(); } 
} 
  
class Child extends Parent { 
  void print(String a) { log.info("Child - String!"); } 
} 

打印什么?

String string = ""; 
Parent parent = new Child(); 
parent.print(string); 

答案:

parent.print(string);  // 打印: "Child - String!" 

這個(gè)示例與前面的示例之間的唯一區(qū)別是，我們添加了一個(gè)新的 Parent: : print (String)方法。這個(gè)方法實(shí)際上從來(lái)沒(méi)有被執(zhí)行過(guò)——如果它運(yùn)行了，它會(huì)拋出一個(gè)異常!然而，它的存在使 Java 執(zhí)行了一個(gè)不同的方法。

在計(jì)算 Parent.print (String)時(shí)，運(yùn)行時(shí)現(xiàn)在找到一個(gè)匹配的 Parent: : print (String)方法，然后看到這個(gè)方法被 Child: : print (String)重寫(xiě)。

模糊參數(shù)

class Foo { 
  void print(Cloneable a) { log.info("I am cloneable!"); } 
  void print(Map a) { log.info("I am Map!"); } 
} 

下面打印的是什么?

HashMap cloneableMap = new HashMap(); 
Cloneable cloneable = cloneableMap; 
Map map = cloneableMap; 
  
// What gets printed? 
Foo foo = new Foo(); 
foo.print(map); 
foo.print(cloneable); 
foo.print(cloneableMap); 

答案：

foo.print(map);           // 打印: "I am Map!" 
foo.print(cloneable);     // 打印: "I am cloneable!" 
foo.print(cloneableMap);  // 編譯不通過(guò) 

與單一調(diào)度示例類(lèi)似，這里重要的是參數(shù)的聲明類(lèi)型，而不是實(shí)際類(lèi)型。另外，如果有多個(gè)方法對(duì)于給定的參數(shù)同樣有效，Java會(huì)拋出一個(gè)編譯錯(cuò)誤，并強(qiáng)制你指定應(yīng)該調(diào)用哪個(gè)方法。

多重繼承-接口

interface Father { 
  default void print() { log.info("I am Father!"); } 
} 
  
interface Mother { 
  default void print() { log.info("I am Mother!"); } 
} 
  
class Child implements Father, Mother {} 

下面打印的是什么?

new Child().print(); 

與前面的示例類(lèi)似，這個(gè)示例也編譯不通過(guò)。具體地說(shuō)，Child 的類(lèi)定義本身將無(wú)法編譯，因?yàn)樵?Father 和 Mother 中存在沖突的缺省方法。你需要修改 Child 類(lèi)指定 Child: : print 的行為。

多重繼承-類(lèi)和接口

class ParentClass { 
  void print() { log.info("I am a class!"); } 
} 
  
interface ParentInterface { 
  default void print() { log.info("I am an interface!"); } 
} 
  
class Child extends ParentClass implements ParentInterface {} 

打印什么?

new Child().print(); 

答案：

new Child().print();  // 打印: "I am a class!" 

如果類(lèi)和接口之間存在繼承沖突，那么類(lèi)方法優(yōu)先。

傳遞性重寫(xiě)

class Parent { 
  void print() { foo(); } 
  void foo() { log.info("I am Parent!"); } 
} 
  
class Child extends Parent { 
  void foo() { log.info("I am Child!"); } 
} 

打印什么?

new Child().print(); 

答案：

new Child().print();  // 打印: "I am Child!" 

重寫(xiě)方法甚至對(duì)傳遞調(diào)用也會(huì)生效，閱讀 Parent 類(lèi)的人可能認(rèn)為 Parent: : print 總是會(huì)調(diào)用 Parent: : foo。但是如果該方法被重寫(xiě)，那么 Parent: : print 將調(diào)用重寫(xiě)后的 foo ()版本。

私有重寫(xiě)

class Parent { 
  void print() { foo(); } 
  private void foo() { log.info("I am Parent!"); } 
} 
  
class Child extends Parent { 
  void foo() { log.info("I am Child!"); } 
} 

打印什么?

new Child().print(); 

答案：

new Child().print();  // 打印: "I am Parent!" 

除了一點(diǎn)不同之外，這個(gè)與前一個(gè)例子完全相同?，F(xiàn)在將 Parent.foo()聲明為 private。因此，當(dāng) Parent.print()調(diào)用 foo()時(shí)，不管子類(lèi)中是否存在 foo()的其他實(shí)現(xiàn)，也不管調(diào)用 print()的實(shí)例的實(shí)際類(lèi)型如何。

靜態(tài)重寫(xiě)

class Parent { 
  static void print() { log.info("I am Parent!"); } 
} 
  
class Child extends Parent { 
  static void print() { log.info("I am Child!"); } 
} 

打印什么?

Child child = new Child(); 
Parent parent = child; 
  
parent.print(); 
child.print(); 

答案:

parent.print(); // 打印: "I am Parent!" 
child.print();  // 打印: "I am Child!" 

Java 不允許重寫(xiě)靜態(tài)方法。如果在父類(lèi)和子類(lèi)中定義了相同的靜態(tài)方法，那么實(shí)例的實(shí)際類(lèi)型根本不重要。只有聲明的類(lèi)型用于確定調(diào)用兩個(gè)方法中的哪一個(gè)。

這是使用@override注解標(biāo)記所有重寫(xiě)方法的另一個(gè)原因。在上面的例子中，在向 Child: : print 添加注解時(shí)，你會(huì)得到一個(gè)編譯錯(cuò)誤，告訴你由于方法是靜態(tài)的，因此無(wú)法重寫(xiě)該方法。

靜態(tài)鏈接

class Parent { 
  void print() { staticMethod(); instanceMethod(); } 
  static void staticMethod() { log.info("Parent::staticMethod"); } 
  void instanceMethod() { log.info("Parent::instanceMethod"); } 
} 
  
class Child extends Parent { 
  static void staticMethod() { log.info("Child::staticMethod"); } 
  void instanceMethod() { log.info("Child::instanceMethod"); } 
} 

打印什么?

Child child = new Child(); 
child.print(); 

答案：

Parent::staticMethod 
Child::instanceMethod 

這是我們之前討論過(guò)的一些不同概念的組合。例如，即使調(diào)用方位于父方法中，重寫(xiě)也會(huì)生效。但是，對(duì)于靜態(tài)方法，即使變量的聲明類(lèi)型是 Child，也要調(diào)用 Parent: : staticMethod，因?yàn)橛兄虚g print ()方法。

總結(jié)

如果說(shuō)有什么值得注意的地方，那就是繼承非常非常棘手，而且很容易出錯(cuò)。