(Java) static nested class — это единственный объект или их может быть много?

Question

[Mikhail_dev]

Здравствуйте.

Я со времен курсов по программированию и прочих книжек вроде Блоха и Хорстманна, помню что static - это по сути единственный объект (в рамках одной виртуальной машины).
Один мой знакомый сказал, что вложенный статический класс вовсе не singleton так сказать и может быть в множестве экземпляров. Ответ на это дело я так и не смог найти ни в документации в Oracle к nested class, ни на stackoverflow.
То, что данный класс не содержит ссылку на внешний объект - это понятно, но мне это никак не помогает в размышлениях о данном случае.

Answer 1

[bimeg]

Статик как раз и нужен чтобы не было ссылки на внешний класс.
Если смотреть глобальнее то static значит "не нужен инстанс внешнего класса".
Статическую филду\метод можно прочитать\вызвать не имея инстанса внешнего класса.
Можно создать объект статического вложенного класса не имея инстанса внешнего класса.

Comments

[Mikhail_dev]

Понятно. В общем получается static вовсе и не static, а просто указатель на то, что можно создавать данный объект без ссылки внешнего объекта.
Я просто привык что статическая переменная - переменная, которая доступна с объекта класса, впрочем как и статический метод. Но они в единичном экземпляре, в то время как тут во множественном.

[bimeg]

По моему, то что переменная в единичном экземпляре это лишь следствие.
А если посмотреть на методы то и не статичные методы тоже в единичном экземпляре, у них просто первым параметром идет интсанс на которм их позвали.

Answer 2

[Power]

Сам класс (мета-сущность - инстанс класса java.lang.Class<OuterClass.InnerStaticClass>) существует в единственном экземпляре, но это относится к любому классу (если не углубляться в класслоадеры). А вот инстансов класса OuterClass.InnerStaticClass можно сделать сколько угодно (на это влияет доступность конструкторов, как обычно):
new OuterClass.InnerStaticClass();
Единственное отличие внутреннего статического класса от внутреннего нестатического - ему не требуется инстанс окружающего класса для создания (ну и после создания он не имеет ссылки на этот самый инстанс окружающего класса):

new OuterClass.InnerNonStaticClass(); // нельзя
OuterClass o = new OuterClass();
new o.InnerNonStaticClass(); // можно
new OuterClass.InnerStaticClass(); // а в случае со статическим классом так можно

Не путайте статический класс со статическими полями класса.

Comments

[Mikhail_dev]

Погодите. У нас класс это и есть объект по сути, объект класса. Он помечается по сути модификатором static. Инстансов может быть много, а для static - объект один.

[bimeg]

В этом контексте инстанс класса и объект класса одно и то же.

[Mikhail_dev]

Ясно, спасибо. Вообще странно, я не встречал раньше данной информации о внутренних статических классов, хотя по сути данная информация должна как минимум в книгах писаться.

[Power]

@Mikhail_dev чуть поменял терминологию, может будет понятнее.

[Power]

@Mikhail_dev Не знаю насчёт книг, но если хотите разобраться в тонкостях, советую почитать Java Language Specification.

[Mikhail_dev]

Мета-сущность - это же метамодель класса - это ведь тоже объект

[bimeg]

Есть метакласс java.lang.Class (который является и классом тоже, т.е. он может описать сам себя Class). Его интсансы описывают классы т.е. Class - описывает класс Integer. Из него можно создать интсансы класса Integer.

Сам класс (например тот что написан на жаве) любой компилируется в файлик Integer.class. После загрузки этого файлика в Жвм появляется новый инстатс класса Class - Class который используется для создания инстансов класса Integer.

[bimeg]

блин. генерики скушало =\

[bimeg]

Есть метакласс java.lang.Class (который является и классом тоже, т.е. он может описать сам себя Class<Class>). Его интсансы описывают классы т.е. Class<Integer> - описывает класс Integer. Из него можно создать интсансы класса Integer.

Сам класс (например тот что написан на жаве) любой компилируется в файлик Integer.class. После загрузки этого файлика в Жвм появляется новый инстанс класса Class - Class<Integer> который используется для создания инстансов класса Integer.

[Mikhail_dev]

Ну, в принципе понял, спасибо =)
С класслодерами дело имел, но помню что я как-то по примеру это делал, и это больше походило на magic для меня =)

[Power]

@Mikhail_dev Да, то, что я назвал мета-сущностью, - это инстанс (он же объект, он же экземпляр) класса java.lang.Class<OuterClass.InnerStaticClass> (как я в общем-то и написал).