К элементам одномерных массивов

Объявление одномерного массива с явным указанием количества элементов массива:

< тип_элементов_массива> < имя_массива> [< количество_элементов> ];

Обращение к элементам одномерного массива в общем случае можно представить индексированием:

< имя_массива> [< выражение> ];

где < имя_массива> – указатель–константа, адрес нулевого элемента массива; < выражение> определяет индекс элемента массива.

Элементы одномерного массива располагаются в ОП последовательно друг за другом: нулевой, первый и т.д. При объявления массива

int а[10];

компилятор выделяет массиву ОП для размещения его элементов в размере sizeof(< тип_элементов_массива>)*< размер_массива> байт, т.е. 4 ∙ 10 = 40 байт. Запись & a[i] равносильна записи (а + i). В программе & a[i] или (а + i) определяет адрес i-го элемента массива. На машинном уровне (в соответствии с определением операций над указателями) адрес i-го элемента массива & a[i] формируется в виде а + i*sizeof(int).

В связи с вышеизложенным, будут справедливы соотношения:

& а а + 0 & а[0] – адрес нулевого элемента массива а;

а + 2 & а[2] – адрес второго элемента массива а;

а + i & a[i] – адрес i-го элемента массива а;

*а *(а + 0) *(& а[0]) а[0] – значение нулевого

элемента массива а;

*(а+2) а[2] – значение второго элемента массива;

*(а + i) a[i] – значение i-го элемента массива;

*а + 2 а[0] + 2 – сумма значений а[0] и 2.

Если р – указатель на тип данных, совпадающий с типом элементов массива а и адрес, который содержит указатель р, совпадает с адресом массива а, то а и р взаимозаменяемы. При этом

р & а[0] а + 0;

р + 2 & а[2] а + 2;

*(р + 2) *(& а[2]) а[2];

*(p + i) *(& a[i]) a[i].