为什么Java中没有子类可见性修饰符？

Question

我不止一次发现自己想要一种在 Java 中不可能实现的变量可见性。我希望某些成员在他们自己的类和任何子类中可见，但对包的其余部分或世界的其他部分不可见。换句话说，我想要这个：

Modifier        Class     Package   Subclass  World
sub-class       Y         N         Y         N

然而，Java的设计者只给了我 this：

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

我想要这样的东西的典型情况是创建抽象类时。有时我发现抽象父级需要访问某些成员，但具体子级也需要访问某些成员。我可以通过将成员设置为受保护来授予他们此访问权限，但是当我并不真正想要时，这会打开对包其余部分的访问权限。

完全清楚的是，我知道这样的修饰符在 Java 中不可能。我的问题是为什么Java中不包含这样的修饰符？ （对我来说）这似乎是比 protected 或默认级别更自然的可见性级别。原因是否只是因为它不够重要而不能被包含在内，或者它是否与我没有考虑到的可能的副作用更相关？

Answer 1

我想他们希望通过非线性访问层次结构来避免增加复杂性。

您应该控制您的包，因此不要在那里调用这些受保护的方法。

（顺便说一句，protected 与子类和包不太一样，因为非静态受保护方法（如果不在同一个包中）不能调用声明类的任意对象，但只能调用代码所在子类的对象。（您可以在 Object.clone() 上看到这一点，它只能由其对象所在的类调用正在被克隆。））

Answer 2

存在于同一个包中被简单地认为是比存在于子类型更紧密的关系。

为什么？

您通常可以控制正在开发的软件包的所有源代码^(*)，因此您至少有可能避免进行错误调用。

您无法控制扩展您的类的所有代码。 （任何人都可以扩展您的类。）这意味着包私有访问扮演着更重要的角色。

---

^{*) 但是，嘿，我可以使用 package com.yourpackage; 启动任何源文件，这样您就不必控制包中的所有代码！嗯，是的，但是 a) 你实际上不应该这样做，b) 它可以通过 密封包装。}

Answer 3

您应该将您的类放入其自己的包中，并将成员（实例变量或方法）标记为受保护。
这样，除了子类之外，没有其他类可以访问您标记为受保护的成员。
如果您迫切希望只让子类访问该受保护的成员，那么您最终将在一个包中得到一个类。