5

Все мы знаем, что язык программирования Java является чисто объектным языком. Все сущности, с которыми нам приходится иметь дело и осуществлять какие-либо манипуляции, являются объектами (за исключением примитивов), в том числе и массивы. То бишь, если говорить совсем уж простыми словами, то любой массив является конкретным объектом в памяти. Java является сильно типизированным языком. Хоть и градация на языки со слабой и сильной типизацией данных является весьма условной, но Java, так или иначе, больше относится к языкам с сильной типизацией. Это ведёт нас к тому, что все данные имеют свой фиксированный тип (или класс, если говорить в терминах ООП). Вот здесь и вся загвоздка! Мне всегда хотелось узнать, каким образом описываются массивы, как некоторые абстрактные сущности, на физическом уровне. Я понимаю, что невозможно найти готовый класс, в котором бы была описана структура массивов, по той простой причине, что данная сущность является одной из фундаментальных (на равне с примивными типами данных) и её реализация спрятана где-то на уровне JVM или в каком-то другом месте.

Давайте рассмотрим тривиальный пример. Мы знаем, что размер любого массива является фиксированным и определяется на этапе создания самого массива. Сведения о размере массива хранятся в целочисленной переменной с одноимённым названием length. Сразу же возникает вопрос относительно этого поля. Откуда оно взялось? Где можно проследить всю эту внутреннюю логику (если можно так выразиться)? Идём далее. Создали массив в памяти, при этом сразу же указали его размер. Размер массива соответствует количеству однотипных элементов, которые могут храниться в этом массиве. И тут опять-таки вопрос. По какой логике JVM определяет количество элементов, которое нам необходимо? Точнее не совсем так. Понятное дело, что мы сами указываем размер массива, но разве количество полей для отдельно взятого типа данных не должно быть фиксированным?! Есть ли какой-нибудь код (пусть даже псевдокод), который мог бы хоть немного пролить свет на данный вопрос.

8
  • 1
    Посмотрите исходники 31 авг 2018 в 16:25
  • 1
    @Lexoid Посмотри здесь Class Array
    – Nick_Jv
    31 авг 2018 в 19:52
  • 1
    На уровне JVM существует всего несколько реализаций массивов. Каждый под отдельный тип хранимого содержимого. Если это примитивный тип, то для int это блок памяти размером 4 * n байт, если это ссылочный тип, то уже может быть как 4n так и 8n в зависимости от разрядности системы. Объект в массивах не хранится, в массиве хранятся только ссылки на объекты, а ссылки имеет фиксированную длину. В общем, ничего непонятного не вижу. 31 авг 2018 в 19:56
  • 1
    @Lexoid От разрядности системы зависит размер ссылки на объект. В 64х разрядной они в два раза больше. Потому в 32х перхеменная int занимает в действительности занимает 128 бит, а в 64х - 224 битв. Размер примитивов для массивов остается неизменным, но тут я утверждать не буду. Там свои тонкости есть, типа как переменная boolean вроде бы она может хранить свое значение только в одном бите, но вместо этого использует память как полноценная переменная byte 8 бит. 1 сен 2018 в 6:09
  • 1
    slideshare.net/cnbailey/java-code-to-java-heap Просмотрите это. Полезно 1 сен 2018 в 6:09

1 ответ 1

5

Надеюсь мой ответ Вам поможет. Также прикрепил ссылки на источники, для подробного изучения.

  • В Java, массивы являются объектами и наследуются от Object
  • Переменные в массиве упорядочены, индексация массива начинается с 0.

Когда мы создаем объект массива с помощью new, в куче выделяется под это дело память и возвращает нам ссылку. Но как так получается? Тип массива записывается как type [], где type - тип данных содержащихся элементов; скобки[] - это специальные символы, указывающие, что эта переменная содержит массив; число которое передаем в new int[5] - размер нашего массива.

введите сюда описание изображения

Что представляет собой массив Java в памяти?

  • Размер массива не является частью его типа, поэтому скобки пустые int[] array;
  • массив объектов будет содержать ссылки на эти объекты, а если он пока не инициализирован, то null (Значения по умолчанию в Java)

Подробнее про массивы можно почитать тут: https://docs.oracle.com/javase/tutorial/java/nutsandbolts/arrays.html

Чтобы подробнее понять как создается массив рассмотрим эквивалентную запись:

String[] array = (String[]) Array.newInstance(String.class, 3);

эта запись равна этой:

String[] array = new String[3];

метод (Class<?> componentType, int length) возвращает нам newArray(componentType, length), а вот уже реализация newArray() является native. И этот прекрасный и скрытый от наших глаз метод возвращает нам наш массив и дальше мы приводим к class [Ljava.lang.String с помощью (String[]) Array.newInstance(String.class, 3).

Ссылки на источники:

На уровне JVM, на примере int[]:

  • Новый массив целых чисел создается во время выполнения операции newarray int
  • Размер массива должен быть в стеке до выполнения этой операции; операция оставляет в стеке ссылку на массив. Ссылки загружаются и сохраняются с помощью операций iaload var и iastore var.

Стоит сказать, что на уровне JVM в зависимости от типа будут вызваны соответствующие команды. Подробнее: https://www.artima.com/underthehood/objectsP.html

  • если ссылка на массив находится в верхней части стека, операция arraylength оставит длину массива поверх стека. И наверное как раз ее нам возвращает метод Array.getLength(array)

Подробнее:

10
  • 1
    Получается что от массива можно наследоваться?
    – user194625
    1 сен 2018 в 2:40
  • 1
    @Flippy он помечен final наверно
    – aquaprogit
    1 сен 2018 в 6:05
  • 1
    SeeSharp прав,он помечен как final
    – Nick_Jv
    1 сен 2018 в 12:46
  • 1
    @Lexoid В самой документации написано, что класс Array предоставляет статические методы для динамического создания и доступа к массивам Java.
    – Nick_Jv
    1 сен 2018 в 13:05
  • 1
    @Lexiod Я предполагаю, что на выходе мы получаем Object . JVM знает как построен этот объект и знает к какому типу можно его преобразовать или ClassCastException (что можно проверить, например: Object array = (String) Array.newInstance(String.class, 3) , а вот Object array = (String[]) Array.newInstance(String.class, 3) отработает без нареканий). На эту тему у меня не получилось ничего найти, поэтому извиняйте, точно что происходит сказать не могу.
    – Nick_Jv
    1 сен 2018 в 13:47

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.