Объектно-ориентированное программирование на С++ - eDrive

24
ками. «Введение связей с другими элементами данных через указатели –
чрезвычайно важная идея в программировании; это ключ к представлению
сложных структур» [6].
Указатель (pointer) – это специальный тип данных, описывающий не
значение, а размещение переменной, константы или возвращаемого значения
функции, «одно из хитроумных понятий C» [9]. Его объявляют как Тип
*имяУказателя. Оператор разыменования * (dereference operator) служит
средством доступа к данным, а имяУказателя может быть другим указателем
или адресом конкретной области памяти. В последнем случае указатель называют
ссылкой (reference) и объявляют как Тип &имяСсылки. & – это оператор
взятия адреса, а имяСсылки – значение хранящихся по этому адресу данных.
Между операторами * и & установлено следующее соотношение: если
имяУказателя – адpес данных, то *имяУказателя – их значение (т.е. указатель);
если имяСсылки – значение данных, то &имяСсылки – их адpес (т.е.
ссылка).
Однажды инициализировав ссылку, ей нельзя присвоить другое значение.
И, в отличие от указателей, которые могут быть объявлены без инициализации
или установлены в нуль, ссылки всегда указывают на конкретные
данные.
Использование указателей и ссылок играет важную роль в работе с
функциями.
Обычно аргументы, передаваемые в функцию при ее вызове, обрабатываются
функцией как копии данных, и потому сами данные не меняются в
ходе выполнения функции. В вызывающем модуле функция может изменить
только одну переменную – ту, которую она возвращает как результат своей
работы. Если же требуется, чтобы функция изменяла более одной переменной,
ей в качестве аргументов следует передавать не значения, а ссылки на
данные, и в первую очередь – адpеса переменных.
Аналогичное правило действует и при передаче функции в другую
функцию в качестве аргумента.
Для выполнения операций над типизированными данными в C++ используется
более 50 простых операторов. В табл. 8 они расположены по убыванию
приоритета.