含有指针成员的类的拷贝
题目:下面是一个数组类的声明与实现。请分析这个类有什么问题,并针对存在的问题提出几种解决方案。
template<typename T> class Array
{
public:
Array(unsigned arraySize) :data(0), size(arraySize)
{
if (size > 0)
data = new T[size];
}
~Array()
{
if (data) delete[] data;
}
void setValue(unsigned index, const T& value)
{
if (index < size)
data[index] = value;
}
T getValue(unsigned index) const
{
if (index < size)
return data[index];
else
return T();
}
private:
T* data;
unsigned size;
};
分析:我们注意在类的内部封装了用来存储数组数据的指针。软件存在的大部分问题通常都可以归结指针的不正确处理。
这个类只提供了一个构造函数,而没有定义构造拷贝函数和重载拷贝运算符函数。当这个类的用户按照下面的方式声明并实例化该类的一个实例:
Array A(10);
Array B(A);
或者按照下面的方式把该类的一个实例赋值给另外一个实例
Array A(10);
Array B(10);
B=A;
编译器将调用其自动生成的构造拷贝函数或者拷贝运算符的重载函数。在编译器生成的缺省的构造拷贝函数和拷贝运算符的重载函数,对指针实行的是按位拷贝,仅仅只是拷贝指针的地址,而不会拷贝指针的内容。因此在执行完前面的代码之后,A.data和B.data指向的同一地址。当A或者B中任意一个结束其生命周期调用析构函数时,会删除data。由于他们的data指向的是同一个地方,两个实例的data都被删除了。但另外一个实例并不知道它的data已经被删除了,当企图再次用它的data的时候,程序就会不可避免地崩溃。
由于问题出现的根源是调用了编译器生成的缺省构造拷贝函数和拷贝运算符的重载函数。一个最简单的办法就是禁止使用这两个函数。于是我们可以把这两个函数声明为私有函数,如果类的用户企图调用这两个函数,将不能通过编译。实现的代码如下:
private:
Array(const Array& copy);
const Array& operator = (const Array& copy);
最初的代码存在问题是因为不同实例的data指向的同一地址,删除一个实例的data会把另外一个实例的data也同时删除。因此我们还可以让构造拷贝函数或者拷贝运算符的重载函数拷贝的不只是地址,而是数据。由于我们重新存储了一份数据,这样一个实例删除的时候,对另外一个实例没有影响。这种思路我们称之为深度拷贝。实现的代码如下:
public:
Array(const Array& copy) :data(0), size(copy.size)
{
if (size > 0) // 这里没有自拷贝检查, 请读者思考该怎么解决
{
data = new T[size];
for (int i = 0; i < size; ++i)
setValue(i, copy.getValue(i));
}
}
const Array& operator = (const Array& copy)
{
if (this == ©) // 自赋值检查
return *this;
if (data != NULL)
{
delete[]data;
data = NULL;
}
size = copy.size;
if (size > 0)
{
data = new T[size];
for (int i = 0; i < size; ++i)
setValue(i, copy.getValue(i));
}
}
为了防止有多个指针指向的数据被多次删除,我们还可以保存究竟有多少个指针指向该数据。只有当没有任何指针指向该数据的时候才可以被删除。这种思路通常被称之为引用计数技术。在构造函数中,引用计数初始化为1;每当把这个实例赋值给其他实例或者以参数传给其他实例的构造拷贝函数的时候,引用计数加1,因为这意味着又多了一个实例指向它的data;每次需要调用析构函数或者需要把data赋值为其他数据的时候,引用计数要减1,因为这意味着指向它的data的指针少了一个。当引用计数减少到0的时候,data已经没有任何实例指向它了,这个时候就可以安全地删除。实现的代码如下:
public:
Array(unsigned arraySize)
:data(0), size(arraySize), count(new unsigned int)
{
*count = 1;
if (size > 0)
data = new T[size];
}
Array(const Array& copy)
: size(copy.size), data(copy.data), count(copy.count)
{
++(*count);
}
~Array()
{
Release();
}
const Array& operator = (const Array& copy)
{
if (data == copy.data)
return *this;
Release();
data = copy.data;
size = copy.size;
count = copy.count;
++(*count);
}
private:
void Release()
{
--(*count);
if (*count == 0)
{
if (data)
{
delete[]data;
data = NULL;
}
delete count;
count = 0;
}
}
unsigned int *count;
有错请指出, 转载请标明出处, 谢谢!
分享到:
相关推荐
C++/CLI教程C++/CLI教程C++/CLI教程C++/CLI教程C++/CLI教程C++/CLI教程
这年头,有个示例程序是多么的重要,节省了大量时间。
很好的,大家来看看 吧.初学的菜鸟来看看 吧其实我 是菜鸟啊啊
C/C++ threadpool封装, 线程池, Linux, 多线程, pthread
此程序使用的是#define创建的函数来作为储存的不可直接用于(if)判断
c++基础c++类,类的实例,类的指针,成员函数,构造函数.,适合新手菜鸟小白看,
使用的是C++编写的智能快递柜,无前端页面,只在工作台使用
RC4加密,想用的下吧,虽然是菜鸟,但觉得自己写的这个还不错
内存管理是C++最令人切齿痛恨的问题,也是C++最有争议的问题,C++高手从中获得了更好的性能,更大的自由,C++菜鸟的收获则是一遍一遍的检查代码和对C++的痛恨,但内存管理在C++中无处不在,内存泄漏几乎在每个C++...
c++ builder经典入门 对于刚接触的菜鸟来说非常有用
职场菜鸟需要注意的一些细节问题,一定会对你有所帮助!
c++菜鸟的摇篮c++菜鸟的摇篮c++菜鸟的摇篮c++菜鸟的摇篮c++菜鸟的摇篮c++菜鸟的摇篮
同时标准化委员会声明就有的C++头文件将不再列于被支持的名单之中了,而旧有的C头文件为了满足“对C的兼容性”这个古老契约,仍然将继续存活下去。 但是,那些编译器厂商不可能去推翻他们客户的旧有编译器(也跟本...
c++基础知识 适合初学者 内容全面 菜鸟必看
菜鸟教程(Runoob)提供的免费网上编译器! 包含C++ C C# HTML/CSS/JavaScript PHP Python等许多语言的编译器! 还有画图 进制转换等常用工具! 还有资源共享! 欢迎来到(http://c.runoob.com)!
包含选择题,填空题以及上机操作题。比如 下述程序的输出结果是()。 int x = 10; y = x++; printf(“%d, %d”, (x++, y), y++); A、11, 10 B、11, 11 C、10, 10 D、10, 11 试卷考查应试者的c语言能力,
师兄推荐的研究生找工作前必看的书。教你如何从菜鸟进化为编程高手。
这是本人刚入职作的作业,因为刚毕业,所以写的代码基本不能看,也希望各位能点评一下,自己刚学习,哎,还有好多考虑到,希望大家可以帮我找下bug和优化下代码,谢谢了! 自己是刚毕业工作的学生,所以写得很laji...
我们大学上课老师的讲课内容。。。 我们老师很牛逼,觉得清华教材讲的很深,不利于全然不会的弱弱弱菜鸟学习。。 便,自创C++教材,,,供我们学习~ *注意:要有C语言基础*
c语言菜鸟必看代码c语言菜鸟必看c语言菜鸟必看代码代码