Структура данных массива

редактировать
Тип структуры данных

В информатике структура данных массива, или просто массив, представляет собой структуру данных, состоящую из набора элементов (значений или переменных ), каждый из которых идентифицируется хотя бы один индекс или ключ массива. Массив хранится таким образом, чтобы положение каждого элемента можно было вычислить по его индексу кортеж с помощью математической формулы. Простейший тип структуры данных - это линейный массив, также называемый одномерным массивом.

Например, массив из 10 32-битных (4-байтовых) целочисленных переменных с индексами от 0 до 9 может храниться в памяти как 10 слов адресов 2000, 2004, 2008,..., 2036, так что элемент с индексом i имеет адрес 2000 + (i × 4).

Первым вызывается адрес памяти первого элемента массива адрес, адрес фонда или базовый адрес.

Поскольку математическая концепция матрицы может быть представлена ​​как двумерная сетка, двумерные массивы также иногда называют матрицами. В некоторых случаях термин «вектор» используется в вычислениях для обозначения массива, хотя кортежи, а не векторы являются более математически правильным эквивалентом. Таблицы часто реализуются в виде массивов, особенно таблиц поиска ; слово таблица иногда используется как синоним массива.

Массивы являются одними из самых старых и наиболее важных структур данных и используются почти каждой программой. Они также используются для реализации многих других структур данных, таких как списки и строки. Они эффективно используют логику адресации компьютеров. В большинстве современных компьютеров и многих внешних запоминающих устройств память представляет собой одномерный массив слов, индексы которых являются их адресами. Процессоры, особенно векторные процессоры, часто оптимизированы для операций с массивами.

Массивы полезны в основном потому, что индексы элементов могут быть вычислены во время выполнения. Среди прочего, эта функция позволяет одному итеративному оператору обрабатывать произвольно много элементов массива. По этой причине элементы структуры данных массива должны иметь одинаковый размер и использовать одно и то же представление данных. Набор допустимых кортежей индекса и адреса элементов (и, следовательно, формула адресации элементов) обычно, но не всегда, фиксируются, пока массив используется.

Термин массив часто используется для обозначения типа данных массива, разновидности типа данных, предоставляемого большинством языков программирования высокого уровня, которые состоит из набора значений или переменных, которые могут быть выбраны одним или несколькими индексами, вычисляемыми во время выполнения. Типы массивов часто реализуются структурами массивов; однако на некоторых языках они могут быть реализованы с помощью хэш-таблиц, связанных списков, деревьев поиска или других структур данных.

Этот термин также используется, особенно в описании алгоритмов, для обозначения ассоциативного массива или «абстрактного массива», теоретической информатики модель (абстрактный тип данных или ADT), предназначенная для захвата основных свойств массивов.

Содержание
  • 1 История
  • 2 Приложения
  • 3 Идентификатор элемента и формулы адресации
    • 3.1 Одномерные массивы
    • 3.2 Многомерные массивы
    • 3.3 Допинговые векторы
    • 3.4 Компактные схемы
    • 3.5 Изменение размера
    • 3.6 Нелинейные формулы
  • 4 Эффективность
    • 4.1 Сравнение с другими структурами данных
  • 5 Измерение
  • 6 См. Также
  • 7 Ссылки
История

Первые цифровые компьютеры использовали программирование на машинном языке для настройки и доступа к структурам массивов для таблиц данных, векторных и матричных вычислений и для многих других целей. Джон фон Нейман написал первую программу сортировки массивов (сортировка слиянием ) в 1945 году, во время создания первого компьютера с хранимой программой. Индексирование массивов первоначально выполнялось с помощью самомодифицирующегося кода , а позже с использованием индексных регистров и косвенной адресации. Некоторые мэйнфреймы, разработанные в 1960-х годах, такие как Burroughs B5000 и его преемники, использовали сегментацию памяти для выполнения аппаратной проверки границ индекса.

