Этот стиль предпочтительнее для небольших объектов, таких как переменные типа

. Однако передача значений туда и обратно не всегда реальна. Например, можно написать функцию, модифицирующую огромную структуру данных, такую как вектор, содержащий 10 тыс. переменных типа ; мы не можем копировать эти 40 тыс. байтов (как минимум, вдвое) с достаточной эффективностью.

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

Использование передачи аргумента с помощью ссылок предостерегает программиста о том, что значение может измениться. Рассмотрим пример.

Необходимость использования оператора

в вызове функции обусловлена тем, что пользователь должен знать о том, что переменная может измениться. В противоположность этому вызов функции “выглядит невинно”. Это свидетельствует о небольшом преимуществе передачи указателя.

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

Совершенно очевидно, что это ужасно. Человек, написавший функцию,

, может предусмотреть защиту.

Теперь функция

выглядит проще и приятнее, чем раньше. В главе 5 было показано, как устранить проблему, связанную с некорректными аргументами. В противоположность этому пользователи, применяющие ссылки (например, в функции ), должны предполагать, что ссылка связана с объектом. Если “передача пустоты” (когда объект на самом деле не передается) с точки зрения семантики функции вполне допустима, аргумент следует передавать с помощью указателя. Примечание: это не относится к операции инкрементации — поскольку при условии в этом случае следует генерировать исключение.

Итак, правильный ответ формулируется так: выбор зависит от природы функции.

• Для маленьких объектов предпочтительнее передача по значению.

• Для функций, допускающих в качестве своего аргумента “нулевой объект” (представленный значением

), следует использовать передачу указателя (и не забывать проверку нуля).

• В противном случае в качестве параметра следует использовать ссылку.

См. также раздел 8.5.6.

В разделе 14.3 мы видели, как можно использовать производный класс, такой как

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

Это можно сделать и с помощью ссылок.

Этот факт является чрезвычайно важным для большинства объектно-ориентированных технологий программирования (см. разделы 14.3, 14.4).

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