之前看一些資料提到淺拷貝的問(wèn)題，即在復(fù)制對(duì)象時(shí)，只是對(duì)對(duì)象中的數(shù)據(jù)成員進(jìn)行簡(jiǎn)單的賦值，默認(rèn)拷貝構(gòu)造函數(shù)執(zhí)行的也是淺拷貝。如果對(duì)象中存在動(dòng)態(tài)成員，如指針，那么僅僅做淺拷貝是不夠的，并且容易引發(fā)錯(cuò)誤，最經(jīng)典的例子：

#include <iostream>
#include <stdio.h> 

using namespace std;

class A{
  public:
    A(){m_p = new int(10);};
    ~A(){cout << "destruction function" << endl;delete m_p;}; 
    int* m_p; 
};

void copyTest(A atmp){
  ;
}

int main(){
  A a;
  copyTest(a);
}

執(zhí)行這段代碼會(huì)出現(xiàn)崩潰，因?yàn)槲鰳?gòu)函數(shù)里的delete m_p執(zhí)行了兩次，而m_p指向的是同一塊內(nèi)存。因?yàn)樵谡{(diào)用copyTest時(shí)傳入了對(duì)象a，atmp利用a作為參數(shù)執(zhí)行了默認(rèn)拷貝構(gòu)造函數(shù)，但是只是簡(jiǎn)單地把對(duì)象a的m_p的內(nèi)存地址拷貝給atmp的m_p，因此這個(gè)時(shí)候atmp.m_p只是指向了和a.m_p相同的內(nèi)存塊。

當(dāng)copyTest執(zhí)行完畢后，臨時(shí)變量atmp會(huì)被銷毀，這個(gè)時(shí)候析構(gòu)函數(shù)被調(diào)用，delete了m_p指向的內(nèi)存。而當(dāng)main函數(shù)執(zhí)行完畢后，a對(duì)象也需要被銷毀，這個(gè)時(shí)候析構(gòu)函數(shù)再次被執(zhí)行，而這個(gè)時(shí)候m_p已經(jīng)不知道指向什么地方了，delete操作引發(fā)程序崩潰。

解決這個(gè)問(wèn)題的方法有很多：一種方法是實(shí)現(xiàn)智能指針，對(duì)m_p進(jìn)行引用計(jì)數(shù)，當(dāng)引用值為0時(shí)才執(zhí)行delete；也可以每次把m_p的初始值設(shè)為NULL，每次執(zhí)行delete操作前先檢查m_p是否為NULL，delete后再讓m_p指向NULL，這個(gè)方法其實(shí)道理和智能指針差不多，只是智能指針更合理有效地利用類進(jìn)行管理；還有一種做法是重寫拷貝構(gòu)造函數(shù)，確保在對(duì)象復(fù)制時(shí)進(jìn)行深拷貝，即重新分配內(nèi)存空間，并且把a(bǔ)中m_p指向內(nèi)存的內(nèi)容拷貝到分配的空間。

以上這種情況只有在利用“值傳遞”復(fù)制對(duì)象時(shí)才發(fā)生，如果我們傳遞的是指針，就不會(huì)有這種情況了：

#include <iostream>
#include <stdio.h> 

using namespace std;

class A{
  public:
    A(){m_p = new int(10);};
    ~A(){cout << "destruction function" << endl;delete m_p;}; 
    int* m_p; 
};

void copyTest(A* atmp){
  ;
}

int main(){
  A* a;
  copyTest(a);
}

因?yàn)閭鬟f到copyTest的參數(shù)只是一個(gè)地址，指向的還是對(duì)象a，并沒(méi)有發(fā)生對(duì)象的復(fù)制，當(dāng)然就不存在上面的深淺拷貝問(wèn)題了。

以上就是小編為大家?guī)?lái)的淺談C++的淺拷貝出現(xiàn)的錯(cuò)誤全部?jī)?nèi)容了，希望大家多多支持腳本之家~

最新評(píng)論