Языки ассемблера обычно имеют никакой специальной поддержки массивов, кроме той, что обеспечивает сама машина. Самые ранние языки программирования высокого уровня, включая FORTRAN (1957), Lisp (1958), COBOL (1960) и ALGOL 60 (1960), поддерживал многомерные массивы, как и C (1972). В C ++ (1983) шаблоны классов существуют для многомерных массивов, размерность которых фиксируется во время выполнения, а также для гибких массивов во время выполнения.

Приложения

Массивы - это используется для реализации математических векторов и матриц, а также других видов прямоугольных таблиц. Многие базы данных, малые и большие, состоят из (или включают) одномерных массивов, элементами которых являются записи.

Массивы используются для реализации других структур данных, таких как списки, кучи, хеш-таблицы, deques, очереди, стеки, строки и списки VList. Реализации других структур данных на основе массивов часто просты и занимают мало места (неявные структуры данных ), требуют мало места накладные расходы, но могут иметь низкую сложность пространства, особенно при изменении, по сравнению в древовидные структуры данных (сравните отсортированный массив с деревом поиска ).

Один или несколько больших массивов иногда используются для имитации внутрипрограммного распределения динамической памяти, особенно выделения пула памяти. Исторически сложилось так, что иногда это был единственный способ переносить «динамическую память».

Массивы могут использоваться для определения частичного или полного потока управления в программах, как компактная альтернатива (иначе повторяющимся) множественным операторам IF. В этом контексте они известны как управляющие таблицы и используются вместе со специально созданным интерпретатором, чей поток управления изменяется в соответствии со значениями, содержащимися в массиве. Массив может содержать указатели подпрограммы (или относительные номера подпрограмм, на которые могут действовать операторы SWITCH ), которые определяют путь выполнения.

Идентификатор элемента и формулы адресации

Когда объекты данных хранятся в массиве, отдельные объекты выбираются по индексу, который обычно является неотрицательным scalar целое число. Индексы также называются индексами. Индекс отображает значение массива в сохраненный объект.

Существует три способа индексирования элементов массива:

0 (индексация с отсчетом от нуля )
Первый элемент массива индексируется нижним индексом 0.
1 (индексирование на основе единицы)
Первый элемент массива индексируется нижним индексом 1.
n (индексирование на основе n)
Базовый индекс массива можно выбрать произвольно. Обычно языки программирования, допускающие индексирование на основе n, также допускают отрицательные значения индекса и другие скалярные типы данных, такие как перечисления или символы может использоваться в качестве индекса массива.

Использование индексации с нулевым отсчетом - это выбор дизайна многих влиятельных языков программирования, включая C, Java и Lisp. Это приводит к более простой реализации, где нижний индекс относится к смещению от начальной позиции массива, поэтому первый элемент имеет нулевое смещение.

Массивы могут иметь несколько измерений, поэтому доступ к массиву с использованием нескольких индексов не редкость. например, два -мерный массив Aс тремя строками и четырьмя столбцами может обеспечить доступ к элементу во 2-й строке и 4-м столбце с помощью выражения A [1] [3]в случае система индексации с нуля. Таким образом, два индекса используются для двумерного массива, три - для трехмерного массива и n - для n-мерного массива.

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

В стандартных массивах каждый индекс ограничен определенным диапазоном последовательных целых чисел (или последовательных значений некоторого перечислимого типа ), а адрес элемента вычисляется "линейным" формула индексов.

Одномерные массивы

Одномерный массив (или одномерный массив) - это тип линейного массива. Для доступа к его элементам используется единственный нижний индекс, который может представлять индекс строки или столбца.

В качестве примера рассмотрим объявление C int anArrayName [10];, которое объявляет одномерный массив из десяти целых чисел. Здесь в массиве может храниться десять элементов типа int. Этот массив имеет индексы от нуля до девяти. Например, выражения anArrayName [0]и anArrayName [9]являются первым и последним элементами соответственно.

