Указатели на массивы
Имя массива можно рассматривать как указатель на его первый элемент.
Пример:
int v[] = { 1,2,3,7 }; int *p1 = v; // Указатель на первый элемент int *p2 = &v[0]; // Указатель на первый элемент int *p3 = &v[4]; // Указатель на элемент, следующий за последним В противоположность указателю на массив, определение массива указателей выглядит следующим образом:
int *ap[15]; // Массив из 15 указателей на int
Результат применения операторов -, +, --, ++ к указателю зависит от типа объекта, на который ссылается указатель. Если к указателю p типа T* применяется арифметическая операция, предполагается, что он указывает на элемент массива объектов типа Т; p+1 указывает на следующий элемент массива, а p-1 на предыдущий. То есть целое значение p+1 будет на sizeof(T) больше, чем целое значение р.
Рассмотрим пример обнуления элементов массива с использованием индексов int arr[ArraySize]; for (int i=0; i < ArraySize; ++i) arr[i] = 0; и с использованием указателей: int arr[ArraySize]; int *p=arr; for (int i=0; i < ArraySize; ++i) *p++ = 0; //{*p=0; p++;}
Интересна запись *p++. Унарные операторы * и ++ имеют одинаковый приоритет, однако они правоассоциативны. То есть в данном случае первым будет выполняться оператор ++, увеличивающий значение указателя. Указатель будет сдвинут на следующий элемент массива. Но поскольку это оператор постинкремента, то для разыменования будет использовано старое значение указателя. Таким образом, в одном выражении записано сразу два действия: передвинуть указатель и разыменовать указатель. В объект, на который указывает указатель, помещается ноль.
|
