在用C++編寫一個類時,知道什么時候需要實現拷貝構造函數和賦值操作,但不知道什么時候拷貝構造函數被調用,什么時候賦值操作被調用,甚至把二者混為一談。
要弄明白這個問題,最簡單的做法莫過于寫個測試程序試一下。不過那樣做也未必是好辦法,實驗的結果往往導致以偏概全的結論。不如好好想一下,弄清楚其中的原理,再去寫程序去驗證也不遲。
拷貝構造函數,顧名思義,等于拷貝 + 構造。它肩負著創建新對象的任務,同時還要負責把另外一個對象拷貝過來。比如下面的情況就調用拷貝構造函數:
cstring str = strother;
賦值操作則只含有拷貝的意思,也就是說對象必須已經存在。比如下面的情況會調用賦值操作。
str = strother;
不過有的對象是隱式的,由編譯器產生的代碼創建,比如函數以傳值的方式傳遞一個對象時。由于看不見相關代碼,所以不太容易明白。不過我們稍微思考一下,就會想到,既然是根據一個存在的對象拷貝生成新的對象,自然是調用拷貝構造函數了。
兩者實現時有什么差別呢?我想有人會說,沒有差別。呵,如果沒有差別,那么只要實現其中一個就行了,何必要兩者都實現呢?不繞圈子了,它們的差別是:
拷貝構造函數對同一個對象來說只會調用一次,而且是在對象構造時調用。此時對象本身還沒有構造,無需要去釋放自己的一些資源。而賦值操作可能會調用多次,你在拷貝之前要釋放自己的一些資源,否則會造成資源泄露。
明白了這些道理之后,我們不防寫個測試程序來驗證一下我們的想法:
#include
#include
#include
class cstring
{
public:
cstring();
cstring(const char* pszbuffer);
~cstring();
cstring(const cstring& other);
const cstring& operator=(const cstring& other);
private: char* m_pszbuffer;;
};
cstring::cstring()
{
printf("cstring::cstring\n");
m_pszbuffer = null;
return;
}
cstring::cstring(const char* pszbuffer)
{
printf("cstring::cstring(const char* pszbuffer)\n");
m_pszbuffer = pszbuffer != null ? strdup(pszbuffer) : null;
return;
}
cstring::~cstring()
{
printf("%s\n", __func__);
if(m_pszbuffer != null)
{
free(m_pszbuffer);
m_pszbuffer = null;
}
return;
}
cstring::cstring(const cstring& other)
{
if(this == &other)
{
return;
}
printf("cstring::cstring(const cstring& other)\n");
m_pszbuffer = other.m_pszbuffer != null ? strdup(other.m_pszbuffer) : null;
}
const cstring& cstring::operator=(const cstring& other)
{
printf("const cstring& cstring::operator=(const cstring& other)\n");
if(this == &other)
{
return *this;
}
if(m_pszbuffer != null)
{
free(m_pszbuffer);
m_pszbuffer = null;
}
m_pszbuffer = other.m_pszbuffer != null ? strdup(other.m_pszbuffer) : null;
return *this;
}
void test(cstring str)
{
cstring str1 = str;
return;
}
int main(int argc, char* argv[])
{
cstring str;
cstring str1 = "test";
cstring str2 = str1;
str1 = str;
cstring str3 = str3;
test(str);
return 0;
}