С++ для начинающих

       

Почленное присваивание *


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

newAcct = oldAcct;

по умолчанию присваивает каждому нестатическому члену newAcct значение соответственного члена oldAcct. Компилятор генерирует следующий копирующий оператор присваивания:

inline Account&

Account::

operator=( const Account &rhs )

{

   _name = rhs._name;

   _balance = rhs._balance;

   _acct_nmbr = rhs._acct_nmbr;

}

Как правило, если для класса не подходит почленная инициализация по умолчанию, то не подходит и почленное присваивание по умолчанию. Например, для первоначального определения класса Account, где член _name был объявлен как char*, такое присваивание не годится ни для _name, ни для _acct_nmbr.

Мы можем подавить его, если предоставим явный копирующий оператор присваивания, где будет реализована подходящая для класса семантика:



// общий вид копирующего оператора присваивания

className&

className::

operator=( const className &rhs )

{

   // не надо присваивать самому себе

   if ( this != &rhs )

   {

        // здесь реализуется семантика копирования класса

   }

   // вернуть объект, которому присвоено значение

   return *this;

}

Здесь условная инструкция

if ( this != &rhs )

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

Account&

Account::

operator=( const Account &rhs )

{

   // не надо присваивать самому себе

   if ( this != &rhs )

   {

      delete [] _name;

      _name = new char[strlen(rhs._name)+1];

      strcpy( _name,rhs._name );


      _balance = rhs._balance;

      _acct_nmbr = rhs._acct_nmbr;

   }

   return *this;

}

Когда один объект класса присваивается другому, как, например, в инструкции:

newAcct = oldAcct;

выполняются следующие шаги:

1.      Выясняется, есть ли в классе явный копирующий оператор присваивания.

2.      Если есть, проверяются права доступа к нему, чтобы понять, можно ли его вызывать в данном месте программы.

3.      Оператор вызывается для выполнения присваивания; если же он недоступен, компилятор выдает сообщение об ошибке.

4.      Если явного оператора нет, выполняется почленное присваивание по умолчанию.

5.      При почленном присваивании каждому члену встроенного или составного члена объекта в левой части присваивается значение соответственного члена объекта в правой части.

6.      Для каждого члена, являющегося объектом класса, рекурсивно применяются шаги 1-6, пока не останутся только члены встроенных и составных типов.

Если мы снова модифицируем определение класса Account так, что _name будет иметь тип string, то почленное присваивание по умолчанию

newAcct = oldAcct;

будет выполняться так же, как при создании компилятором следующего оператора присваивания:

inline Account&

Account::

operator=( const Account &rhs )

{

   _balance = rhs._balance;

   _acct_nmbr = rhs._acct_nmbr;

   // этот вызов правилен и с точки зрения программиста

   name.string::operator=( rhs._name );

}

Однако почленное присваивание по умолчанию для объектов класса Account не подходит из-за _acct_nmbr. Нужно реализовать явный копирующий оператор присваивания с учетом того, что _name – это объект класса string:

Account&

Account::

operator=( const Account &rhs )

{

   // не надо присваивать самому себе

   if ( this != &rhs )

   {

      // вызывается string::operator=( const string& )

      _name = rhs._name;

      _balance = rhs._balance;

   }

   return *this;

}

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

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

Упражнение 14.17

Реализуйте копирующий оператор присваивания для каждого из классов, определенных в упражнении 14.14 из раздела 14.6.

Упражнение 14.18

Нужен ли копирующий оператор присваивания для того класса, который вы выбрали в упражнении 14.3 из раздела 14.2? Если да, реализуйте его. В противном случае объясните, почему он не нужен.


Содержание раздела