polevoi_cpp_2013_spring_lecture_03

Указатель на void

•содержит адрес объекта

•допустимые операции

–присвоение адреса

–сравнение на равенство и неравенство

–явное преобразование к указателю на другой тип

•запрещенные операции

–разыменование

–арифметические операции

Ноль

•ноль (0) имеет тип int

•константа

–арифметический тип

–указатель

•NULL

–использовать запрещено

–макрос

Нулевой указатель

•гарантируется отсутствие объектов с адресом 0

•0 – указатель, который ни на что не ссылается

•разыменование нулевого указателя – ошибка времени исполнения

Доступ к элементам массива

• указатель на массив и индекс

пример:

data[i]

• указатель на элемент массива

пример:

*(pData + i)

Арифметика указателей

•сложение с целым числом

•вычитание целого числа

•вычитание указателей

Сложение и вычитание целых чисел

•“ сдвиг” указателя на заданное число элементов массива

•результат разыменования не определен, если адрес вне массива

Вычитание указателей

•определено только для указателей на элементы одного массива (язык не позволяет быстро проверить)

•число (целое) элементов массива между указателями

Сравнение указателей

•сравнение адресов (==, !=, <, >, <=, >=)

•равенство адресов гарантирует доступ к одному и тому же объекту

•p1 == p2 ↔ 0 == p1p2

Преобразования указателей

• reinterpret_cast<Тип>(выражение)

пример:

bool compare(void* pL, void* pR)

{

T* p(reinterpret_cast<T>(pL));

...

}