STL程序设计实践三:剖析STL容器的拷贝构造和赋值特性

 

　 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&)