《C++高级编程》读书笔记（三）

《C++高级编程》读书笔记（三）

处理复制以及赋值

        在用指针动态为对象分配内存，直接将源对象直接复制到目的对象时会发生悬挂指针的问题。

       

void printspreadsheet(spreadsheet s){   //code commit for brevity}int main(){      spreadsheet s1(4,3);       printspreadsheet(s1);}

在这段代码中，为s1指针分配了一部分内存，调用printspreadsheet（s1）函数后，s指针也指s1指向的内存，如果修改了s指针所指内存，例如释放了这部分内存，则s1也失去内存，s1为悬挂指针。

所以，依赖C++默认的复制构造函数或者复制运算符未必是个好主意。

无论什么时候在类中动态分配了内存，都应该编写自己的复制构造函数以及赋值运算符，以提供深层次的内存复制。

深层次的复制构造函数

spreadsheet::spreadsheet(const spreadsheet & src){    mwidth= src.mwidth;    mheight=src.mheight;    mcell= new spreadsheet * [mwidth];    for(int i=0;i<mwidth;i++){    mcell[i]=new spreadsheet[mheight];    for(int i=0;i<mwidth;i++) {    for(int j=0;j<mheight;j++)         mcell[i][j]=src.mcell[i][j];      }}

深层次的赋值运算符

Spreadsheet& Spreadsheet::operator=(const Spreadsheet& rhs){  // check for self-assignment  if (this == &rhs) {    return *this;  }  // free the old memory  for (int i = 0; i < mWidth; i++) {    delete [] mCells[i];  }  delete [] mCells;  mCells = nullptr;  // copy the new memory  mWidth = rhs.mWidth;  mHeight = rhs.mHeight;  mCells = new SpreadsheetCell* [mWidth];  for (int i = 0; i < mWidth; i++) {    mCells[i] = new SpreadsheetCell[mHeight];  }  for (int i = 0; i < mWidth; i++) {    for (int j = 0; j < mHeight; j++) {      mCells[i][j] = rhs.mCells[i][j];    }  }  return *this;}

在任何赋值运算符中，第一行永远是自赋值检测

自赋值检测不仅是为了效率，而且是为了正确性。因为如果删除了前面的自赋值检测，自赋值的时候代码很可能会崩溃，因为代码的第二步删除了左边对象的mcell，然后从将右边的mcell复制到左边。如果是自赋值，两边相同，因此复制时会访问悬挂指针。

赋值运算符完成了管理动态分配内存的三大例程：析构函数、复制构造函数、赋值运算符。