Шаг 20 - Временные объекты. Неявные вызовы конструкторов и их подавление.
Не удается углубиться в какую-либо тему. Приходится касаться по верхам, потом переключаться на что-то другое. С другой стороны, может это и правильно, часто достаточно только знать, что есть ТАКОЕ решение, а изучить детально можно и позже, когда сделаешь окончательный выбор. Да и не очень это интересно - что за радость переписать двадцать страниц из учебника, или перевести статью какого-нибудь доктора CS? Объяснения которого в точности так же логичны, как рассказ Ивана Бездомного насчет "…Берлиоза зарезало трамваем, а тот заранее знал про масло, которое Аннушка пролила" - то есть логика и связь есть - но только для него самого.
Чтож, к делу.
А кто такие временные объекты? Локальные переменные с замечательными именами a, a1, a2, a_1, tmp1, tmp2? (Кстати ни за что не берите на работу болванов, которые так именуют переменные; пусть на FoxPro пишут. Думаю написать про это отдельный Шаг - причины для немедленного увольнения.) Вообще-то нет. Временные объекты - это объекты, которые не имеют имен в коде и неявно создаются компилятором. Поскольку неявные "подарки" компилятора иногда бывают очень некстати, лучше заранее знать, чего можно ожидать от него. А зачем он их создает? Первое - при выполнении преобразования типов, для вызова функций. Второе - для возвращения объекта из функции.
Придется немного поэкспериментировать. Поэтому скопируйте себе код небольшого класса:
>#include ‹iostream.h›
>class CInt {
>private:
> int m_i;
> int m_instance;
> static int iCounter;
>public:
> CInt (int);
> CInt (const CInt&);
> ~CInt ();
> CInt operator+ (const CInt&);
> CInt& operator+=(const CInt&);
> CInt& operator= (const CInt&); // operator int ();
>};
>int CInt::iCounter = 0;
>CInt::CInt (int _i=0): m_i(_i) {
> m_instance = ++iCounter;
> cout‹‹"defa constr " ‹‹ m_instance ‹‹ " "‹‹ m_i‹‹ endl;
>}
>CInt::CInt (const CInt& _i): m_i(_i.m_i) {
> m_instance = ++iCounter;
> cout‹‹"copy constr " ‹‹ m_instance ‹‹ " "‹‹ m_i‹‹ endl;
>}
>CInt::~CInt () {
> iCounter--;
> cout ‹‹"~destructor " ‹‹ m_instance ‹‹ " "‹‹ m_i‹‹ endl;
>}
>CInt& CInt::operator=(const CInt& _i) {
> m_i = _i.m_i;
> cout ‹‹"assert oper " ‹‹ m_instance ‹‹ " "‹‹ m_i‹‹ endl;
> return *this;
>}
>CInt CInt::operator+(const CInt& _i) {
> cout‹‹"addi operat " ‹‹ m_instance ‹‹ " "‹‹ m_i‹‹ endl;
> return CInt (m_i + _i.m_i);
>}
>CInt& CInt::operator+= (const CInt& _i) {
> m_i += _i.m_i;
> cout‹‹"autoadd ope " ‹‹ m_instance ‹‹ " "‹‹ m_i‹‹ endl;
> return *this;
>}
>/*
>CInt::operator int () {
> return m_i;
>}
>*/
>int main (void) {
> cout ‹‹ "start" ‹‹ endl;
> // Позиция 1.
> CInt i_test = CInt (2) + CInt (4);
> cout ‹‹ "firststop" ‹‹ endl;
> {
> // Позиция 2.
> }
> cout ‹‹ "thirdstop" ‹‹ endl;
> return 0;
>}
Пояснения: класс представляет целые числа. Определены конструктор по умолчанию и копирования, присваивание, пара арифметических операторов, оператор преобразования в int (закомментирован). В функции main отмечены 2 позиции для экспериментов.
Еще момент - вызвала затруднения форма конструктора со списком инициализации, типа этой:
>CClass::CClass (int _a, int _b, int _c) : m_a(_a), m_bc(_b, _c) {}
Тут нет ничего такого, просто конструкторы членов-переменных и базовых классов вызываются явно со своими параметрами, это выгоднее чем создавать пустые, а потом в теле конструктора выполнять ПРИСВАИВАНИЕ при помощи оператора operator=().
Попробуем в позицию 1 поставить:
>CInt i_test = 1 + 2;
Вызовется только один конструктор - по умолчанию. Это одно и то же:
>CInt i_test = 3; ‹=====› CInt i_test(3);
Попробуем так
>CInt i_test;
>i_test = CInt(1) + CInt(2);
Сначала создается первый объект, потом левый операнд, потом правый, потом результат, потом выполняется присваивание, потом оба операнда и результат удаляются, сразу после использования. Всего четыре объекта. Один - временный.
