С++. Замечания о возвращаемых из функций объектах

Из функций (обычные ли они, или функции-члены класса) возвращают объекты указанного к функции типа. Иногда возвращают неполный тип: void. В первые дни изучения я часто возвращал из функций тип void только потому что не понимал, зачем нужен return. Со временем понимание, конечно, пришло. Возвращаемый тип нужен для того, чтобы процессом работы некоторой функции был порождён конечный объект, тип которому и будет определён по типу, заданному для функции.
Одна из неясностей, возникающей, наверное, почти у всех новичков, изучающих С++, связана с возвратом обычного типа и ссылки. Но обо всём по порядку.
В целом возможны следующие ситуации:

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

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

  • Чтобы не порождать лишних копий и не тратить время на лишние копирования, надо использовать возвращение значения по ссылке.
  • При возвращении из функции (константной или неокнстантной) ссылки нужно учитывать три момента:

    • При возврате объекта вызывается конструктор копирования, а при возврате ссылки — нет.
    • при выполнении вызываемой функции ссылка должна указывать на существующий объект.
    • Одна из распространённых у новичков ошибок: создать объект локальный, автоматический, потом вернуть ссылку на такой объект, но вместе с завершением функции объект, который некоторое время мог быть привязан к ссылке, будет уничтожен. В конечном итоге ссылка может указывать на незадействованный программой участок памяти.

    • Для возврата константных объектов нужно возвращать, если ссылки, то константные ссылки:

Варианты с ссылками выбирают в случае, если работают с объектами некоторого класса. Если работают с обычными переменными, не объектами классов, то эффективнее использовать не ссылки.
Надеюсь, с возвращением константной ссылки понятно. Повышает производительность и нужна, если на отдачу предназначен константный объект. Хотя используется не только для отдачи константного, но и для отдачи неконстантного объекта. Если ничто не мешает использовать константную ссылку и работа происходит с объектами класса, то константная ссылка предпочтительнее обычной ссылки.

Теперь поговорим о возврате из функции обычной ссылки.
Два популярных примера возврата не константного объекта — перегрузка операции присваивания и перегрузка операции << для использования с cout. Первое делается по соображениям повышения производительности, а второе — при необходимости.
Операция присваивания может использоваться в виде цепочки:

Это выражение раскладывается на (x = y) = z. Имеется две операции присваивания и в результате каждой из них отдаётся некоторая порождённая операцией сущность. Идеологически в операцию присваивания заложено изменять состояние объекта: объект-приёмник (тот, в который что-то присваиватся) обновляет своё состояние, согласно данным объекта-источника (присваиваемого). Если операция объекта-приёмника изменяет состояние этого объекта-приёмника, то операция не может быть константной. (метод не может быть константным, если он изменяет состояние объекта). Но чтобы не создавалось лишних объектов и не происходило расточительной траты памяти и времени работы программы на копирования, вариант с ссылкой предпочтителен. Представьте, что на 10 присваиваний сверху произойдёт создание 10 дополнительных объектов и 10 раз будет копироваться то, что можно не копировать. Да, нельзя идеологически использовать для операции присваивания константную ссылку, но ссылку-то можно. Можно возвращать и не ссылку, но тогда будут происходить неоправданные процессы: генерация временного объекта, запуск конструктора копирования, запуск деструктора. Поэтому, с целью повышения производительности, возвращают ссылку.
Значение, возвращаемое operator<< (), также применяется для присваивания в виде цепочки:


Нельзя копировать потоки, поэтому единственным вариантом для возвращаемого объекта остаётся ссылка. Ведь если будет создан временный поток, то один поток в другой скопироваться не сможет и программа просто не скомпилируется. Т. е. если при перегрузке операции << возвращать не ссылку, то программа не сможет скомпилироваться, потому что потоки копироваться не умеют.

Теперь очередь возвращение из функции значения.

Не всегда нам нужны ссылки и не всегда мы можем использовать ссылки. В таком случае используют возврат по значению или возврат по константному значению. Возврат по значению всем нам, наверное, лучше всего знаком, потому что с первых дней изучения мы наиболее часто употребляем (как новички) именно такой способ возврата. Конечно, не все, но огромная масса новичков, как я могу догадываться, делает именно так. Как уже упоминалось, возврат по значению всегда связан с созданием временного объекта и срабатыванием конструктора копирования: ведь чтобы временный объект инициализировать, используется конструктор копирования. Это накладные расходы, но если никуда от них не деться, то останется с этим смириться.


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


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

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

