为什么包保护的方法在同一个包中不可见？

Question

假设我们有两个包p1 和p2 以及由p2.M12 扩展的类p1.M1，如下所示：

package p1;

public class M1 {
    void method1() {
        System.out.println("Method 1 called");
    }
}


package p2;

import p1.M1;

public class M12 extends M1 {
    void method2() {
        System.out.println("Method 2 called");
    }
}

让我们将M12 扩展为p2.B：

package p2;

public class B extends M12 {

    public void doSomething()  {
        method1();
        method2();
    }
} 

这会导致编译错误为method1，在p1 中受包保护在p2 中不可见。 method2 是可见的，没有问题。

现在让我们用p1.A 扩展p2.M12：

package p1;

import p2.M12;

public class A extends M12 {

    public void doSomething() {
        method1();
        method2();
    }
}

这里我遇到了method2()（这是可以理解的）和method1()的编译错误：

我的问题是：为什么包p1 中受包保护的method1 在来自同一包p1 的类A 中不可见？

Answer 1

可见性必须通过类层次结构。

类层次结构是A --> M12 --> M1

由于M1.method1 对M12 不可见，因此它的任何子类也不可见，例如A。

Answer 2

我认为理解这种行为的最简单方法是“A 是 M12”的概念

当您声明继承时，您告诉 A 从 M12 获取其行为，但 M12 没有称为 method1 的可见方法。

让我们做一个有趣的实验：

public class M12 extends p1.M1 {
    public void method1() {
        System.out.println("Method 1 called");
    }
    void method2() {
        System.out.println("Method 2 called");
    }
}

忘记 A.. 当你声明这样的方法时，它是允许的 - 如果你没有 @Override 就可以了。 但是，如果 M1 是：

public class M1 {
    public void method1() {
        System.out.println("Method 1 called");
    }
}

你可以：

public class M12 extends p1.M1 {
    @Override
    public void method1() {
        System.out.println("Method 1 called");
    }

    void method2() {
        System.out.println("Method 2 called");
    }
}

现在，回到 M1 和 M2 的原始代码，重新声明方法并公开方法一：

public class M12 extends p1.M1 {
    public void method1() {
        System.out.println("Method 1 called");
    }

    public void method2() {
        System.out.println("Method 2 called");
    }
}

那么，你就可以拥有

public class A extends M12 {

    public void doSomething() {
        method1();
        method2();
    }
}

好的，这是一个微不足道的案例，但会丢失以完成序列... 最重要的是，从语义上讲，您可以通过 IS 关系来解释。

---

如果需要更多 (https://docs.oracle.com/javase/tutorial/java/javaOO/accesscontrol.html)：

下表显示了每个修饰符允许的成员访问权限。

访问级别

Modifier    Class   Package Subclass    World

public      Y       Y       Y           Y

protected   Y       Y       Y           N

no modifier Y       Y       N           N

private     Y       N       N           N

Answer 3

首先，什么是类的成员？ Java Language Specification 状态

类体可能包含类成员的声明，即 是，字段（§8.3），方法（§8.4），类（§8.5）和接口 (§8.5)。

它们是由什么组成的？ JLS states

一个类类型的成员都有以下几种：

• 成员从其直接超类（第 8.1.4 节）继承，但在没有直接超类的 Object 类中除外
• 从任何直接超级接口继承的成员 (§8.1.5)
• 成员在类主体中声明（第 8.1.6 节）

还提到了

只有声明为 protected 或 public 的类的成员才是 由包中声明的子类继承，而不是 声明了哪个类。

所有这些都在chapter on Inheritance中重新措辞

一个类C继承自它的直接超类所有具体方法m （静态和实例）的所有超类 以下是正确的：

• m 是 C 的直接超类的成员。
• m 是 public、protected 或在与 C` 相同的包中声明为具有包访问权限。
• C 中声明的任何方法的签名都不是m 签名的子签名（第 8.4.2 节）。

M1 类的成员是method1（以及Object 的所有方法）。 M12，与它的直接超类M1 位于不同的包中，不会继承method1。因此M12 的成员只有method2。

B 的直接超类是M12，并且在同一个包中。因此它继承了它的成员method2。 B 对 method1 一无所知。如果您使用 javac 编译了代码，则会收到 cannot find symbol 编译错误。 （似乎 Eclipse 试图猜测您要做什么。）

同样，A 的直接超类是M12，但在不同的包中。由于这个原因，它不会继承method2。 A 对method1 或method2 一无所知，因为它没有继承它们。这两个都是找不到的符号。