4.1 Массив¶
Массив (array) - это линейная структура данных, которая хранит элементы одного типа в непрерывной области памяти. Положение элемента в массиве называется его индексом (index). На рисунке 4-1 показаны основные понятия, связанные с массивом, и способ его хранения.

Рисунок 4-1 Определение массива и способ хранения
4.1.1 Основные операции с массивом¶
1. Инициализация массива¶
В зависимости от задачи мы можем выбрать один из двух способов инициализации массива: без начальных значений или с заданными начальными значениями. Если начальные значения не указаны, большинство языков программирования инициализируют элементы массива значением \(0\) :
/* Инициализация массива */
var arr [5]int
// В Go указание длины ([5]int) создает массив, а отсутствие длины ([]int) - срез
// Поскольку длина массива в Go определяется на этапе компиляции, для задания длины можно использовать только константы
// Чтобы упростить реализацию метода extend(), ниже будем рассматривать срезы (Slice) как массивы (Array)
nums := []int{1, 3, 2, 5, 4}
/* Инициализация массива */
let arr: [i32; 5] = [0; 5]; // [0, 0, 0, 0, 0]
let slice: &[i32] = &[0; 5];
// В Rust указание длины ([i32; 5]) создает массив, а отсутствие длины (&[i32]) - срез
// Поскольку длина массива в Rust определяется на этапе компиляции, для задания длины можно использовать только константы
// Vector в Rust обычно используется как динамический массив
// Чтобы упростить реализацию метода extend(), ниже будем рассматривать vector как массив (array)
let nums: Vec<i32> = vec![1, 3, 2, 5, 4];
Визуализация выполнения
https://pythontutor.com/render.html#code=%23%20%D0%98%D0%BD%D0%B8%D1%86%D0%B8%D0%B0%D0%BB%D0%B8%D0%B7%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D1%82%D1%8C%20%D0%BC%D0%B0%D1%81%D1%81%D0%B8%D0%B2%0Aarr%20%3D%20%5B0%5D%20%2A%205%20%20%23%20%5B%200%2C%200%2C%200%2C%200%2C%200%20%5D%0Anums%20%3D%20%5B1%2C%203%2C%202%2C%205%2C%204%5D&cumulative=false&curInstr=0&heapPrimitives=nevernest&mode=display&origin=opt-frontend.js&py=311&rawInputLstJSON=%5B%5D&textReferences=false
2. Доступ к элементам¶
Элементы массива хранятся в непрерывной области памяти, а это означает, что вычислить адрес любого элемента очень просто. Зная адрес массива в памяти (то есть адрес первого элемента) и индекс некоторого элемента, мы можем по формуле с рисунка ниже вычислить адрес этого элемента и напрямую обратиться к нему.

Рисунок 4-2 Вычисление адреса элемента массива
Если посмотреть на рисунок 4-2, можно заметить, что индекс первого элемента массива равен \(0\) , и это кажется не слишком интуитивным, ведь естественнее было бы начинать счет с \(1\) . Однако с точки зрения формулы адресации индекс по сути является смещением относительно адреса памяти. Смещение первого элемента равно \(0\) , поэтому индекс \(0\) вполне логичен.
Доступ к элементам массива очень эффективен: любой элемент массива можно получить за \(O(1)\) времени.
/* Случайный доступ к элементу */
int randomAccess(int[] nums) {
// Случайным образом выбрать число из интервала [0, nums.length)
int randomIndex = ThreadLocalRandom.current().nextInt(0, nums.length);
// Получить и вернуть случайный элемент
int randomNum = nums[randomIndex];
return randomNum;
}
/* Случайный доступ к элементу */
function randomAccess(nums: number[]): number {
// Случайным образом выбрать число из интервала [0, nums.length)
const random_index = Math.floor(Math.random() * nums.length);
// Получить и вернуть случайный элемент
const random_num = nums[random_index];
return random_num;
}
/* Случайный доступ к элементу */
fun randomAccess(nums: IntArray): Int {
// Случайным образом выбрать число из интервала [0, nums.size)
val randomIndex = ThreadLocalRandom.current().nextInt(0, nums.size)
// Получить и вернуть случайный элемент
val randomNum = nums[randomIndex]
return randomNum
}
Визуализация кода
3. Вставка элемента¶
Элементы массива в памяти расположены "вплотную" друг к другу, и между ними нет места для размещения новых данных. Как показано на рисунке 4-3, если мы хотим вставить элемент в середину массива, то все элементы после этой позиции нужно сдвинуть на одну позицию вправо, а затем записать новое значение в освободившийся индекс.

