►Временные объекты...221

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

    Student fn( ) ; /* Возвращает объект по значению */

    int main ( int argcs , char* pArgs[ ] )

    {

        Student s ;

        s = fn( ) ; /* В результате вызова fn( ) будет создан временный объект */

        return 0 ;

    }

Функция fn( ) возвращает объект по значению. В конечном счёте этот объект будет скопирован в s, но где он находится до этого?

Для хранения таких объектов С++ создаёт временные объекты ( такие объекты создаются и в некоторых других случаях ). "Хорошо, — скажете вы, — С++ создаёт временные объекты, но откуда он знает, когда их надо уничтожать?" ( Спасибо за хороший вопрос! ) В нашем примере это не имеет особого значения, поскольку временный объект выйдет из области видимости, как только копирующий конструктор скопирует его в s. Но что, если s будет определено как ссылка?

_________________

221 стр. Глава 18. Копирующий конструктор

    int main ( int argcs , char* pArgs[ ] )

    {

        Student& refS = fn( ) ;

        /* ...Что теперь?... */

        return 0 ;

    }

Теперь период жизни временного объекта имеет большое значение, поскольку ссылка refS продолжает своё существование независимо от существования объекта! В приведённом ниже примере я отметил место, начиная с которого временный объект становится недоступен.

    Student fn1( ) ;

    int fn2( Student& ) ;

    int main ( int argcs , char* pArgs[ ] )

    {

        int x ;

        /* Создаём объект Student, вызывая fn1( ), а затем передаём этот объект функции fn2( ) . fn2( ) возвращает целочисленное значение, которое используется для выполнения некоторых вычислений. Весь этот период временный объект, возвращённый функцией fn1( ), доступен */

        х = 3*fn2( fn1( ) ) + 10 ;

        /* Временный объект, который вернула функция fn1( ), становится недоступен */

        /* ...Остальной код... */

        return 0 ;

    }

Таким образом, пример с использованием ссылки неверен, поскольку объект выйдет из области видимости, a refS будет продолжать существовать, и в результате ссылка будет указывать на несуществующий объект.