"Modul lokal" Zugriffsverhalten in Java 9

Question

Da der Kern des Jigsaw Projekts Java Module System ist, wäre es schön, eine Möglichkeit zu haben, den Zugriff auf bestimmte Programmelemente (Klassen, Methoden und Felder) nur innerhalb bestimmter Module einzuschränken.

Es kann hilfreich sein, wenn einige Elemente im Modul für dieses Modul im Wesentlichen öffentlich sind, aber außerhalb dieses Moduls nicht zugänglich sein sollten.

Also ich spreche über die nächste Ebene des Zugriffs nach "Paket-local", die "Modul-local" genannt werden könnte.

Allerdings ein kurzer Blick auf Jigsaw rules und frühen Spezifikationen half mir nicht, solche Art von Funktionalität zu finden. Genauer gesagt enthält this Modifier specification keine neuen Elemente.

So ist jede andere Möglichkeit, es in Zukunft Java 9 zu tun?

Answer 1

A public Element (dh, eine Klasse, Schnittstelle, Methode oder Feld) in einem nicht ausgeführten Paket wird in der Tat „-Modul lokale“. Es wird in der zugänglich für alle anderen Code sein Modul, aber nicht von außerhalb des Moduls .

Es gibt keine Möglichkeit, ein Modul-lokales Element in einem exportierten Paket zu deklarieren. Ein public Element eines exportierten Pakets ist von außerhalb des Moduls zugänglich, ein package-private Element ist noch paket-privat, und es gibt keinen Element-Level-Zugriffsmodus zwischen diesen beiden Modi. Wir könnten einen neuen solchen Modus definieren , aber wir haben einige überzeugende Anwendungsfälle für sie gesehen, und darüber hinaus implementieren modulare modulare Zugriffskontrolle in der JVM mit einer Granularität feiner als die der exportierten Pakete würden erhebliche Kosten auferlegen .

Answer 2

Kurzantwort

Es kann hilfreich sein, wenn es einige Elemente in dem Modul sind die für dieses Modul im Wesentlichen öffentlich sind, sollte aber nicht außerhalb dieses Moduls zugänglich sein.

Das ist nicht möglich. (Mit Hilfe des Modulsystem allein - es gibt eine Abhilfe.)

Lange Antwort

Die Erklärung innerhalb der Frist liegt Accessibility:

der Java-Compiler und virtuelle Maschine die öffentlichen Typen betrachten in ein Paket in einem Modul zu zugänglich durch Code in einem anderen Modul nur dann, wenn das erste Modul von dem zweiten Modul in dem oben definierten Sinne gelesen werden kann, und das erste Modul dieses Paket exportiert. [...]

Ein über Modulgrenzen hinweg referenzierter Typ, auf den nicht zugegriffen werden kann, ist auf die gleiche Weise wie eine private Methode oder ein Feld unbrauchbar: Jeder Versuch, sie zu verwenden, führt zu einem Fehler der Compiler oder ein IllegalAccessError, der von der Java Virtual Machine ausgelöst werden soll, oder ein IllegalAccessException, der von den reflektiven Laufzeit-APIs ausgelöst wird. [...]

Eine Methode oder ein Feld, auf das über Modulgrenzen hinweg verwiesen wird, ist zugänglich, wenn der einschließende Typ in diesem Sinne zugänglich ist und wenn die Deklaration des Elements selbst auch den Zugriff erlaubt.

Zwar gibt es verschiedene Möglichkeiten, wie genau und ein Paket, die exportiert werden kann, wenn der Compiler/JVM eine Art zugänglich kein zusätzlicher Mechanismus gilt hält. Seine Mitglieder sind so zugänglich wie vor Jigsaw.

Dies bedeutet, dass es keine Möglichkeit gibt, die Mitglieder eines zugänglichen Typs innerhalb des Moduls sichtbar zu machen (das würde public erfordern), aber nicht außerhalb (weil ein öffentliches Mitglied eines zugänglichen Typs zugänglich ist).

Umgehung

So ist eine andere Möglichkeit, es in Zukunft Java 9 zu tun?

Ja. :)

Sie können eine öffentliche Schnittstelle Global in einem exportierten Paket haben, das die Methoden definiert, die Sie in die Welt exportieren möchten. Dann haben Sie entweder eine Schnittstelle oder eine Klasse Local extend Global und fügen Sie alle gewünschten Mitglieder hinzu. Schlüssel ist, dass Localnicht in einem exportierten Paket sein muss!

Wenn nun die API Ihres Moduls nur Global -s zurückgibt, sie aber nie als Argument für die Methode akzeptiert, können Sie loslegen. Stellen Sie nur sicher, dass intern Sie immer verwenden - und möglicherweise zu Local werfen.

Wenn Sie auch Global -s akzeptieren, müssen Sie eindeutig dokumentieren, dass dies nur Instanzen sein können, die Ihre API zurückgegeben hat (d. H. Der Benutzer darf keine eigene Implementierung erstellen). Das hört sich vielleicht unerschwinglich an, aber wenn Sie über Ihre ursprüngliche Anfrage nachdenken, würde es dieselben Eigenschaften haben.