使用子类对象的超类引用重写

Question

我最近一直在翻阅几本书，以便自学Java幸运的是，主要是由于运气，我遇到的困难很少。这种情况刚刚改变。

我在继承和整个超类子类设置下阅读了下面的一节

--创建新的超类对象时，与所有对象一样，会为其指定一个引用（本例中为superReference）

--如果创建了一个新的子类对象（定义子类扩展了超类），然后superReference引用被设置为引用该对象而不是原始对象，我的理解是，由于引用是针对一个超类的，所以只能从子类访问由该超类定义的成员。

首先，这是正确的吗？

第二：如果我正在重写一个方法，因此在超级中有一个，在子中有一个，我创建了一个超类对象，然后像我上面做的那样，将其引用分配给一个子类对象，根据称为动态方法分派之类的原则，被调用的重写方法应该默认访问子类方法，对吗？

我的问题是：

如果对超类对象的引用是为子类对象重新配置的，并且将拒绝直接object.member访问子类定义的成员，只支持超类定义的成员，那么如果为子类对象重新配置了超类引用，如果访问受到超类起源引用的限制，则如何将重写的方法应用于子类对象？

Answer 1

Oracle文档中没有提到这一点，或者至少没有明确解释。在我看来，这种行为类似于C语言中的虚拟方法，不同之处在于，在这种语言中，在基类或父类（java中的超类）中定义的方法之前使用关键字virtual是很明显的，并且必须在子类中重新定义。C语言中没有虚拟变量，只有虚拟方法。

在这种情况下，当我们有一个指向子类实例的基类的指针（引用），并且在父类和子类中都有具有相同签名的方法和具有相同名称的变量时，将执行的方法的定义是父类的定义，如果它们之前没有关键字虚拟，另一方面，子类中的定义将为声明为虚拟的方法执行。

对于变量，取基类中的变量，而不是子类中的变量。

恢复时，相似之处如下：

-在java中，变量是基于引用获取的——在C中没有虚拟变量

因此，在我们讨论的情况下，隐藏子类或子类中的变量不是被接受的，而是被隐藏的

-在java中，方法是基于对象或实例获取的——在C中，虚拟方法必须在子类中重新定义，并且这些方法是基于对象或实例获取的

Answer 2

only members defined by the superclass may be accessed from the subclass.

第一：这完全是错误的。子类可以毫无问题地访问自己的成员。但是，一旦将子类实例分配给了一个超类变量（引用），就只能调用只能从超类访问的方法或成员。这就是你想说的吗？

第二：将要执行的方法是实例（对象）中的方法。不是引用（变量）类型中的方法。因此，总是会执行被重写的方法。

第三：子类可以重写方法，但不能重写实例属性。超类中的任何成员变量都将位于子类中。你可以覆盖子类中的方法，只要你保留它们现有的访问修饰符或者使用更容易访问的访问修饰符。

Answer 3

如果你想：

class SuperClass{
    int intVar = 0;
    void method(){
        //in super class
    }
}
class SubClass extends SuperClass{
    int intVar = 2;
    void method(){
        //in sub class
    }
}

然后

SuperClass obj = new SubClass();
int val = obj.intVar;// this is taken from SuperClass as variables are decided on reference basis
//if both superclass and subclass contain the same variable it is called shadowing
obj.method();// it is taken from the SubClass as it is method overriding 
//and is decided at runtime based on the object not the reference  

查看评论。希望这能有所帮助。