Для вектора с линейной адресацией элемент с индексом i расположен по адресу B + c × i, где B - фиксированный базовый адрес, а c - фиксированная константа, иногда называемая приращением адреса или шагом.

Если допустимые индексы элементов начинаются с 0, константа B является просто адресом первого элемента массива. По этой причине в языке программирования C указывается, что индексы массива всегда начинаются с 0; и многие программисты будут называть этот элемент «нулевой », а не «первым».

Однако можно выбрать индекс первого элемента путем соответствующего выбора базового адреса B. Например, если в массиве пять элементов с индексами от 1 до 5, а базовый адрес B заменен на B + 30c, то индексы тех же элементов будут от 31 до 35. Если нумерация не начинается с 0, константа B не может быть адресом какого-либо элемента.

Многомерные массивы

Для многомерного массива элемент с индексами i, j будет иметь адрес B + c · i + d · j, где коэффициенты c и d - это строка и столбец приращения адреса соответственно.

В более общем смысле, в k-мерном массиве адрес элемента с индексами i 1, i 2,..., i k равно

B + c 1 · i 1 + c 2 · i 2 +… + c k · i k.

Например: int a [2] [3];

Это означает, что массив a имеет 2 строки и 3 столбца, а массив имеет целочисленный тип. Здесь мы можем сохранить 6 элементов, они будут храниться линейно, но начиная с первой строки, затем продолжая со второй строки. Вышеупомянутый массив будет сохранен как 11, a 12, a 13, a 21, a 22, a 23.

Эта формула требует только k умножений и k сложений для любого массива, который может поместиться в памяти. Более того, если какой-либо коэффициент представляет собой фиксированную степень 2, умножение может быть заменено битовым сдвигом.

Коэффициенты c k должны быть выбраны так, чтобы каждый действительный индексный кортеж отображался на адрес отдельный элемент.

Если минимальное допустимое значение для каждого индекса равно 0, то B - это адрес элемента, все индексы которого равны нулю. Как и в одномерном случае, индексы элементов могут быть изменены путем изменения базового адреса B. Таким образом, если двумерный массив имеет строки и столбцы с индексами от 1 до 10 и от 1 до 20, соответственно, то замена B на B + c 1 - 3c 2 приведет к их перенумерованию с 0 на 9 и с 4 на 23, соответственно. Используя преимущества этой функции, некоторые языки (например, FORTRAN 77) указывают, что индексы массива начинаются с 1, как в математической традиции, в то время как другие языки (например, Fortran 90, Pascal и Algol) позволяют пользователю выбирать минимальное значение для каждого индекса.

Допинговые векторы

Формула адресации полностью определяется размером d, базовым адресом B и приращениями c 1, c 2,..., с к. Часто бывает полезно упаковать эти параметры в запись, называемую дескриптором массива, вектором шага или вектором допинга. Размер каждого элемента, а также минимальные и максимальные значения, разрешенные для каждого индекса, также могут быть включены в вектор допинга. Вектор допинга - это полный дескриптор для массива и удобный способ передачи массивов в качестве аргументов в процедуры. Многие полезные операции нарезки массива (такие как выбор подмассива, замена индексов или изменение направления индексов) могут быть выполнены очень эффективно, манипулируя вектором допинга.

Компактные макеты

Часто коэффициенты выбираются так, чтобы элементы занимали непрерывную область памяти. Однако в этом нет необходимости. Даже если массивы всегда создаются с непрерывными элементами, некоторые операции нарезки массива могут создавать из них несмежные подмассивы.

Иллюстрация порядка строк и столбцов

Существует два систематических компактных макета для двумерного массива. Например, рассмотрим матрицу

