使用super作為引用類型時，無法訪問子類中的方法

Question

我有一個上課的問題

 public class Foo {

   public Foo() {
    // Do stuff
   }

   public void generalMethod() {
      //to general stuff
   }

 }

 public class Bar extends Foo {

     public Bar() {
        //do stuff
     }

     public void uniqueMethod() {
        //do stuff
     }
 }


 public class Driver() {
    public static void main(String[] args) {
       Foo test = new Bar();

       test.uniqueMethod(); //this causes an error
    }
 }

所以我得到一個錯誤，它說Foo的方法uniqueMethod()是未定義的，但是當我將賦值更改為Bar test = new Bar(); 問題消失了。 我不明白，因為它應該與Foo test = new Bar();

有人可以提出導致此錯誤的原因嗎？

先感謝您。

Answer 1

盡管該方法在運行時存在，但編譯器僅看到類型為Foo的對象test不具有方法uniqueMethod。 Java使用虛擬方法，其中將在runtime確定要調用的方法。 因此，再次，編譯器看不到該特定實例的類型是Bar 。 如果確實需要調用該方法，則可以強制轉換並調用該方法：

((Bar)test).uniqueMethod();

現在，對於編譯器，您具有Bar類型，他可以看到Bar類型可用的所有方法。

像編譯器和JVM一樣思考

例子1

Foo test = new Bar();

因此，我有一個Foo類型的變量。 我必須驗證對該類成員的所有后續調用都可以 -它將查找Foo類中的所有成員，編譯器甚至不查找實例類型。

在runtime ，JVM將知道我們有一個類型為Foo的變量，但實例類型為Bar 。 唯一的區別在於，JVM（JVM）將查找實例以對方法進行虛擬調用 。

例子2

Bar test = new Bar();

因此，我有一個Bar類型的變量。 我必須驗證對該類成員的所有后續調用都可以 -它將查找Foo和'Bar'類中的所有成員，再次，編譯器甚至不查找實例類型。

在runtime ，JVM將知道我們有一個Bar類型的變量和一個相同類型的實例： Foo 。 現在我們再次可以訪問Foo和Bar類中定義的所有成員。

Answer 2

使用后期綁定，您必須在超類“ Fathor”中具有相同的方法，否則將不起作用！

與我一起工作

//

public  class foo {
public void print(){
System.out.println("Super,"+2);}

}

bo類擴展foo {

    public void print(){
        System.out.println("Sup,"+9);
        }

}

測試//

公共抽象類測試{

public static void main(String[] args) {
    // TODO Auto-generated method stub

     foo t = new bo();
     t.print();
}

} ///

輸出

一口9

Answer 3

發生此錯誤的原因是，編譯器不知道test的類型是Bar ，而只知道Foo的聲明類型。

public void test(Foo foo) {
        // error! this method can accept any variable of type foo, now imagine if you passed it 
        // another class that extends Foo but didnt have the uniqueMethod. This just wont work
        foo.uniqueMethod(); 
    }