java - 当使用公共(public) getter 从子类访问时，父类(super class)的私有(private)字段位于哪里？

Question

这个问题已经有答案了:

Do subclasses inherit private fields? (21 个回答)

已关闭 5 年前。

不要将此问题声明为重复，该问题解决了该字段在程序中的位置，是否继承或不继承，或者是否继承但不可访问。

请继续阅读以了解

在下面的示例中，我们看到狗对象可以访问动物私有(private)字段“name”，抛出使用公共(public) getter“getName”，但私有(private)字段不会被继承，因此字段名称所在的位置

通过搜索，我意识到只有一个对象是从子类创建的，而不是两个(一个到子类，一个到 super 类)来保存私有(private)字段。

现在关注>>我们都知道任何类中的公共(public) setter 都可以设置其私有(private)字段，但我们知道该字段位于何处!在类的对象中

所以我的抽象问题如下

访问的私有(private)字段位于子类创建的对象中!

它在哪里!

public class Animal {
    private String name ;
    public Animal (String name)
    {
        this.name = name;
    }

    public String getName()
    {
        return this.name;
    }
}

public class Dog extends Animal {

    public Dog(String name) {
        super(name);
    }
}

public class Hello {
    public static void main(String[] args) {
        Dog mmms = new Dog("mmkk");
        System.out.println(mmms.getName());
    }
}

编辑:我认为这个问题可以表述为

如果不继承父类的私有(private)字段，它在哪里？

问题名称已更改，以便更好地理解

子类对象如何从公共(public) getter 访问其父类(super class)的私有(private)成员？

到

当使用公共(public) getter 从子类访问时，父类(super class)的私有(private)字段位于哪里？

Answer 1

每当创建子类的实例(在本例中为 Dog)时，都会按顺序调用所有父类的构造函数，分配存储完整链的状态所需的空间。在您的情况下， super 构造函数是显式调用的，但即使没有显式调用，如果有默认构造函数，也会进行隐式调用(如果没有，则代码将无法编译)。

有关父实例状态的信息可用并与子实例一起存储。此信息的存储方式取决于 JVM 实现，其中 Oracle JRE 与 OpenJRE 不同。然而，这并不重要，重要的是子级可能无权访问父级的字段或方法(在私有(private)字段或方法的情况下)，但所有字段都存在并分配一个值，至少是默认值。所有方法也都存在，并根据vtable进行分派(dispatch):

实例方法被分派(dispatch)到实例中与定义类相对应的部分。因此，如果在您的情况下，类 Animal 定义了 getName 和 setName ，则没有父级路由到 Dog 重新定义他们，JRE将执行由Animal对应的部分维护的状态的代码，从而设置或检索存储在那里的name。同时，所有 Java 方法(包括私有(private)方法)都是虚拟的，因此可以在子类中重写。有关此类覆盖的信息将保留在负责调度的vtable中。因此，如果您的类 Dog 重新定义 getName 和 setName 来执行其他操作(它将无法访问字段 name 来自该类定义)，然后在 Dog 实例上调用这些方法实际上会调用 Dog 中定义的方法，而不是 Animal 中定义的方法。在这种情况下，您可能会失去对 Animal 中的 name 字段的任何访问权限(除非 Animal 中定义了其他 getter/setter)您放入构造函数中的值将保留存储。

正如其他地方所指出的，人们仍然可以通过反射或字节码操作来访问私有(private)信息，但是这种情况很少发生或者出于非常特殊的原因(例如，私有(private)字段上的 @Inject 注释可能会发生)导致通过某些注入(inject)框架设置一个值)。即使可以做到这一点，通过反射访问私有(private)隐藏(私有(private)、 protected 、包可见)方法或字段应该是一个异常(exception)，而不是常见的做法，因为它显然违反了最初的设计决策。

进一步阅读:

• https://en.wikipedia.org/wiki/Virtual_method_table
• Virtual table/dispatch table
• Why does OpenJDK place private methods into vtable?