Czy klasy szczelne są egzekwowane w Javie, a jeśli tak, to w jaki sposób?

Question

Możliwe jest definiowanie klas sealed w Scali, które są w zasadzie final, chyba że podklasy odbywają się w tym samym pliku.

Wygląda na to, że JVM nie zezwala na klasy final z kodami podtestowymi i.

Biorąc pod uwagę, że nie ma "pojęcia" pliku źródłowego w kodzie bajtowym, w jaki sposób jest ono egzekwowane?

W związku z tym, w jaki sposób javac może uniemożliwić podklasę klasy Scala sealed w języku Java?

Answer 1

Ograniczenie jest egzekwowane dla źródła Scala przez skalak w czasie kompilacji. Wynikające z tego definicje klas binarnych nie mają ostatecznej flagi JVM, więc jak już zapewne odgadłeś, zamknięte ograniczenie nie zostanie wymuszone przez javac, gdy źródła Javy są kompilowane przeciwko plikom binarnym Scala.

Answer 2

Co powiesz na użycie prywatnego konstruktora dla klasy, którą chcesz uszczelnić, a następnie utworzyć publiczne końcowe statyczne klasy wewnętrzne, które rozszerzają tę klasę. Wtedy otrzymujesz stały zestaw podklas w czasie kompilacji, którego nie można dalej rozbudowywać. Klasa bazowa z prywatnym konstruktorem służy następnie jako droga do osiągnięcia tych wewnętrznych klas, ale sama w sobie nie jest możliwa do rozszerzenia i implementacji w innym miejscu.