Массив — тип данных в виде набора элементов, расположенных в памяти непосредственно друг за другом. Массив, в отличие от списка, является структурой с произвольным доступом при указании индекса нужного элемента.
Массивы подразделяются на типы, в зависимости от формальных признаков.
По возможности изменения размера массивы могут быть:
- Фиксированной длины, задаваемой на этапе создания массива (Java, C, C++, .NET)
- Динамическими, т.е. их размер меняется автоматически при добавлении новых элементов (PHP, JavaScript, Perl)
- Псевдо-динамическими, когда длину массива менять можно(без пересоздания массива), но делать необходимо самому, используя соответствующие методы (Pascal)
По допустимым значениям индексов:
Индексированные. Массивы, в которых каждый элемент имеет уникальный целочисленный индекс. Индексы массива представляют непрерывную последовательность натуральных чисел, обычно начинающихся с 0 (большинство языков программирования), либо с 1 (Fortran)
Ассоциативные. Массивы, где в качестве индексов(ключей) могут использоваться произвольные значения. Фактически, такие массивы представляют собой структуры, хранящие пары "ключ"/"значение". Из основных языков программирования подобные структуры данных называются массивами только в PHP. В других языках такие структуры также присутствуют, но обычно зазываются иначе: Map в Java, C++, Go; Dictionary в C#, Swift, Delphi; Hash в Ruby и т.д.
По размерности:
- Самый простой случай - одномерный. Это обычный массив, содержащий последовательность значений. С математической точки зрения одномерный массив примерно соответствует вектору.
- Многомерный. Массив? имеющий два или более индексов. С математической точки зрения двумерный массив примерно соответствует матрице, трехмерный - кубической матрице и т.д.
Обычно используются одномерные и двумерные массивы, реже - трехмерные. Массивы большей размерности используются крайне редко. Самый наглядный пример применения массивов большой размерности - разбор json в массив в PHP, что порождает конструкции вида: $json['list']['singers']['Pink Floyd']['discography']['Dark side of the Moon'][1]['author']
По строгости типизации ключей/значений:
Строго типизированные. Массивы, в которых можно использовать ключи и значения строго заданных(обычно в момент их декларации) типов. Такие массивы используются в большинстве языков программирования.
Нестрого типизированные. Массивы, в которых разные ключи/значения могут быть объектами/скалярами разных типов. Самый яркий пример - PHP, например,
$array = [1,'first', new Date(), null, false]
Также существует обходной путь, позволяющий реализовать поведение второго типа в языках, использующих строгую типизацию. Например, в Java можно определить следующую структуру: Map<Object, Object>
