参考: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=的技巧