Я не понимаю, почему это компилируется. f() и g() видны из внутренних классов, несмотря на то, что они закрыты. Обращаются ли с ними по-особому, потому что они являются внутренними классами?
Если A и B не являются статическими классами, это все равно.
class NotPrivate {
private static class A {
private void f() {
new B().g();
}
}
private static class B {
private void g() {
new A().f();
}
}
}
(Редактировать: расширенный ответ, чтобы ответить на некоторые комментарии)
Компилятор берет внутренние классы и превращает их в классы верхнего уровня. Поскольку частные методы доступны только для внутреннего класса, компилятор должен добавить новые «синтетические» методы, которые имеют доступ на уровне пакета, чтобы классы верхнего уровня имели к ним доступ.
Примерно так (знаки $ добавляются компилятором):
class A
{
private void f()
{
final B b;
b = new B();
// call changed by the compiler
b.$g();
}
// method generated by the compiler - visible by classes in the same package
void $f()
{
f();
}
}
class B
{
private void g()
{
final A a;
a = new A();
// call changed by the compiler
a.$f();
}
// method generated by the compiler - visible by classes in the same package
void $g()
{
g();
}
}
Нестатические классы такие же, но в них добавлена ссылка на внешний класс, так что методы могут быть вызваны для него.
Причина, по которой Java делает это таким образом, заключается в том, что они не хотели требовать изменений виртуальной машины для поддержки внутренних классов, поэтому все изменения должны были быть на уровне компилятора.
Компилятор берет внутренний класс и превращает его в класс верхнего уровня (таким образом, на уровне виртуальной машины нет такого понятия, как внутренний класс). Затем компилятор также должен сгенерировать новые методы «пересылки». Они создаются на уровне пакетов (не общедоступных), чтобы гарантировать, что только классы в одном пакете могут получить к ним доступ. Компилятор также обновил вызовы частных методов для сгенерированных методов «пересылки».
Вы можете избежать того, чтобы компилятор генерировал метод, объявляя методы как «пакет» (отсутствие общедоступных, частных и защищенных). Недостатком этого является то, что любой класс в пакете может вызывать методы.
Редактировать:
Да, вы можете вызвать сгенерированный (синтетический) метод, но НЕ ДЕЛАЙТЕ ЭТОГО!:
import java.lang.reflect.Constructor;
import java.lang.reflect.Method;
public class Main
{
public static void main(final String[] argv)
throws Exception
{
final Class<?> clazz;
clazz = Class.forName("NotPrivate$A");
for(final Method method : clazz.getDeclaredMethods())
{
if(method.isSynthetic())
{
final Constructor constructor;
final Object instance;
constructor = clazz.getDeclaredConstructor(new Class[0]);
constructor.setAccessible(true);
instance = constructor.newInstance();
method.setAccessible(true);
method.invoke(null, instance);
}
}
}
}
Я думаю, что эта цитата прекрасно подводит итог:
...внутренние классы могут получить доступ ко всем членам объявляющего класса, даже к закрытым членам. Фактически, сам внутренний класс считается членом класса; поэтому, следуя правилам объектно-ориентированного проектирования, он должен иметь доступ ко всем членам класса.
И, исходя из этого, поскольку оба внутренних класса на самом деле являются лишь частью содержащего класса, они также должны иметь доступ к закрытым членам друг друга.
Java компилируется в специальные методы доступа с $ в них. Таким образом, вы не можете написать Java, которая обращается к закрытым методам. Объясняется здесь:
http://www.retrologic.com/innerclasses.doc7.html
Есть еще одна категория элементов, созданных компилятором. Частный член m класса C может использоваться другим классом D, если один класс включает другой или если они заключены в общий класс. Поскольку виртуальная машина не знает о такой группировке, компилятор создает локальный протокол методов доступа в C, чтобы позволить D читать, записывать или вызывать элемент m. Эти методы имеют имена вида access$0, access$1 и т. д. Они никогда не являются общедоступными. Методы доступа уникальны тем, что их можно добавлять к охватывающим классам, а не только к внутренним классам.
Как объяснил пользователь «Чувак» в комментариях к принятому ответу:
Он компилируется, потому что он должен работать таким образом по спецификации языка, т.е. Спецификация Java Lang говорит так:
6.6.1 Determining Accessibility (at least since JLS6)«В противном случае, если член или конструктор объявлен закрытым, доступ разрешен тогда и только тогда, когда он происходит в теле класса верхнего уровня (§7.6), который заключает в себе объявление члена или конструктора».
т.е. «область доступа» частного члена: везде в пределах лексических границ тела класса верхнего уровня.
Это означает: ко всем закрытым членам, которые определены в теле самого внешнего класса, можно получить доступ из любого места в этом теле класса.
Например, к частному методу внутреннего класса можно получить доступ из методов внешнего класса или из любого метода другого внутреннего класса внешнего класса.
