Язык программирования C++ от Страуструпа

Большие объекты


При выполнении любой бинарной операции для типа complex реализующей эту операцию функции будут передаваться как параметры копии обоих операндов. Дополнительные расходы, вызванные копированием двух значений типа double, заметны, хотя по всей видимости допустимы. К сожалению представление не всех классов является столь удобно компактным. Чтобы избежать избыточного копирования, можно определять функции с параметрами типа ссылки:

class matrix {

  double m[4][4];

  public:

     matrix();

     friend matrix operator+(const matrix&, const matrix&);

     friend matrix operator*(const matrix&, const matrix&);

};

Ссылки позволяют без излишнего копирования использовать выражения с обычными арифметическими операциями и для больших объектов. Указатели для этой цели использовать нельзя, т.к. невозможно переопределить интерпретацию операции, если она применяется к указателю. Операцию плюс для матриц можно определить так:

matrix operator+(const matrix& arg1, const& arg2)

{

  matrix sum;

  for (int i = 0; i<4; i++)

     for (int j=0; j<4; j++)

       sum.m[i] [j] = arg1.m[i][j] + arg2.m[i][j];

  return sum;

}

Здесь в функции operator+() операнды выбираются по ссылке, а возвращается само значение объекта. Более эффективным решением был бы возврат тоже ссылки:

class matrix {

  // ...

  friend matrix& operator+(const matrix&, const matrix&);

  friend matrix& operator*(const matrix&, const matrix&);

};

Это допустимо, но возникает проблема с выделением памяти. Поскольку ссылка на результат операции будет передаваться как ссылка на возвращаемое функцией значение, оно не может быть автоматической переменной этой функции. Поскольку операция может использоваться неоднократно в одном выражении, результат не может быть и локальной статической переменной. Как правило, результат будет записываться в отведенный в свободной памяти объект. Обычно бывает дешевле (по затратам на время выполнения и память данных и команд) копировать результирующее значение, чем размещать его в свободной памяти и затем в конечном счете освобождать выделенную память. К тому же этот способ проще запрограммировать.



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