的Java：重載方法

Question

我想知道爲什麼

z.f(-6); 

在M級的呼叫是指下列函數B類：的

public void f(double y) { 
    this.x = (int) y + B.y; 
} 

，而不是在A級使用函數f，因爲bx由A覆蓋。或者使用

public void f (int y) { 
    this.x = y*2; 
    B.y = this.x; 
} 

在類B中，至少參數類型匹配。

完成以下代碼：

public class A { 
    public int x = 1; 
    public A(int x) { 
     this.x += x; 
    } 
    public A (double x) { 
     x += x; 
    } 
    public void f(double x) { 
     this.x = this.x + (int) (x + B.y); 
    } 
} 

public class B extends A { 
    public static int y = 3; 
    public int x = 0; 
    public B (double x) { 
     super((int) x); 
    } 
    public void f(int y) { 
     this.x = y*2; 
     B.y = this.x; 
    } 
    public void f(double y) { 
     this.x = (int) y + B.y; 
    } 
    } 

public class M { 
     public static void main (String[] args){ 
     A a = new A(B.y); 
     a.f(1); 
     B b = new B(3.0); 
     A z = b; 
     z.f(-5.0); 
     z.f(-6); 
     System.out.println(b.x + " " + z.x); 
     } 
    } 

Answer 1

z.f(-6); 

靜態類型的z是A，它只有一個名爲f一種方法。該方法需要double參數，可以提升文字值-6。所以在編譯時，調用綁定到A.f(double)。

在運行時z被發現是B類型，它有自己的B.f(double)覆蓋A.f(double)的，所以調用這一點，得到該方法。

Answer 2

靜態類型的z是A這樣z.f(-6)可以僅結合在A的方法，在這種情況下是A.f(int)。

該語言的設計，這種方式使

A z = new B(3.0); 
z.f(-6); 

總會表現得一樣

A z = complicatedWayToComputeTrue() ? new B(3.0) : new A(3.0); 
z.f(-6); 

如果編譯器綁定到一個不同的方法簽名，因爲它可以證明A z總是持有一個B然後這會引起各種非本地影響的語言，使它真的很難調試或維護Java程序。

想象有人試圖維持

final A z = complicatedWayToComputeTrue() ? new B(3.0) : new A(3.0); 
// 1000 lines elided 
z.f(-6); 

通過改變它

A z = new B(3.0); 
// 1000 lines elided 
z.f(-6); 

如果編譯器現在可以證明A始終是一個B並結合Z.f的方法B，維護者會感到困惑。

Answer 3

Java是單一調度，而您試圖執行的操作是double dispatch（調用的方法取決於動態運行時類和參數）。

在Java中調用方法的簽名是在編譯時確定的;這意味着對象的聲明類決定了綁定的方法。覆蓋子類中的方法會影響綁定的實現，但重載方法不會（因爲重載的方法具有不同的簽名）。

在類B中，當使用一個聲明爲A類的對象時，使用接受int的版本重載f（），但此方法看起來並不存在（您不能調用它，也不會調用）。

總結：

• 編譯器結合在編譯時間的方法簽名。
• 此綁定簽名取決於對象和參數的聲明（編譯時）類型。
• 如果在子類中重寫方法，則在調用子類時（不管聲明的類型如何），將選擇重寫的方法。
• 重載不是重寫，重寫你需要相同的方法簽名（以及除協方差外）。

Answer 4

嗯，我可能是錯的，但如果你A類型的對象z鏈接到B類型的對象，它仍然會綁定爲B類型，這就是爲什麼它的執行方法B類，而不是在A類。請注意，由於您沒有使用new，因此您並未創建A類型的對象。

而且正如Mike Samuel所說，默認-6應該被認爲是int，但這不符合您的解釋。我會盡力找出適當的答案。