1.1.3 Реализация массивов

Стандартным способом реализации статических массивов с одним типом элементов является следующий:

Под массив выделяется непрерывный блок памяти объёмом

S*m₁*m₂*m₃…m_n,

где S -- размер одного элемента, а m₁…m_n -- размеры диапазонов индексов (то есть количество значений, которые может принимать соответствующий индекс).

При обращении к элементу массива A[i₁, i₂, i₃, … i_n] адрес соответствующего элемента вычисляется как

B+S*(i_1p*m₁+i_2p*m₂+…+i_(n-1)p*_mn-1+i_np),

где B -- база (адрес начала блока памяти массива), i_kp-значение k-го индекса, приведённое к целому с нулевым начальным смещением.

Таким образом, адрес элемента с заданным набором индексов вычисляется так, что время доступа ко всем элементам массива одинаково. Первый элемент массива, в зависимости от языка программирования, может иметь различный индекс. Различают три основных разновидности массивов: с отсчетом от нуля (zero-based), с отсчетом от единицы (one-based) и с отсчетом от специфического значения заданного программистом (n-based).

Отсчет индекса элемента массивов с нуля более характерен для низкоуровневых языков программирования, однако этот метод был популяризирован в языках более высокого уровня языком программирования С.

Более сложные типы массивов -- динамические и гетерогенные -- реализуются сложнее.