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给我带来极大的方便，但是在使用时一定要清楚其限制和内部原理，只有这样才能写出正确的程式，尤其是应用在自定义类型时。

附：

       1．如下的程式调用的是拷贝构造函数而不是赋值操作。

vector< TestCpyConstruct> vect1;

TestCpyConstruct obj;

vect.push_back(obj);

vector< TestCpyConstruct> vect2;

vect2 = vect1;

    2．TestCpyConstruct的拷贝构造函数原型应为

        TestCpyConstruct(const TestCpyConstruct&)