R.8.2.4 Массивы

R.8.2.4 Массивы

В описании T D, в котором D имеет вид

D1 [ выражение-константа opt ]

описывается идентификатор типа "… массив T". Если выражение-константа присутствует (§R.5.19), то оно должно иметь целочисленный тип и значение, большее 0. Это выражение задает число элементов массива. Если значение выражения-константы есть N, то массив имеет N элементов с индексами от 0 до N-1.

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

Если подряд идут несколько спецификаций "массив…", образуется многомерный массив, причем выражение-константа, задающее границы массива, может отсутствовать только для первого массива. Такое умолчание полезно в случае параметров функции типа массив, а также когда массив является внешним, а его определение, с которым связано резервирование памяти, находится в другом месте. Первое выражение-константа может быть пропущено и в том случае, если за описателем следует список-инициализаторов (§R.8.4). Тогда размер массива определяется числом элементов, приведенных в инициализаторе (§R.8.4.1).

В описании

float fa[17], *afp[17];

описаны массив чисел типа float и массив указателей на числа типа float, а в описании

static int x3d[3][5][7];

описан статический трехмерный массив целых размера 3?5?7. Строго говоря, x3d является массивом из трех элементов, каждый из которых есть массив из пяти массивов, а каждый из последних является массивом из семи целых. В выражении допустимо появление любого из следующих выражений: x3d, x3d[i], x3d[i][j], x3d[i][j][k].

Если в выражении участвует идентификатор типа массив, то, исключая случаи операнда в операциях sizeof или& и инициализатора для ссылки (§R.8.4.3), его тип преобразуется в указатель на первый элемент массива. Несмотря на это преобразование, массивы не являются изменяемыми адресами. Если не считать случай использования массива при описании класса (§R.13.4.5), операция индексации определяется так, что E1[E2] совпадает с *((E1) + (E2)). С учетом правил преобразования типов для операции +, если E1 есть массив, а E2 целое, то E1[E2] указывает на E2-элемент из E1. Поэтому, несмотря на свой асиметричный вид, индексация - коммутативная операция.

Аналогичное правило действует и для многомерных массивов. Если E - n-мерный массив размера ixjx…xk, то в выражении он преобразуется в указатель на (n-1)-мерный массив размера jx…xk. Если к этому указателю явно или неявно в результате индексации применяется операция *, указуемый (n-1)-мерный массив сам немедленно преобразуется в указатель.

Например, рассмотрим описание

int x[3][5];

Здесь описан массив из 3?5 целых. Если в выражении появляется x, то оно преобразуется в указатель на первый массив из пяти целых. Если в выражении появляется x[i], что эквивалентно *(x+i), в начале x преобразуется в указатель, как было сказано выше, затем x+i преобразуется к типу x, для чего необходимо i умножить на размер объекта, на который указывает x, т.е. на размер пяти целых. Затем происходит сложение и применяется косвенность, после чего получим массив (из пяти целых), который в свою очередь преобразуется в указатель на первое из целых. Если есть еще одна индексация, процесс повторяется, и на этот раз мы получим в результате целое.

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

Поделитесь на страничке

Следующая глава >

Похожие главы из других книг:

Массивы

Из книги автора

Массивы Массив — это пронумерованный набор переменных (элементов), фактически хранящийся в одной переменной. Доступ к отдельному элементу массива выполняется по его порядковому номеру, называемому индексом. А общее число элементов массива называется его


8.3. Массивы

Из книги автора

8.3. Массивы Интерпретатор bash поддерживает одномерные массивы с неограниченным числом элементов. В других оболочках существуют определенные ограничения на массивы, например, в ksh максимальное число элементов массива ограничено 1024 элементами.Нумерация элементов


Массивы

Из книги автора

Массивы По умолчанию указатели, передаваемые через параметры, полагаются указателями на единичные экземпляры, а не на массивы. Для передачи массива в качестве параметра можно использовать синтаксис С для массивов и/или специальные атрибуты IDL для представления


Массивы

Из книги автора

Массивы Массивы в С++ объявляются с указанием количества элементов массива в квадратных скобках после имени переменной массива. Допускаются двумерные массивы, т.е. массив массивов. Ниже приводится определение одномерного массива, содержащего 10 элементов типа int:int


R.8.2.4 Массивы

Из книги автора

R.8.2.4 Массивы В описании T D, в котором D имеет видD1 [ выражение-константа opt ]описывается идентификатор типа "… массив T". Если выражение-константа присутствует (§R.5.19), то оно должно иметь целочисленный тип и значение, большее 0. Это выражение задает число элементов массива.


Массивы

Из книги автора

Массивы Для создания множества одинаковых объектов в 3ds Max есть специальная команда Array (Массив). Преимущество массивов заключается в том, что можно быстро создать большое количество объектов, сразу же указав, на сколько они будут сдвинуты, на какой угол повернуты и как


8.1. Массивы

Из книги автора

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


Массивы

Из книги автора

Массивы Массив — это упорядоченная именованная совокупность однотипных значений, к которым можно обращаться по их порядковому номеру (индексу). Для описания массивов в языке Object Pascal используют следующие формы:• array [1..N1] of type — одномерный массив фиксированного размера


МАССИВЫ 

Из книги автора

МАССИВЫ      Вы уже знаете, что массив представляет собой группу элементов одного типа. Когда нам требуется для работы массив, мы сообщаем об этом компилятору при помощи операторов описания. Для создания массива компилятору необходимо знать тип данных и требуемый класс


Массивы

Из книги автора

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


Массивы

Из книги автора

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


Массивы

Из книги автора

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


Массивы

Из книги автора

Массивы Динамические массивы Очень простой пример…Const MaxBooleans = (High(Cardinal) – $F) div sizeof(boolean);Type TBoolArray = array[1..MaxBooleans] of boolean; PBoolArray = ^TBoolArray;Var B: PBoolArray; N: integer;BEGIN N:= 63579; {= получение памяти под динамический массив.. =} GetMem(B, N*sizeof(boolean)); {= работа с массивом… =} B^[3477]:= FALSE; {= возвращение


Массивы

Из книги автора

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


Массивы

Из книги автора

Массивы Мы уже довольно много знаем о переменных и работе с ними. Но наши знания все еще неполны. Так, мы ничего пока не знаем о массивах — особом способе хранения данных, доступном в ActionScript. Давайте же выясним, что это