Поизучаем листинг #c1.

1. Возвращение константной ссылки. Правилами С++ предписано, что для константных объектов можно вызывать только константные методы, но наш operator += неконстантный. Хотя технически можно сделать константным, идеологически это будет неправильно: += обычно изменяет состояние объекта. А поскольку неконстантные методы для константных объектов вызывать нельзя, мы получаем ошибку компиляции.
2. Возвращение обычной ссылки. Как и в случае с константной ссылкой, если бы это компилировалось, то результат работы программы был бы непредсказуем. Ссылка, возвращённая из функции, была бы связана с разрушенным объектом. Несмотря на то что объект, с которым связывается ссылка, неконстантный, это тоже не компилируется. Причина здесь весьма простая: нельзя сделать из константны неконстанту.

3. Возвращение константного объекта. Поскольку объект константный, то вызывать можно только его константные методы, поэтому попытка вызвать неконстантный метод константного объекта спровоцирует ошибку компиляции.
4. Возвращение по значению. Возвращение по значеннию обозначает, что будет создана копия объекта. Поскольку возвращаемый объект не ссылка, то создаётся копия объекта. А поскольку объект неконстантный, неконстантная ссылка. Запросы к неконстантным методам для такого вполне законны, поэтому вариант с возвратом по значению срабатывает без нареканий.

Теперь о константном объекте.
Вариант с возвращением константного объекта по значению нужен реже уже описанных. Оно нужно прежде всего тогда, когда копия не должна измениться. Иногда бывает возникновение ситуации,, когда остаётся возвращать только константный объект по значению. Эта потребность может возникнуть в ходе решения задачи. Но когда она возникнет, вы скорее всего сами это поймёте. Без надобности так делать не нужно.

Почему иногда важно предпочесть константы не константам? Константны всегда связаны с тем, что объекты, к которым они применяются, не должны изменять своё состояние. Выдаваемый функцией объект можно использовать, например вот таким образом:


Когда мы используем вызов функции, то нам отдачей приходит зарождённый функцией объект или ссылка на объект (зависит от типа, указанного для функции). Поскольку вызов функции в конечном счёте обычный объект (или обычная ссылка), то и использовать вызов функции можно как если бы это был обычный объект. Отсюда такие возможности, какие показаны в листинге #z1, и приходят. Но листинг #z1 выглядит странно, не находите? Такие возможности скорее нежелательны. Уже так сложилось, что это скорее запутывает, чем помогает. Поэтому, чтобы пресекать подобные действия при написании кода, используют для возвращения константы.


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


Зачастую программисты стараются быть оригинальными, а это может привести к нетривиальным ошибкам. Несмотря на то, что код #w1 достаточно мал, обнаружить в нём ошибку может быть немного затруднительно. Осложнено всё тем, что это не такая ошибка, которая вылезет сразу. А если это большой проект и ошибка не такая простая, но порождённая из-за ярого желания быть оригинальным? В общем, чтобы избегать подобного в зародыше, нужно использовать константы. Чтобы не дать такой проблеме возникнуть, можно научить компилятор не компилировать показанный код, достаточно внести всего одно изменение: возвращаемое значение из операции + сделать константной ссылкой. Поскольку сама операция + не предназначена для изменения состояния объекта, то константная ссылка для неё вполне естественно: ссылка потому что объект класса, а константная потому что объект под влиянием операции не изменяет своё состояние. Такое простое лечение. И вы сейчас прекрасно можете начинать осознавать важность константности.
Статьёй не охватывается весь спектр возвращаемости значений и показанные примеры не единственные, которые могут повлиять на предпочтительный выбор. Это стоит понимать.
Использованные материалы:

Язык программирования C++. Лекции и упражнения. 6-е изд (Стивен Прата)

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *

Поиск

 
     

Случайная книга в электронном формате

https://www.litres.ru/mark-pilgrim/pogruzhenie-v-html5-2/?lfrom=15589587

Последние комментарии

Яндекс.Метрика