令人困惑的方法绑定

Question

这个简单程序的 output 是This is base 。

public class mainApp{
    private void func(){
      System.out.println("This is base"); 
    }

    public static void main(String[] args){
        mainApp newObj = new derived();
        newObj.func();
    }
}

class derived extends mainApp{
    public void func(){ 
      System.out.println("This is derived"); 
    }
}

• 我的问题是当我们使用这条线mainApp newObj = new derived(); 我们实际上并没有使用基本 class mainApp的引用创建派生class 的 object 吗？ 那么，当我使用 object 调用它的方法时，为什么我不能从派生的 class 中获取方法？ 为什么我从基础 class 获取方法。

• 使用这一行， mainApp newObj = new derived(); ，我们是在使用 mainApp 的参考还是我们正在使用派生的 class 的 object 。 哪一个是正确的？

Answer 1

您获得基本 class 方法的原因是基本 class 版本的func被声明为private ，并且 Java 不允许子类覆盖私有方法。 This means that if you extend a base class and by pure coincidence decide to name a private member function the same name as a private member function in the base class, you don't accidentally change the behavior of the base class's member functions. 您确实在使用类型为derived的 object，但由于引用静态类型为mainApp ，调用func被解释为调用mainApp中的私有方法func ，而不是调用derived中的公共方法func 。 更改要读取的代码

derived d = new derived();
d.func();

解决了这个问题，因为现在derived了d的 static 类型，并且对func的调用具有不同的含义。

在 JVM 字节码级别，用于调用私有成员函数的指令是invokespecial而用于调用普通、可覆盖成员函数的指令是invokevirtual 。 两者具有完全不同的语义； invokespecial开始查找当前的 class（或一些基本的 class 用于构造函数等），而invokevirtual在运行时查找与对象类型对应的 class。

Answer 2

您正在使用derived的 class。 对 object 的引用是mainApp 。 这意味着其他人将其视为mainApp ，但它被实现为派生的 class。