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

Question

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

Matrix::Matrix(int rows, int cols) 
{ 
    nrows = a; //here nrows is the number of rows for each matrix 
    ncols = b; //here ncols is the number of cols for each matrix 
    p = new double [rows*cols]; 
    for(int i=0;i<rows*cols;i++) 
     { 
      *p++ = 0.0; 
     } 
} 

Предположим, у меня тоже есть «копия» конструктор следующим образом:

Matrix::Matrix(const Matrix& mat) 
{ p = new double[mat.nrows*mat.ncols]; 
    for(int i=0;i<mat.nrows*mat.ncols;i++) 
     { 
      p[i] = mat.p[i]; 

     } 
} 

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

int main() 
    { 
     Matrix A(2,2); 
     Matrix B(2,2); 
     A = Matrix(B); //call overloaded assignment operator, and copy ctor/ 
    } 

Здесь оператор «=» перегружен присвоить все-ю e элементов в B до A. Моя проблема заключается в том, что после вызова конструктора копирования объект Matrix A является совершенно новым объектом.

Есть ли лучший способ написать конструктор копирования, чтобы, если матрица A уже существует, то вызов A = матрицы (B) приводит к ошибке?

Answer 1

Вместо того, чтобы использовать динамически выделенные массивы, я бы рекомендовал использовать std::vector

class Matrix 
{ 
public: 
    Matrix(long rows, long cols); 
private: 
    long nrows; 
    long ncols; 
    std::vector<double> p; 
} 

Тогда ваш конструктор может быть

Matrix::Matrix(long rows, long cols) 
: nrows(rows), 
    ncols(cols), 
    p(rows * cols) 
{ } 

Наряду с all of the other benefits использования std::vector над динамически выделенных массивов, теперь вы получите созданный компилятором, поэтому вам не нужно его писать.

Если вы не хотите, чтобы ваш класс был доступен для копирования, delete - конструктор копирования и оператор копирования.

class Matrix 
{ 
public: 
    Matrix(long rows, long cols); 
    Matrix(const Matrix& mat) = delete; 
    Matrix& operator=(const Matrix& mat) = delete; 
private: 
    long nrows; 
    long ncols; 
    std::vector<double> p; 
} 

Answer 2

Нет. Потому что тогда это не было бы копией конструктор. Конструкторы конструкторов.

Answer 3

Было бы далеко лучше удалить оператор присваивания:

Matrix& operator=(const Matrix&) = delete;

Тогда использование A = Matrix(B) будет испускать ошибку во время компиляции. Затем вам придется использовать конструктор, и ваша конкретная проблема перестанет быть актуальной.

Answer 4

С утверждением

A = Matrix(B); 

сначала временный объект является создание с помощью копирования-конструктор. Этот временный объект затем используется в присваивании.

Так что это правда, что используется копировальный конструктор, но не как часть назначения.