STL程序设计实践三:剖析STL容器的拷贝构造和赋值特性
拷贝构造
STL容器都支持元素的插入操作,但是当你插入自定义类对象你必须要清楚的了解STL容器是如何完成插入,对插入的自定义类对象有什么基本的要求。否则会出现你想不到的错误。举例说明。
class TestCpyConstruct
{
public:
TestCpyConstruct():data(NULL)
{
data = (char*) operator new(size);
memset(data,0,size);
}
~TestCpyConstruct()
{
operator delete(data);
}
private:
enum{size = 128};
char * data;
};
上面定义了一个TestCpyConstruct类,现在我们写出一段如下的代码,定义一个向量来存储TestCpyConstruct对象。
void main()
{
vector<TestCpyConstruct> vect;
TestCpyConstruct obj;
vect.push_back(obj);
}
当你编译并运行时,会出错,原因是非法访问。从而我们可以肯定在STL的vector容器中使用了如下伪代码。
new (&memaddr) TestCpyConstruct(const TestCpyConstruct& );
其中memaddr为容器动态分配的内存地址,该操作调用了TestCpyConstruct的拷贝构造函数。由于在TestCpyConstruct类中我们没有定义拷贝构造函数,所以调用了由编译产生的缺省拷贝构造函数,因此在程序析构TestCpyConstruct对象和vector<TestCpyConstruct>对象时发生了错误。
这说明在向容器中插入元素时调用了拷贝构造函数,所以在用容器存储自定义类型时,没有书写正确的拷贝构造函数会出现错误。
赋值操作
在看了上面的说明后我们再看看容器的赋值操作,STL中容器都支持容器对象相互赋值。
vector< TestCpyConstruct> vect1;
TestCpyConstruct obj;
vect.push_back(obj);
vector< TestCpyConstruct> vect2;
TestCpyConstruct obj2;
vect2.push_back(obj2);
vect2 = vect1;
在这段代码中同样会出现上面的错误,因为STL的vector容器中在赋值操作中调用了自定义类的operator=函数,但由于没有定义出,所以会出现错误。
综上所述,STL给我带来极大的方便,但是在使用时一定要清楚其限制和内部原理,只有这样才能写出正确的程式,尤其是应用在自定义类型时。
好了先说到这吧,我知道的也不多。本文仅供参考。文章写的仓促,有错别字或错误请大家来信指出 ccplusplus@21cn.com,先谢谢大家。欢迎和大家交流(--袁小凯--)。
附:
1.如下的程式调用的是拷贝构造函数而不是赋值操作。
vector< TestCpyConstruct> vect1;
TestCpyConstruct obj;
vect.push_back(obj);
vector< TestCpyConstruct> vect2;
vect2 = vect1;
2.TestCpyConstruct的拷贝构造函数原型应为
TestCpyConstruct(const TestCpyConstruct&)