A = [1 2 3 4 5 6 7 8 9]. {\ displaystyle \ mathbf {A} = {\ begin {bmatrix} 1 2 3 \\ 4 5 6 \\ 7 8 9 \ end {bmatrix}}.}{\ displaystyle \ mathbf {A} = {\ begin {bmatrix} 1 2 3 \ \ 4 5 6 \\ 7 8 9 \ end {bmatrix}}.}

В макете строкового порядка (принятом C для статически объявленных массивов), элементы в каждой строке хранятся в последовательных позициях, и все элементы строки имеют более низкий адрес, чем любой из элементов последовательной строки:

123456789

В порядке столбца (традиционно используется Фортраном) элементы в каждый столбец является последовательным в памяти, и все элементы столбца имеют более низкий адрес, чем любой из элементов последовательного столбца:

147258369

Для массивов с тремя или более индексами "основной порядок строк" помещает в последовательные позиции любые два элементы, чьи индексные кортежи отличаются только на единицу в последнем индексе. «Старший порядок столбцов» аналогичен первому индексу.

В системах, которые используют кэш процессора или виртуальную память, сканирование массива выполняется намного быстрее, если последовательные элементы хранятся в последовательных позициях в памяти, а не разбросаны по частям. Многие алгоритмы, использующие многомерные массивы, будут сканировать их в предсказуемом порядке. Программист (или сложный компилятор) может использовать эту информацию для выбора между разметкой по строкам или по столбцам для каждого массива. Например, при вычислении произведения A · B двух матриц было бы лучше, чтобы A сохранялось в порядке строк, а B - в порядке столбцов.

Изменение размера

Статические массивы имеют размер, который фиксируется при их создании и, следовательно, не позволяют вставлять или удалять элементы. Однако, выделяя новый массив и копируя в него содержимое старого массива, можно эффективно реализовать динамическую версию массива; см. динамический массив. Если эта операция выполняется нечасто, вставки в конец массива требуют только амортизированного постоянного времени.

Некоторые структуры данных массива не перераспределяют память, но сохраняют подсчет количества используемых элементов массива, называемый подсчетом или размером. Это фактически делает массив динамическим массивом с фиксированным максимальным размером или емкостью; Строки Паскаля являются примерами этого.

Нелинейные формулы

Иногда используются более сложные (нелинейные) формулы. Для компактного двумерного треугольного массива, например, формула адресации представляет собой полином степени 2.

Эффективность

И сохранение, и выбор дубля (детерминированный худший случай) постоянное время. Массивы занимают линейное (O (n)) пространство в количестве n элементов, которые они содержат.

В массиве с размером элемента k и на машине с размером строки кэша B байтов, итерация по массиву из n элементов требует минимального количества пропусков кэша (nk / B), поскольку его элементы занимают непрерывные ячейки памяти. Это примерно в B / k раз больше, чем количество промахов в кэше, необходимое для доступа к n ​​элементам в случайных ячейках памяти. Как следствие, последовательная итерация по массиву на практике выполняется заметно быстрее, чем итерация по многим другим структурам данных, свойство, называемое locality of reference (это, однако, не означает, что использование совершенного хэша или тривиальный хэш в том же (локальном) массиве не будет даже быстрее - и достижим за постоянное время ). Библиотеки предоставляют низкоуровневые оптимизированные средства для копирования диапазонов памяти (например, memcpy ), которые можно использовать для перемещения смежных блоков элементов массива значительно быстрее, чем это может быть достигнуто с помощью доступа к отдельным элементам. Ускорение таких оптимизированных подпрограмм зависит от размера элемента массива, архитектуры и реализации.

С точки зрения памяти, массивы представляют собой компактные структуры данных без накладных расходов на каждый элемент . Могут быть накладные расходы на каждый массив (например, для хранения границ индекса), но это зависит от языка. Также может случиться так, что элементы, хранящиеся в массиве, требуют меньше памяти, чем те же элементы, хранящиеся в отдельных переменных, потому что несколько элементов массива могут храниться в одном слове ; такие массивы часто называют упакованными массивами. Крайним (но обычно используемым) случаем является битовый массив , где каждый бит представляет один элемент. Таким образом, один октет может содержать до 256 различных комбинаций до 8 различных условий в наиболее компактной форме.

