分类: C/C++
2008-05-18 20:54:21
来源: |
|
我发现一些同事在编写一个类时,知道什么时候需要实现拷贝构造函数和赋值操作,但不知道什么时候拷贝构造函数被调用,什么时候赋值操作被调用,甚至把二者混为一谈。 要弄明白这个问题,最简单的做法莫过于写个测试程序试一下。不过那样做也未必是好办法,实验的结果往往导致以偏概全的结论。不如好好想一下,弄清楚其中的原理,再去写程序去验证也不迟。 拷贝构造函数,顾名思义,等于拷贝 + 构造。它肩负着创建新对象的任务,同时还要负责把另外一个对象拷贝过来。比如下面的情况就调用拷贝构造函数: CString str = strOther; 赋值操作则只含有拷贝的意思,也就是说对象必须已经存在。比如下面的情况会调用赋值操作。 str = strOther; 不过有的对象是隐式的,由编译器产生的代码创建,比如函数以传值的方式一个对象时。由于看不见相关代码,所以不太容易明白。不过我们稍微思考一下,就会想到,既然是根据一个存在的对象拷贝生成新的对象,是调用拷贝构造函数了。 两者实现时有什么差别呢?我想有人会说,没有差别。呵,如果没有差别,那么只要实现其中一个就行了,何必要两者都实现呢?不绕圈子了,它们的差别是: 拷贝构造函数对同一个对象来说只会调用一次,而且是在对象构造时调用。此时对象本身还没有构造,无需要去释放自己的一些资源。而赋值操作可能会调用多次,你在拷贝之前要释放自己的一些资源,否则会造成资源泄露。 明白了这些道理之后,我们不防写个测试程序来验证一下我们的想法: #include <stdio.h> #include #include <string.h> 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::CStringn"); 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("%sn", __func__); delete 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; } |