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

Для многих типов задача управления ими сводится к построению и уничтожению связанных с ними объектов, но есть типы, для которых этого мало. Иногда необходимо управлять всеми операциями копирования. Вернемся к классу 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&) используются для передачи параметров по значению и получения возвращаемого функцией значения.