Операции над указателями

1. Присвоить ему значение адреса

int*px, x=2; px=&x;

2. Можно присвоить константу - адрес ячейки с описанием состояния аппаратных средств - абсолютный адрес.

3. После присвоения адреса можно применять операцию взятия косвенного адреса.

px=&x; y=*px; //y==x; Приоритет выше, чем y операции «присвоение»

*px=10; x=10;

4. *px+2 //к значению переменной, адрес которой в px, прибавить 2.

рх++; // рх+1 увеличение адреса на длину типа.

++рх;

4. сравнение указателей ==, !=, >=, <=, >, <

//Пример программы копирования двух массивов

void main(void) {

char ar1[100], ar2[100];

char *pa1, *pa2;

pa1=&ar1;

pa2=&ar2;

while(pa2<(ar2+sizeof(ar2)))

*pa1++=*pa2++;

}

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

Арифметические операции с указателями ограничены сложением, вычитанием и сравнением. Арифметические операции с указателями объектов типа "указатель на тип type" автоматически учитывают размер этого типа, то есть число байт, необходимое для хранения в памяти объекта данного типа.

При выполнении арифметических операций с указателями предполагается, что указатель указывает на массив объектов. Таким образом, если указатель объявлен как указатель на type, то прибавление к нему целочисленного значения перемещает указатель на соответствующее количество объектов type. Если type имеет размер 10 байтов, то прибавление целого числа 5 к указателю этого типа перемещает указатель в памяти на 50 байт. Разность представляет собой число элементов массива, разделяющих два значения указателей. Например, если ptr1 указывает на третий элемент массива, а ptr2 на десятый, то результатом выполнения вычитания ptr2 - ptr1 будет 7.

Когда с "указателем на тип type" выполняется операция сложения или вычитания целого числа, то результат также будет "указателем на тип type". Если type не является массивом, то операнд указателя будет рассматриваться как указатель на первый элемент "массива типа type" длиной sizeof(type).

Конечно, такого элемента, как "указатель на следующий за последним элементом" не существут, однако указатель может принимать это значение. Если P указывает на последний элемент массива, то значение P+1 допустимо, но неопределено. Использование указателя на элемент вне массива ведет к непредсказуемым результатам работы программы. Контроль за допустимыми значениями указателей возлагается на программиста.