×
Traktatov.net » Язык программирования C++. Пятое издание » Читать онлайн
Страница 47 из 714 Настройки

> // ...

>if (pi2)          // pi2 указывает на ival, значит, содержит не 0;

>                  // условие считается истинным

> // ...

Любой отличный от нулевого указатель рассматривается как значение >true. Два допустимых указателя того же типа можно сравнить, используя операторы равенства (>==) и неравенства (>!=). Результат этих операторов имеет тип >bool. Два указателя равны, если они содержат одинаковый адрес, и неравны в противном случае. Два указателя содержат одинаковый адрес (т.е. равны), если они оба нулевые, если они указывают на тот же объект или на область непосредственно за концом того же объекта. Обратите внимание, что указатель на объект и указатель на область за концом другого объекта вполне могут содержать одинаковый адрес. Такие указатели равны.

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

Дополнительные операции с указателями будут описаны в разделе 3.5.3.

Тип >void* является специальным типом указателя, способного содержать адрес любого объекта. Подобно любому другому указателю, указатель >void* содержит адрес, но тип объекта по этому адресу неизвестен.

>double obj = 3.14, *pd = &obj;

>// ok: void* может содержать адрес любого типа данных

>void *pv = &obj; // obj может быть объектом любого типа

>pv = pd;         // pv может содержать указатель на любой тип

С указателем >void* допустимо немного действий: его можно сравнить с другим указателем, можно передать его функции или возвратить из нее либо присвоить другому указателю типа >void*. Его нельзя использовать для работы с объектом, адрес которого он содержит, поскольку неизвестен тип объекта, неизвестны и операции, которые можно с ним выполнять.

Как правило, указатель >void* используют для работы с памятью как с областью памяти, а не для доступа к объекту, хранящемуся в этой области. Использование указателей >void* рассматривается в разделе 19.1.1, а в разделе 4.11.3 продемонстрировано, как можно получить адрес, хранящийся в указателе >void*.

Упражнения раздела 2.3.2

Упражнение 2.18. Напишите код, изменяющий значение указателя. Напишите код для изменения значения, на которое указывает указатель.

Упражнение 2.19. Объясните основные отличия между указателями и ссылками.

Упражнение 2.20. Что делает следующая программа?

>int i = 42;

>int *p1 = &i;

>*p1 = *p1 * *p1;

Упражнение 2.21. Объясните каждое из следующих определений. Укажите, все ли они корректны и почему.

>int i = 0;

>(a) double* dp = &i; (b) int *ip = i; (c) int *p = &i;

Упражнение 2.22. С учетом того, что >p является указателем на тип >int, объясните следующий код:

>if (p) // ...

>if (*p) // ...

Упражнение 2.23. Есть указатель >p, можно ли определить, указывает ли он на допустимый объект? Если да, то как? Если нет, то почему?

Упражнение 2.24. Почему инициализация указателя >p допустима, а указателя >lp нет?

>int i = 42; void *p = &i; long *lp = &i;

2.3.3. Понятие описаний составных типов

Как уже упоминалось, определение переменной состоит из указания базового типа и списка операторов объявления. Каждый оператор объявления может связать свою переменную с базовым типом отлично от других операторов объявления в том же определении. Таким образом, одно определение может определять переменные отличных типов.