過載和重寫，里氏代換原則詳解
方法過載是指同一個類中的多個方法具有相同的名字,但這些方法具有不同的引數列表,即引數的數量或引數型別不能完全相同
方法重寫是存在子父類之間的,子類定義的方法與父類中的方法具有相同的方法名字,相同的引數表和相同的返回型別
注:
(1)子類中不能重寫父類中的final方法
(2)子類中必須重寫父類中的abstract方法
首先我們來講講：過載(Overloading)
（1） 方法過載是讓類以統一的方式處理不同型別資料的一種手段。多個同名函式同時存在，具有不同的引數個數/型別。
過載Overloading是一個類中多型性的一種表現。
（2） Java的方法過載，就是在類中可以建立多個方法，它們具有相同的名字，但具有不同的引數和不同的定義。
呼叫方法時通過傳遞給它們的不同引數個數和引數型別來決定具體使用哪個方法, 這就是多型性。
（3） 過載的時候，方法名要一樣，但是引數型別和個數不一樣，返回值型別可以相同也可以不相同。無法以返回型別作為過載函式的區分標準。
下面是過載的例子：
package c04.answer;//這是包名
//這是這個程式的第一種程式設計方法，在main方法中先建立一個Dog類例項，然後在Dog類的構造方法中利用this關鍵字呼叫不同的bark方法。
不同的過載方法bark是根據其引數型別的不同而區分的。
//注意：除構造器以外，編譯器禁止在其他任何地方中呼叫構造器。
package c04.answer;
public class Dog {
Dog()
{
this.bark();
}
void bark()//bark()方法是過載方法
{
System.out.println(\"no barking!\");
this.bark(\"female\", 3.4);
}
void bark(String m,double l)//注意：過載的方法的返回值都是一樣的，
{
System.out.println(\"a barking dog!\");
this.bark(5, \"China\");
}
void bark(int a,String n)//不能以返回值區分過載方法，而只能以“引數型別”和“類名”來區分
{
System.out.println(\"a howling dog\");
}
public static void main(String[] args)
{
Dog dog = new Dog();
//dog.bark(); [Page]
//dog.bark(\"male\", \"yellow\");
//dog.bark(5, \"China\");
然後我們再來談談 重寫（Overriding）
（1） 父類與子類之間的多型性，對父類的函式進行重新定義。如果在子類中定義某方法與其父類有相同的名稱和引數，我們說該方法被重寫 (Overriding)。在Java中，子類可繼承父類中的方法，而不需要重新編寫相同的方法。
但有時子類並不想原封不動地繼承父類的方法，而是想作一定的修改，這就需要採用方法的重寫。
方法重寫又稱方法覆蓋。
（2）若子類中的方法與父類中的某一方法具有相同的方法名、返回型別和引數表，則新方法將覆蓋原有的方法。
如需父類中原有的方法，可使用super關鍵字，該關鍵字引用了當前類的父類。
（3）子類函式的訪問修飾許可權不能少於父類的；
下面是重寫的例子：
概念：即呼叫物件方法的機制。
動態繫結的內幕：
1、編譯器檢查物件宣告的型別和方法名，從而獲取所有候選方法。試著把上例Base類的test註釋掉，這時再編譯就無法通過。
2、過載決策：編譯器檢查方法呼叫的引數型別，從上述候選方法選出唯一的那一個（其間會有隱含型別轉化）。
如果編譯器找到多於一個或者沒找到，此時編譯器就會報錯。試著把上例Base類的test(byte b)註釋掉，這時執行結果是1 1。
3、若方法型別為priavte static final ，java採用靜態編譯，編譯器會準確知道該呼叫哪
個方法。
4、當程式執行並且使用動態繫結來呼叫一個方法時，那麼虛擬機器必須呼叫物件的實際型別相匹配的方法版本。
在例子中，b所指向的實際型別是TestOverriding，所以b.test(0)呼叫子類的test。
但是，子類並沒有重寫test(byte b)，所以b.test((byte)0)呼叫的是父類的test(byte b)。
如果把父類的(byte b)註釋掉，則通過第二步隱含型別轉化為int,最終呼叫的是子類的test(int i)。
學習總結：
多型性是面向物件程式設計的一種特性，和方法無關，
簡單說，就是同樣的一個方法能夠根據輸入資料的不同，做出不同的處理，即方法的
過載——有不同的引數列表（靜態多型性）
而當子類繼承自父類的相同方法，輸入資料一樣，但要做出有別於父類的響應時，你就要覆蓋父類方法，
即在子類中重寫該方法——相同引數，不同實現（動態多型性）
OOP三大特性：繼承，多型，封裝。
public class Base
{
void test(int i)
{
System.out.print(i);
}
void test(byte b)
{
System.out.print(b);
}
}
public class TestOverriding extends Base
{
void test(int i)
{
i++;
System.out.println(i);
}
public static void main(String[]agrs)
{
Base b=new TestOverriding();
b.test(0)
b.test((byte)0)
}
}
這時的輸出結果是1 0，這是執行時動態繫結的結果。
重寫的主要優點是能夠定義某個子類特有的特徵：
public class Father{
public void speak(){
System.out.println(Father);
}
}
public class Son extends Father{
public void speak(){
System.out.println("son");
}
}
這也叫做多型性，重寫方法只能存在於具有繼承關係中，重寫方法只能重寫父類非私有的方法。
當上例中Father類speak()方法被private時，Son類不能重寫出Father類speak()方法，此時Son類speak()方法相當與在Son類中定義的一個speak()方法。
Father類speak()方法一但被final時，無論該方法被public,protected及預設所修飾時，Son類根本不能重寫Father類speak()方法，
試圖編譯程式碼時，編譯器會報錯。例：
public class Father{
final public void speak(){
System.out.println("Father");
}
}
public class Son extends Father{
public void speak(){
System.out.println("son");
}
} //編譯器會報錯；
Father類speak()方法被預設修飾時，只能在同一包中，被其子類被重寫，如果不在同一包則不能重寫。
Father類speak()方法被protoeted時，不僅在同一包中，被其子類被重寫，還可以不同包的子類重寫。
重寫方法的規則：
1、引數列表必須完全與被重寫的方法相同，否則不能稱其為重寫而是過載。
2、返回的型別必須一直與被重寫的方法的返回型別相同，否則不能稱其為重寫而是過載。
3、訪問修飾符的限制一定要大於被重寫方法的訪問修飾符（public>protected>default>private）
4、重寫方法一定不能丟擲新的檢查異常或者比被重寫方法申明更加寬泛的檢查型異常。例如：
父類的一個方法申明瞭一個檢查異常IOException，在重寫這個方法是就不能丟擲Exception,只能丟擲IOException的子類異常，可以丟擲非檢查異常。
而過載的規則：
1、必須具有不同的引數列表；
2、可以有不責罵的返回型別，只要引數列表不同就可以了；
3、可以有不同的訪問修飾符；
4、可以丟擲不同的異常；
重寫與過載的區別在於：
重寫多型性起作用，對呼叫被過載過的方法可以大大減少程式碼的輸入量，同一個方法名只要往裡面傳遞不同的引數就可以擁有不同的功能或返回值。
用好重寫和過載可以設計一個結構清晰而簡潔的類，可以說重寫和過載在編寫程式碼過程中的作用非同一般.
面試題：過載（Overload）和重寫（Override）的區別。過載的方法能否根據返回型別進行區分？
答：方法的過載和重寫都是實現多型的方式，區別在於前者實現的是編譯時的多型性，而後者實現的是執行時的多型性。過載發生在一個類中，同名的方法如果有不同的引數列表（引數型別不同、引數個數不同或者二者都不同）則視為過載；重寫發生在子類與父類之間，重寫要求子類被重寫方法與父類被重寫方法有相同的引數列表，有相容的返回型別，比父類被重寫方法更好訪問，不能比父類被重寫方法宣告更多的異常（里氏代換原則）。過載對返回型別沒有特殊的要求，不能根據返回型別進行區分。
里氏代換原則：
所有引用基類的地方必須能透明的使用其子類的物件。
例：我喜歡吃水果，那麼我肯定喜歡吃蘋果，但是如果我喜歡吃蘋果，那就不能判定我喜歡吃所有水果。
里氏代換原則是實現開閉原則的重要方式之一。由於所有引用基類的地方必須能透明的使用其子類的物件，所以在程式中使用父類對物件進行定義，而在執行時再用具體子類替換父類物件。
在運用里氏代換原則時應將父類設計為抽象類或者介面，讓子類繼承或者實現父類的方法。這樣方便對程式碼擴充套件，更好地實現開閉原則。
Overload（過載）
（1） 過載Overload是一個類中多型性的一種表現。是編譯時的多型性。方法過載是讓類以統一的方式處理不同型別資料的一種手段。過載發生在一個類中，同名的方法如果有不同的引數列表（引數型別不同、引數個數不同或者二者都不同）則視為過載。
（2） Java的方法過載，就是在類中可以建立多個方法，它們具有相同的名字，但具有不同的引數列表。呼叫方法時通過傳遞給它們的不同引數個數和引數型別來決定具體使用哪個方法, 這就是多型性。
（3） 過載的時候，返回值型別可以相同也可以不相同。無法以返回型別作為過載函式的區分標準。
（4） 不能通過訪問許可權、返回型別、丟擲的異常進行過載；
（5） 方法的異常型別和數目不會對過載造成影響；
Override（重寫、覆蓋）
（1） 父類與子類之間的多型性，對父類的函式進行重新定義。是執行時的多樣性。如果在子類中定義某方法與其父類有相同的名稱和引數，我們說該方法被重寫 (Override)。在Java中，子類可繼承父類中的方法，而不需要重新編寫相同的方法。但有時子類並不想原封不動地繼承父類的方法，而是想作一定的修改，這就需要採用方法的重寫。方法重寫又稱方法覆蓋。
（2）若子類中的方法與父類中的某一方法具有相同的方法名、引數列表和相容的返回型別，則新方法將覆蓋原有的方法。如需父類中原有的方法，可使用super關鍵字，該關鍵字引用了當前類的父類。
（3）子類函式的訪問修飾許可權不能少於父類的。
普通的方法繼承：
class Parent {
public Parent make(int i) {
System.out.println("Parent int: "+i);
return null;
}
}
class Child extends Parent{
}
public class OverrideTest {
public static void main(String []args){
Parent p = new Parent();
Child c = new Child();
p.make(1); //Parent int: 1
p.make(new Integer(1)); //Parent int: 1
c.make(1); //Parent int: 1
c.make(new Integer(1)); //Parent int: 1
}
}
普通的過載，引數列表相同，返回值相同
class Parent {
public Parent make(int i) {
System.out.println("Parent int: "+i);
return null;
}
}
class Child extends Parent{
@Override
public Parent make(int i) {
System.out.println("Child int: "+i);
return null;
}
}
public class OverrideTest {
public static void main(String []args){
Parent p = new Parent();
Child c = new Child();
p.make(1); //Parent int: 1
p.make(new Integer(1)); //Parent int: 1
c.make(1); //Child int: 1
c.make(new Integer(1)); //Child int: 1
}
}
過載，但是子類的返回型別是父類被重寫方法的子類，即重寫返回方法相容，編譯通過。
class Parent {
public Parent make(int i) {
System.out.println("Parent int: "+i);
return null;
}
}
class Child extends Parent{
@Override
public Child make(int i) {
System.out.println("Child int: "+i);
return null;
}
}
public class OverrideTest {
public static void main(String []args){
Parent p = new Parent();
Child c = new Child();
p.make(1); //Parent int: 1
p.make(new Integer(1)); //Parent int: 1
c.make(1); //Child int: 1
c.make(new Integer(1)); //Child int: 1
}
}
突然想到一道int和Integer的面試題，Integer的自動拆箱與裝箱，不知道如果把Child的方法引數由int改成Integer會如何，發現編譯出錯，可見引數列表需要完全相同。
class Parent {
public Parent make(int i) {
System.out.println("Parent int: "+i);
return null;
}
}
class Child extends Parent{
@Override
public Child make(Integer i) { //編譯出錯
System.out.println("Child Integer: "+i);
return null;
}
}
不重寫make(int)方法，另寫一個make(Integer)方法（此處應該算過載了，繼承了父類的make(int)方法，而make(Integer)引數列表不同）：
class Parent {
public Parent make(int i) {
System.out.println("Parent int: "+i);
return null;
}
}
class Child extends Parent{
public Child make(Integer i) {
System.out.println("Child Integer: "+i);
return null;
}
}
public class OverrideTest {
public static void main(String []args){
Parent p = new Parent();
Child c = new Child();
p.make(1); //Parent int: 1
p.make(new Integer(1)); //Parent int: 1
c.make(1); //Parent int: 1
c.make(new Integer(1)); //Child Integer: 1
}
}
此時c.make(new Integer(1))則呼叫Child.make(Integer)方法，不會拆包並呼叫父類Father.make(int)方法。
重寫make(int)方法，並編寫make(Integer)方法：
class Parent {
public Parent make(int i) {
System.out.println("Parent int: "+i);
return null;
}
}
class Child extends Parent{
@Override
public Parent make(int i) {
System.out.println("Child int: "+i);
return null;
}
public Child make(Integer i) {
System.out.println("Child Integer: "+i);
return null;
}
}
public class OverrideTest {
public static void main(String []args){
Parent p = new Parent();
Child c = new Child();
p.make(1); //Parent int: 1
p.make(new Integer(1)); //Parent int: 1
c.make(1); //Child int: 1
c.make(new Integer(1)); //Child Integer: 1
}
}
此處Child.make(Integer)和Child.make(int)過載，上面是Child繼承自Father的make(int)和Child自己的make(int)過載。
總結：
重寫（覆蓋）的規則：
1、重寫方法的引數列表必須完全與被重寫的方法的相同,否則不能稱其為重寫而是過載.
2、重寫方法的訪問修飾符一定要大於被重寫方法的訪問修飾符（public>protected>default>private）。
3、重寫的方法的返回值必須和被重寫的方法的返回一致或者相容；
4、重寫的方法所丟擲的異常必須和被重寫方法的所丟擲的異常一致，或者是其子類；
5、被重寫的方法不能為private，否則在其子類中只是新定義了一個方法，並沒有對其進行重寫；
6、靜態方法不能被重寫為非靜態的方法（會編譯出錯）；
7、父類方法被final時，無論該方法被public、protected及預設所修飾，子類均不能重寫該方法。
overload是過載，一般是用於在一個類內實現若干過載的方法，這些方法的名稱相同而引數形式不同。
過載的規則：
1、在使用過載時只能通過相同的方法名、不同的引數形式實現。不同的引數型別可以是不同的引數型別，不同的引數個數，不同的引數順序（引數型別必須不一樣）；
2、不能通過訪問許可權、返回型別、丟擲的異常進行過載；
3、方法的異常型別和數目不會對過載造成影響。
聯絡與區別
方法的過載和重寫都是實現多型的方式，區別在於前者實現的是編譯時的多型性，而後者實現的是執行時的多型性。過載發生在一個類中，同名的方法如果有不同的引數列表（引數型別不同、引數個數不同或者二者都不同）則視為過載；重寫發生在子類與父類之間，重寫要求子類被重寫方法與父類被重寫方法有相同的引數列表，有相容的返回型別，比父類被重寫方法更好訪問，不能比父類被重寫方法宣告更多的異常（里氏代換原則）。過載對返回型別沒有特殊的要求，不能根據返回型別進行區分。