Mogę haz nie pakiet-prywatne klasy w Scala?

Question

Przepraszamy za chwytliwy tytuł. ;-)

Chcę utworzyć klasę pakiet-prywatnego z metodą pakietu-prywatnego w Scala, więc moja klasa wygląda nieco jak poniżej:

package net.java.truevfs.ext.pace 

import ... 

private[pace] abstract class AspectController(controller: FsController) 
extends FsDecoratingController(controller) { 

    private[pace] def apply[V](operation: => V): V 

    ... // lots of other stuff 
} 

Jednakże, jeśli mogę użyć javap, by sprawdzić, co Scala kompilator skutecznie tworzy, mam coś takiego:

$ javap -classpath target/classes net.java.truevfs.ext.pace.AspectController 
Compiled from "AspectController.scala" 
public abstract class net.java.truevfs.ext.pace.AspectController extends net.java.truevfs.kernel.spec.FsDecoratingController implements scala.ScalaObject{ 
    public abstract java.lang.Object apply(scala.Function0); 
    ... 
} 

oznacza to, że choć kompilator Scala może respektować ograniczenia dostępu, mogę jeszcze nazwać tę klasę z dowolnego kodu Java, które jest oczywiste naruszenie hermetyzacji.

Czy brakuje mi czegoś? Czy istnieje sposób, aby działało to zgodnie z przeznaczeniem?

Answer 1

Oprócz @ odpowiedź Regis, powodem Scala kompilator nie robi klasa pakiet-prywatnego jest bo przez Scala rządzi go może być dostępne z innych pakietów, a mianowicie: podpakietów z net.java.truevfs.ext.pace. Na przykład.

package net.java.truevfs.ext.pace.subpackage 
import net.java.truevfs.ext.pace.AspectController 

class Subclass extends AspectController { ... } 

jest legalne w Scala, ale w języku Java klasy z net.java.truevfs.ext.pace.subpackage nie może uzyskać dostępu do klas pakietu-prywatnego z net.java.truevfs.ext.pace.

Answer 2

Nie brakuje niczego. Wiele ograniczeń dostępu w scala nie ma odpowiednika w java ani na poziomie jvm. Dodatkowe informacje znajdują się oczywiście w pliku .class, ale są tam również adnotacje niestandardowe, które zinterpretuje tylko kompilator scala. Model obiektu scala może być tylko częściowo dopasowany do modelu obiektu jvm, a kompilator Java będzie widział tylko ten model częściowy. Powiedziałbym, że mecz jest dość blisko, a kompilator scala wykonuje bardzo dobrą robotę w interoperacyjności java, ale nic nie jest doskonałe.

Answer 3

Nie bardzo poprawna odpowiedź 100% ...

Można zrobić obiektu pakiet jeśli chcę zrobić jakiś wymyślnych rzeczy tam z prywatnym klasie. Obiekt pakietu jest dostępny jak każdy inny pakiet. Klasa MyClass jest pakietem prywatnym dla tego obiektu pakietu. Nie jest to jednak pakiet prywatny.

package object com.jasongoodwin.foo { 
    private class MyClass 

    class AnotherClass { 
    val myClass = new MyClass 
    } 
}