1.4.2 Присваивание и инициализация.

• Глава 1. Краткий обзор С++
  • 1.4 Поддержка абстракции данных
    • 1.4.2 Присваивание и инициализация

Для многих типов задача управления ими сводится к построению и уничтожению связанных с ними объектов, но есть типы, для которых этого мало. Иногда необходимо управлять всеми операциями копирования. Вернемся к классу vector:

            void f ()
            {
              vector v1 ( 100 );
              vector v2 = v1;   // построение нового вектора v2,
                                // инициализируемого v1
              v1 = v2;          // v2 присваивается v1
               // ...
            }

Должна быть возможность определить интерпретацию операций инициализации v2 и присваивания v1. Например, в описании:

            class vector 
            {
                int * v;
                int sz;
            public:
                // ...
                void operator = ( const vector & );  // присваивание
                vector ( const vector & );          // инициализация
            };

указывается, что присваивание и инициализация объектов типа vector должны выполняться с помощью определенных пользователем операций. Присваивание можно определить так:

            void vector::operator = ( const vector & a )
             // контроль размера и копирование элементов
            {
              if ( sz != a.sz ) 
                error ( "недопустимый размер вектора для =" );
              for ( int i = 0; i < sz; i++ ) v [ i ] = a.v [ i ];
            }

Поскольку эта операция использует для присваивания "старое значение" вектора, операция инициализации должна задаваться другой функцией, например, такой:

            vector::vector ( const vector & a )
            // инициализация вектора значением другого вектора
            {
              sz = a.sz;                        // размер тот же
              v = new int [ sz ];               // выделить память для массива
              for ( int i = 0; i < sz; i++ )    //копирование элементов
                  v [ i ] = a.v [ i ];
            }

В языке С++ конструктор вида T(const T&) называется конструктором копирования для типа T. Любую инициализацию объектов типа T он выполняет с помощью значения некоторого другого объекта типа T. Помимо явной инициализации конструкторы вида T(const T&) используются для передачи параметров по значению и получения возвращаемого функцией значения.