Рисунок 4-3 Пример вставки элемента в массив
Стоит отметить, что длина массива фиксирована, поэтому вставка нового элемента неизбежно приведет к "потере" элемента на конце массива. Решение этой проблемы мы оставим для обсуждения в разделе о "списках".
def insert(nums: list[int], num: int, index: int):
"""Вставить элемент num по индексу index в массив"""
# Сдвинуть элемент с индексом index и все последующие элементы на одну позицию назад
for i in range(len(nums) - 1, index, -1):
nums[i] = nums[i - 1]
# Присвоить num элементу по индексу index
nums[index] = num
/* Вставить элемент num по индексу index в массив */
void insert(int *nums, int size, int num, int index) {
// Сдвинуть элемент с индексом index и все последующие элементы на одну позицию назад
for (int i = size - 1; i > index; i--) {
nums[i] = nums[i - 1];
}
// Присвоить num элементу по индексу index
nums[index] = num;
}
/* Вставить элемент num по индексу index в массив */
void insert(int[] nums, int num, int index) {
// Сдвинуть элемент с индексом index и все последующие элементы на одну позицию назад
for (int i = nums.length - 1; i > index; i--) {
nums[i] = nums[i - 1];
}
// Присвоить num элементу по индексу index
nums[index] = num;
}
/* Вставить элемент num по индексу index в массив */
void Insert(int[] nums, int num, int index) {
// Сдвинуть элемент с индексом index и все последующие элементы на одну позицию назад
for (int i = nums.Length - 1; i > index; i--) {
nums[i] = nums[i - 1];
}
// Присвоить num элементу по индексу index
nums[index] = num;
}
/* Вставить элемент num по индексу index в массив */
func insert(nums []int, num int, index int) {
// Сдвинуть элемент с индексом index и все последующие элементы на одну позицию назад
for i := len(nums) - 1; i > index; i-- {
nums[i] = nums[i-1]
}
// Присвоить num элементу по индексу index
nums[index] = num
}
/* Вставить элемент num по индексу index в массив */
func insert(nums: inout [Int], num: Int, index: Int) {
// Сдвинуть элемент с индексом index и все последующие элементы на одну позицию назад
for i in nums.indices.dropFirst(index).reversed() {
nums[i] = nums[i - 1]
}
// Присвоить num элементу по индексу index
nums[index] = num
}
/* Вставить элемент num по индексу index в массив */
function insert(nums, num, index) {
// Сдвинуть элемент с индексом index и все последующие элементы на одну позицию назад
for (let i = nums.length - 1; i > index; i--) {
nums[i] = nums[i - 1];
}
// Присвоить num элементу по индексу index
nums[index] = num;
}
/* Вставить элемент num по индексу index в массив */
function insert(nums: number[], num: number, index: number): void {
// Сдвинуть элемент с индексом index и все последующие элементы на одну позицию назад
for (let i = nums.length - 1; i > index; i--) {
nums[i] = nums[i - 1];
}
// Присвоить num элементу по индексу index
nums[index] = num;
}
/* Вставить элемент _num по индексу index в массив */
void insert(List<int> nums, int _num, int index) {
// Сдвинуть элемент с индексом index и все последующие элементы на одну позицию назад
for (var i = nums.length - 1; i > index; i--) {
nums[i] = nums[i - 1];
}
// Присвоить _num элементу по индексу index
nums[index] = _num;
}
/* Вставить элемент num по индексу index в массив */
fn insert(nums: &mut [i32], num: i32, index: usize) {
// Сдвинуть элемент с индексом index и все последующие элементы на одну позицию назад
for i in (index + 1..nums.len()).rev() {
nums[i] = nums[i - 1];
}
// Присвоить num элементу по индексу index
nums[index] = num;
}
/* Вставить элемент num по индексу index в массив */
void insert(int *nums, int size, int num, int index) {
// Сдвинуть элемент с индексом index и все последующие элементы на одну позицию назад
for (int i = size - 1; i > index; i--) {
nums[i] = nums[i - 1];
}
// Присвоить num элементу по индексу index
nums[index] = num;
}
/* Вставить элемент num по индексу index в массив */
fun insert(nums: IntArray, num: Int, index: Int) {
// Сдвинуть элемент с индексом index и все последующие элементы на одну позицию назад
for (i in nums.size - 1 downTo index + 1) {
nums[i] = nums[i - 1]
}
// Присвоить num элементу по индексу index
nums[index] = num
}
### Вставка элемента num по индексу index в массив ###
def insert(nums, num, index)
# Сдвинуть элемент с индексом index и все последующие элементы на одну позицию назад
for i in (nums.length - 1).downto(index + 1)
nums[i] = nums[i - 1]
end
# Присвоить num элементу по индексу index
nums[index] = num
end
Визуализация кода
4. Удаление элемента¶
Аналогично, как показано на рисунке 4-4, если нужно удалить элемент по индексу \(i\) , то все элементы после индекса \(i\) необходимо сдвинуть на одну позицию влево.

