Java 9 中的“模块本地”访问行为

Question

Jigsaw 项目的核心是 Java 模块系统，如果能够限制对特定模块内特定程序元素（类、方法和字段）的访问，那就太好了。

当模块中有一些元素对于这个模块本质上是公共的，但在这个模块之外不应该被访问时，它会很有帮助。

所以我说的是“package-local”之后的下一个访问级别，可以命名为“module-local”。

然而，对Jigsaw rules 和早期规格的简要了解并没有帮助我找到这种功能。更具体地说，this Modifier specification 不包含任何新元素。

那么在未来的 Java 9 中还有其他可能吗？

Answer 1

public 元素（即，一个类、接口、方法或字段） 非导出包实际上是“本地模块”。这将是 模块中的所有其他代码都可以访问，但不能从模块外部访问 模块。

无法在导出的包中声明模块本地元素。 导出包的public 元素可从外部访问 模块，package-private 元素仍然是 package-private，并且有 这两种模式之间没有元素级访问模式。我们可以定义一个 新的此类模式，但我们很少看到有说服力的用例，而且， 此外，在JVM中以粒度实现模块化访问控制 比导出的包更精细会带来显着的性能 费用。

Answer 2

简答

当模块中有一些元素对于这个模块本质上是公共的，但在这个模块之外不应该被访问时，它会很有帮助。

这是不可能的。 （仅使用模块系统 - 有一种解决方法。）

长答案

解释在Accessibility这个词内：

Java 编译器和虚拟机认为只有当第一个模块可由第二个模块读取时，一个模块中的包中的公共类型才能可被其他模块中的代码访问，在某种意义上上面定义的，第一个模块导出该包。 [...]

以这种方式无法访问的跨模块边界引用的类型无法使用，就像私有方法或字段无法使用一样：任何尝试使用它都会导致编译器报告错误，或者@ 987654322@ 由 Java 虚拟机抛出，或 IllegalAccessException 由反射运行时 API 抛出。 [...]

如果其封闭类型在这个意义上是可访问的，并且成员本身的声明也允许访问，则跨模块边界引用的方法或字段是可访问的。

虽然有不同的方式可以准确地导出包的方式和对象，但一旦编译器/JVM 认为类型可访问没有额外的机制适用。它的成员与 Jigsaw 之前一样易于访问。

这意味着没有办法让可访问类型的成员在模块内可见（这需要public），但在模块外部不可见（因为可访问类型的公共成员是可访问的）。

解决方法

那么在未来的 Java 9 中还有其他可能吗？

是的。 :)

您可以在导出的包中拥有一个公共接口Global，该接口定义了您想要导出到世界的方法。然后有一个接口或一个类Local 扩展Global 并添加所有你想要的成员。关键是Local 必须不在导出的包中！

现在，如果您的模块的 API 只返回 Global-s 但从不接受它们作为方法参数，那么您就可以开始了。只需确保您在内部始终使用 - 并且可能转换为 - Local。

如果您也接受Global-s，您必须清楚地证明这些只能是您的 API 返回的实例（即不允许用户创建自己的实现）。这听起来可能令人望而却步，但如果您仔细考虑最初的请求，它会具有相同的特征。