子类是否继承私有字段？

Question

这是一道面试题。

子类是否继承私有字段？

我回答“否”，因为我们无法使用“正常的 OOP 方式”访问它们。但是面试官认为它们是继承的，因为我们可以间接或使用反射访问这些字段，它们仍然存在于对象中。

回来后，我在 javadoc 中发现了以下引用：

超类中的私有成员

子类不继承其父类的私有成员。

你知道面试官意见的任何论据吗？

原文由 Stan Kurilin 发布，翻译遵循 CC BY-SA 4.0 许可协议

Answer 1

此处问题/答案中的大部分混淆都围绕着继承的定义。

显然，正如@DigitalRoss 解释的那样，子类的 对象 必须包含其超类的私有字段。正如他所说，无法访问私人成员并不意味着它不存在。

然而。这与类的继承概念不同。与 Java 世界的情况一样，存在语义问题的仲裁者是 Java 语言规范（目前是第 3 版）。

正如 JLS 所述（ https://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.2 ）：

声明为私有的类的成员不会被该类的子类继承。只有声明为 protected 或 public 的类的成员才能由声明该类的包以外的包中声明的子类继承。

这解决了面试官提出的确切问题：“子 类 是否继承私有字段”。 （重点是我加的）

答案是否定的。他们没有。子类的对象包含其超类的私有字段。子类本身没有其超类的私有字段的概念。

它是迂腐的语义吗？是的。这是一个有用的面试问题吗？可能不是。但是 JLS 为 Java 世界建立了定义，并且（在本例中）明确地这样做了。

已编辑（删除了 Bjarne Stroustrup 的平行引述，由于 Java 和 C++ 之间的差异可能只会增加混乱。我会让我的答案放在 JLS 上：）

原文由 robert_x44 发布，翻译遵循 CC BY-SA 3.0 许可协议

Answer 2

是的

重要的是要认识到虽然 有 两个类，但只有一个对象。

所以，是的，它当然继承了私有字段。它们大概是正确的对象功能所必需的，虽然父类的对象不是派生类的对象，但派生类的实例大多肯定是父类的实例。如果没有所有的字段，它就不可能是这样。

不，您不能直接访问它们。是的，它们是遗传的。他们 必须 是。

这是个好问题！

---

更新：

错，“不”

好吧，我想我们都学到了一些东西。由于 JLS 起源于确切的“不继承”措辞，因此回答 “否” 是正确的。既然子类不能访问或修改私有字段，那么，换句话说，它们是不被继承的。但 实际上 只有 一个 对象，它确实 包含 私有字段，因此如果有人错误地理解 JLS 和教程的措辞，将很难理解 OOP、Java 对象以及真正发生的事情。

更新更新：

这里的争议涉及一个基本的歧义： 到底在讨论什么？ 对象？ 或者我们在某种意义上是 在谈论课程本身？ 在描述类而不是对象时，允许有很大的自由度。所以子类不继承私有字段，但是作为子类实例的对象 肯定 包含 私有字段。

原文由 DigitalRoss 发布，翻译遵循 CC BY-SA 3.0 许可协议