参考:http://bbs.csdn.net/topics/390452085
项目很复杂,我简化了下代码
考虑一个类进 CArray
class A { int *m_a; public: A()//不带参数构造函数,只是为了通过编译 { int fenge = 4; }; A(int n)//我需要用的构造函数 { m_a = new int; m_a[0] = n; } A(A& _a)//深度拷贝构造函数 { m_a = new int; } ~A()//析构,清理成员指针 { delete m_a; } };
CArray <A,A> arr;//先不考虑用引用及指针 A a(1); //构造对象0x0012ff2c arr.Add(a);// 看下面解释,一共生成了3个对象,一个加入到array中 int fenge = 10;//断点分割 arr.RemoveAt(0);//析构加入到array的那个对象,调用析构,delete野指针出错 fenge = 9;
跟踪代码运行
Add时生成三个对象
深度拷贝构造函数 0x0012fe2c
深度拷贝构造函数 0x0012fd10
不带参数构造函数 0x00369ee8
之后两次调用析构函数 删除 0x0012fd10,0x0012fe2c,也就是说,两个有效对象被carray删掉了,一个垃圾对象进了array,然后RemoveAt时delete野指针出错,解决方案为重载赋值操作符作深度拷贝
class A { int *m_a; public: A() { int fenge = 4; }; A(int n) { m_a = new int; m_a[0] = n; } A(A& _a) { *this = _a; } ~A() { delete m_a; } A &operator=(A &_a) { m_a = new int; *m_a = *_a.m_a; return *this; } };
CArray 调用 add 时 构造第三个对象0x00369ee8(也就是进队列的对象)后,调用=操作符,在这里我们申请内存
也就是说,当以对象方式启用CArray时,需要同时具备拷贝构造函数和赋值操作符重载
此外有几点补充:
1.为了代码维护性降低,建议拷贝构造函数中调用=操作符
2. 赋值操作符重载中,没有对原来的m_a的内存释放,造成内存泄露,(参考http://blog.csdn.net/wyywatdl/article/details/4679348)这里要添加对原m_a的数据释放
if(m_a) delete m_a; 并且,为了避免自赋值带来的运行时错误,=操作符重载之初作判断:if(this == &_a) return *this;
3.因为释放m_a时,要判断m_a是否为0,而CArray新建临时对象时同时用到了无参数构造函数和拷贝构造函数,因此在这两个构造函数中都要对m_a初始化为0,关键!因为类初始化时未必会将成员指针初始化为0,删除野指针程序崩溃。
修改后的代码如下:
class A { int *m_a; public: A() { m_a = 0; int fenge = 4; }; A(int n) { m_a = new int; m_a[0] = n; } A(A& _a) { m_a = 0; *this = _a; } ~A() { delete m_a; } A &operator=(A &_a) { if(this == &_a) return *this; if(m_a) delete m_a; m_a = new int; *m_a = *_a.m_a; return *this; } };
另外参考:http://blog.sina.com.cn/s/blog_4d79495b0100a0wr.html
此外再考虑以引用对象的方式用CArray
CArray <A,A &> arr; A a(1); // 构造对象 0x0012ff2c arr.Add(a); // 直接调用无参数构造函数,调用=操作符,跳过中间两个临时对象,没有调用拷贝构造函数 int fenge = 10; arr.RemoveAt(0); fenge = 9;
也就是说,CArray当声明为引用方式时,只利用了无参数构造函数和赋值操作符重载,无需拷贝构造函数
所有参考
http://blog.csdn.net/wyywatdl/article/details/4679348
拷贝构造函数和赋值操作符的区别
http://blog.sina.com.cn/s/blog_4d79495b0100a0wr.html
区别复制构造函数和重载赋值操作符OPERATOR=的技巧