Рисунок 4-4 Пример удаления элемента из массива
Обрати внимание: после удаления исходный последний элемент становится "бессмысленным", поэтому специально изменять его не требуется.
Визуализация кода
В целом операции вставки и удаления в массиве имеют следующие недостатки.
- Высокая временная сложность: средняя временная сложность и вставки, и удаления равна \(O(n)\) , где \(n\) - длина массива.
- Потеря элементов: поскольку длина массива неизменяема, после вставки элементы, выходящие за пределы длины массива, будут потеряны.
- Потери памяти: можно заранее инициализировать более длинный массив и использовать только его переднюю часть; тогда "теряемые" при вставке элементы на конце не будут нести смысла, но такой подход приводит к лишнему расходу памяти.
5. Обход массива¶
В большинстве языков программирования массив можно обходить как по индексу, так и напрямую перебирая каждый элемент:
def traverse(nums: list[int]):
"""Обход массива"""
count = 0
# Обход массива по индексам
for i in range(len(nums)):
count += nums[i]
# Непосредственно обходить элементы массива
for num in nums:
count += num
# Одновременно обходить индексы и элементы данных
for i, num in enumerate(nums):
count += nums[i]
count += num
/* Обход массива */
func traverse(nums []int) {
count := 0
// Обход массива по индексам
for i := 0; i < len(nums); i++ {
count += nums[i]
}
count = 0
// Непосредственно обходить элементы массива
for _, num := range nums {
count += num
}
// Одновременно обходить индексы и элементы данных
for i, num := range nums {
count += nums[i]
count += num
}
}
/* Обход массива */
func traverse(nums: [Int]) {
var count = 0
// Обход массива по индексам
for i in nums.indices {
count += nums[i]
}
// Непосредственно обходить элементы массива
for num in nums {
count += num
}
// Одновременно обходить индексы и элементы данных
for (i, num) in nums.enumerated() {
count += nums[i]
count += num
}
}
/* Перебрать элементы массива */
void traverse(List<int> nums) {
int count = 0;
// Обход массива по индексам
for (var i = 0; i < nums.length; i++) {
count += nums[i];
}
// Непосредственно обходить элементы массива
for (int _num in nums) {
count += _num;
}
// Перебрать массив методом forEach
nums.forEach((_num) {
count += _num;
});
}
Визуализация кода
6. Поиск элемента¶
Чтобы найти заданный элемент в массиве, нужно пройти по массиву и на каждой итерации проверять, совпадает ли значение; если совпадает, вернуть соответствующий индекс.
Поскольку массив - это линейная структура данных, такая операция поиска называется "линейным поиском".
Визуализация кода
7. Расширение массива¶
В сложной системной среде программа не может гарантировать, что память сразу после массива доступна, поэтому безопасно расширить емкость массива невозможно. Поэтому в большинстве языков программирования длина массива неизменяема.
Если мы хотим расширить массив, нужно заново создать больший массив и затем по одному скопировать в него элементы исходного массива. Это операция с временной сложностью \(O(n)\) , и при больших массивах она очень затратна. Соответствующий код показан ниже:
def extend(nums: list[int], enlarge: int) -> list[int]:
"""Увеличить длину массива"""
# Инициализировать массив увеличенной длины
res = [0] * (len(nums) + enlarge)
# Скопировать все элементы исходного массива в новый массив
for i in range(len(nums)):
res[i] = nums[i]
# Вернуть новый массив после расширения
return res
/* Увеличить длину массива */
int *extend(int *nums, int size, int enlarge) {
// Инициализировать массив увеличенной длины
int *res = new int[size + enlarge];
// Скопировать все элементы исходного массива в новый массив
for (int i = 0; i < size; i++) {
res[i] = nums[i];
}
// Освободить память
delete[] nums;
// Вернуть новый массив после расширения
return res;
}
/* Увеличить длину массива */
int[] extend(int[] nums, int enlarge) {
// Инициализировать массив увеличенной длины
int[] res = new int[nums.length + enlarge];
// Скопировать все элементы исходного массива в новый массив
for (int i = 0; i < nums.length; i++) {
res[i] = nums[i];
}
// Вернуть новый массив после расширения
return res;
}
/* Увеличить длину массива */
int[] Extend(int[] nums, int enlarge) {
// Инициализировать массив увеличенной длины
int[] res = new int[nums.Length + enlarge];
// Скопировать все элементы исходного массива в новый массив
for (int i = 0; i < nums.Length; i++) {
res[i] = nums[i];
}
// Вернуть новый массив после расширения
return res;
}
/* Увеличить длину массива */
func extend(nums []int, enlarge int) []int {
// Инициализировать массив увеличенной длины
res := make([]int, len(nums)+enlarge)
// Скопировать все элементы исходного массива в новый массив
for i, num := range nums {
res[i] = num
}
// Вернуть новый массив после расширения
return res
}
/* Увеличить длину массива */
func extend(nums: [Int], enlarge: Int) -> [Int] {
// Инициализировать массив увеличенной длины
var res = Array(repeating: 0, count: nums.count + enlarge)
// Скопировать все элементы исходного массива в новый массив
for i in nums.indices {
res[i] = nums[i]
}
// Вернуть новый массив после расширения
return res
}
/* Увеличить длину массива */
// Обратите внимание: Array в JavaScript — это динамический массив, его можно расширять напрямую
// Для удобства обучения в этой функции Array рассматривается как массив неизменяемой длины
function extend(nums, enlarge) {
// Инициализировать массив увеличенной длины
const res = new Array(nums.length + enlarge).fill(0);
// Скопировать все элементы исходного массива в новый массив
for (let i = 0; i < nums.length; i++) {
res[i] = nums[i];
}
// Вернуть новый массив после расширения
return res;
}
/* Увеличить длину массива */
// Обратите внимание: Array в TypeScript — это динамический массив, его можно расширять напрямую
// Для удобства обучения в этой функции Array рассматривается как массив неизменяемой длины
function extend(nums: number[], enlarge: number): number[] {
// Инициализировать массив увеличенной длины
const res = new Array(nums.length + enlarge).fill(0);
// Скопировать все элементы исходного массива в новый массив
for (let i = 0; i < nums.length; i++) {
res[i] = nums[i];
}
// Вернуть новый массив после расширения
return res;
}
/* Увеличить длину массива */
List<int> extend(List<int> nums, int enlarge) {
// Инициализировать массив увеличенной длины
List<int> res = List.filled(nums.length + enlarge, 0);
// Скопировать все элементы исходного массива в новый массив
for (var i = 0; i < nums.length; i++) {
res[i] = nums[i];
}
// Вернуть новый массив после расширения
return res;
}
/* Увеличить длину массива */
fn extend(nums: &[i32], enlarge: usize) -> Vec<i32> {
// Инициализировать массив увеличенной длины
let mut res: Vec<i32> = vec![0; nums.len() + enlarge];
// Скопировать все элементы исходного массива в новый
res[0..nums.len()].copy_from_slice(nums);
// Вернуть новый массив после расширения
res
}
/* Увеличить длину массива */
int *extend(int *nums, int size, int enlarge) {
// Инициализировать массив увеличенной длины
int *res = (int *)malloc(sizeof(int) * (size + enlarge));
// Скопировать все элементы исходного массива в новый массив
for (int i = 0; i < size; i++) {
res[i] = nums[i];
}
// Инициализировать расширенное пространство
for (int i = size; i < size + enlarge; i++) {
res[i] = 0;
}
// Вернуть новый массив после расширения
return res;
}
/* Увеличить длину массива */
fun extend(nums: IntArray, enlarge: Int): IntArray {
// Инициализировать массив увеличенной длины
val res = IntArray(nums.size + enlarge)
// Скопировать все элементы исходного массива в новый массив
for (i in nums.indices) {
res[i] = nums[i]
}
// Вернуть новый массив после расширения
return res
}
### Увеличить длину массива ###
# Обратите внимание: Array в Ruby является динамическим массивом и может расширяться напрямую
# Для удобства обучения в этой функции Array рассматривается как массив неизменяемой длины
def extend(nums, enlarge)
# Инициализировать массив увеличенной длины
res = Array.new(nums.length + enlarge, 0)
# Скопировать все элементы исходного массива в новый массив
for i in 0...nums.length
res[i] = nums[i]
end
# Вернуть новый массив после расширения
res
end
Визуализация кода
4.1.2 Преимущества и ограничения массива¶
Массив хранится в непрерывной области памяти, и все его элементы имеют один и тот же тип. Такой подход содержит много априорной информации, которую система может использовать для оптимизации эффективности операций со структурой данных.
- Высокая пространственная эффективность: массив выделяет для данных непрерывный блок памяти без дополнительного структурного накладного расхода.
- Поддержка произвольного доступа: массив позволяет обращаться к любому элементу за \(O(1)\) времени.
- Локальность кэша: при обращении к элементу массива компьютер загружает не только сам элемент, но и соседние данные, что позволяет использовать кэш для ускорения последующих операций.
Хранение в непрерывной области памяти - палка о двух концах, и у него есть следующие ограничения.
- Низкая эффективность вставки и удаления: когда элементов в массиве много, вставка и удаление требуют сдвига большого количества элементов.
- Неизменяемая длина: после инициализации длина массива фиксирована; расширение массива требует копирования всех данных в новый массив, что стоит дорого.
- Потери памяти: если выделенный массив больше, чем реально необходимо, лишнее пространство пропадает впустую.
4.1.3 Типичные применения массива¶
Массив - это базовая и очень распространенная структура данных. Он часто используется как в различных алгоритмах, так и при реализации более сложных структур данных.
- Произвольный доступ: если мы хотим случайным образом выбирать некоторые образцы, можно сохранить их в массиве и сгенерировать случайную последовательность индексов для выборки.
- Сортировка и поиск: массив - самая распространенная структура данных для алгоритмов сортировки и поиска. Быстрая сортировка, сортировка слиянием, бинарный поиск и многие другие алгоритмы в основном работают именно с массивами.
- Таблица поиска: когда нужно быстро находить элемент или его соответствие, массив можно использовать как lookup table. Например, если мы хотим реализовать отображение символов в коды ASCII, можно использовать значение ASCII как индекс, а соответствующий элемент хранить по этой позиции массива.
- Машинное обучение: в нейронных сетях широко используются операции линейной алгебры над векторами, матрицами и тензорами, и все эти данные строятся в форме массивов. Массив - самая часто используемая структура данных в программировании нейросетей.
- Реализация структур данных: массивы можно использовать для реализации стеков, очередей, хеш-таблиц, куч, графов и других структур данных. Например, матрица смежности графа по сути является двумерным массивом.