为什么我们不能用私有扩展类方法重写基类方法？

Question

class One {
    void foo() { }
}
class Two extends One {
    private void foo() { /* more code here */ }
}

为什么上面的代码片段是错误的？

Answer 1

我将尝试结合其他答案的想法来得出一个答案。

首先，让我们看一下代码中发生了什么。

看一下代码

One 类有一个包私有的 foo 方法：

class One {
    // The lack of an access modifier means the method is package-private.
    void foo() { }
}

Two 类是One 类，并且 foo 方法被重写，但具有访问修饰符 private。

class Two extends One {
    // The "private" modifier is added in this class.
    private void foo() { /* more code here */ }
}

问题

Java 语言不允许子类降低子类中方法、字段或类的可见性，因此，Two 类降低了>foo 方法不合法。

为什么降低可见性是一个问题？

考虑一下我们想要使用 One 类的情况：

class AnotherClass {
  public void someMethod() {
     One obj = new One();
     obj.foo();  // This is perfectly valid.
  }
}

在这里，调用 foo 方法>一个实例有效。 （假设 AnotherClass 类与 One 类位于同一个包中。）

现在，如果我们要实例化 Two 对象并将其放入 One 类型的 obj 变量中吗？

class AnotherClass {
  public void someMethod() {
     One obj = new Two();
     obj.foo();  // Wait a second, here...
  }
}

Two.foo 方法是私有的，但是 One.foo 方法将允许访问该方法。我们这里有问题。

因此，在考虑继承时允许降低可见性没有多大意义。

链接

• 控制对类成员的访问 - Java 教程中访问修饰符的解释。

Answer 2

这段代码的问题是，如果它是合法的，如果您通过 One 间接访问它，Java 将无法尊重 foo 的 private 修饰符基类。例如，如果我写

One obj = new Two();
obj.foo();

Then 我们就会遇到麻烦，因为我们会间接调用 Two 的 private 方法 foo，因为当编译器检查 obj.foo() 行时，它会查看 One 来确定 foo 是否可访问，而不是查看 Two。原因是编译器不能总是知道 obj 可能指向什么 - 例如，如果我写了类似的内容

One obj = Math.random() < 0.5? new One() : new Two();
obj.foo();

那么编译器无法知道 obj 是否指向code> 指向 One 或 Two。因此，在检查访问说明符时它遵循 One。如果我们确实被允许在 Two 中将 foo 标记为私有，那么编译器将错误地允许我们通过 obj 调用它，其类型为 < code>One，绕过了只有对象本身才能调用 private 方法的保证。

Answer 3

给出的答案为您提供了为什么不能将一乘二扩展的技术解释。我想让您理解为什么这是不可能的，因为面向对象的模式而不是语言本身。

通常，类 One 是一个类的一般定义，及其对外部世界的访问器、方法。扩展此类的子类必须向外部世界提供相同的访问器。在您的示例中，二扩展了一，这意味着二提供了与一一样的外部世界访问器。如果您要更改 One 访问器的可见性，外部世界将无法再访问您的类，因为它们用于对类型 One 的对象执行此操作。

Answer 4

它会破坏多态性。

如果您有一个 Two 实例存储在 Two 变量中，那么 foo 无法被调用是有道理的。但是，如果将 Two 实例存储在 One 变量中，则您只知道 One。但是 One 有一个公共 foo，可以调用它。这会是一种不一致，而且会很奇怪。

Answer 5

因为继承是一种是关系。任何人都可以通过对 One 的引用来引用 Two 的实例：

One v = new Two();

如果您在 v 引用上调用 foo 方法，程序会做什么？您破坏了 One 的公共契约，该契约保证 One 的每个实例都有一个（此处受包保护的）foo 方法。这就是编译器禁止它的原因。