Доступ к массиву со статически предсказуемыми шаблонами доступа является основным источником параллелизма данных.

Сравнение с другими структурами данных

Сравнение структур данных списка
Связанный список Массив Динамический массив Сбалансированное дерево Дерево хешированного массива
ИндексированиеΘ (n)Θ (1)Θ (1)Θ (журнал n)Θ (журнал n)Θ (1)
Вставить / удалить в началеΘ (1)Н / ДΘ (n)Θ (log n)Θ (1)Θ (n)
Вставить / удалить в концеΘ (1), если последний элемент известен;. Θ (n), если последний элемент неизвестенН / ДΘ (1) амортизировано Θ (log n)н / дΘ (1) амортизировано
Вставить / удалить посерединевремя поиска + Θ (1)Н / ДΘ (n)Θ (log n)Н / ДΘ (n)
Пустое пространство (среднее)Θ (n)0Θ(n)Θ (n)Θ (n)Θ (√n)

Динамические массивы или растущие массивы: si похожи на массивы, но добавляют возможность вставки и удаления элементов; добавление и удаление в конце особенно эффективно. Однако они резервируют линейную (Θ (n)) дополнительную память, тогда как массивы не резервируют дополнительную память.

Ассоциативные массивы предоставляют механизм для функций, подобных массиву, без огромных накладных расходов на хранение, когда значения индекса являются разреженными. Например, массив, содержащий значения только с индексами 1 и 2 миллиарда, может выиграть от использования такой структуры. Специализированные ассоциативные массивы с целочисленными ключами включают Патрисия пытается, Массивы Джуди и деревья Ван Эмде Боаса.

Сбалансированные деревья требуют времени O (log n) для индексирования доступа, но также разрешают вставку или удаление элементов за время O (log n), тогда как для растущих массивов требуется линейное (Θ (n)) время для вставки или удаления элементов в произвольной позиции.

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

A двумерный массив, хранящийся как одномерный массив одномерных массивов (строк).

Вектор Илиффа является альтернативой многомерной структуре массива. Он использует одномерный массив и ссылается на на массивы на одну размерность меньше. В частности, для двух измерений эта альтернативная структура была бы вектором указателей на векторы, по одному для каждой строки (указатель на c или c ++). Таким образом, доступ к элементу в строке i и столбце j массива A будет осуществляться путем двойной индексации (A [i] [j] в типичной записи). Эта альтернативная структура допускает зубчатые массивы, где каждая строка может иметь разный размер - или, в общем, где допустимый диапазон каждого индекса зависит от значений всех предыдущих индексов. Он также сохраняет одно умножение (на приращение адреса столбца), заменяя его на битовый сдвиг (для индексации

Dimension

Размерность массива - это количество индексов, необходимых для выбора элемента Таким образом, если массив рассматривается как функция на множестве возможных комбинаций индексов, это измерение пространства, в котором его домен является дискретным подмножеством. Таким образом, одномерный массив - это список данных, двумерный размерный массив - это прямоугольник данных, трехмерный массив - блок данных и т. д.

Это не следует путать с размерностью набора всех матриц с заданным доменом, то есть числом элементов в массиве. Например, массив с 5 строками и 4 столбцами является двумерным, но такие матрицы образуют 20-мерное пространство. Точно так же трехмерный вектор может быть представлен одномерным массивом размера 3.

См. также
  • icon Портал компьютерного программирования
Ссылки
Искать массив в Викисловаре, бесплатный словарь.
В Викиучебнике есть книга на тему: Структуры данных / массивы
Викискладе есть материалы, связанные с Структура данных массива.
Последняя правка сделана 2021-06-11 20:03:44
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте