STL与拷贝构造函数

最新推荐文章于 2023-04-26 13:18:44 发布

转载最新推荐文章于 2023-04-26 13:18:44 发布 · 468 阅读

C/C++ 专栏收录该内容

40 篇文章

订阅专栏

本文探讨了STL容器在存放包含动态分配内存的对象时如何处理深拷贝问题，通过具体示例展示了拷贝构造函数及析构函数的调用过程。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

所有容器提供的都是“value语意”而非“reference语意”。容器内进行元素的安插操作时，内部实施的是拷贝操作，置于容器内。因此STL容器的每一个元素都必须能够拷贝。---<<C++标准程序库>> 侯捷、孟岩译 p144页原文

以vector为例，往Vector中（实际上所有STL容器都是这样）放元素，Vector会调用元素类的拷贝构造函数生成的副本，当Vector走出生存期时()，会自动调用其中每个元素的析构函数。比如，如果 vector<myclass> a，然后a.push_back(b);push_back其实是调用myclass的拷贝构造函数将参数b拷贝进去的。由于vector是自动管理的，出了a的作用域外，a会自动消失释放内存。之前push_back到a里面的数据b通过调用b.~myclass()释放内存。

[cpp]view plaincopy 
   
print?
 #include <vector>   
 using namespace std;   
   
 class CDemo{   
 public:   
 CDemo():str(NULL){}   
 ~CDemo(){if(str) delete [] str;}   
 char *str;   
 };   
   
 int main()   
 {   
 CDemo d1;   
 d1.str = new char[32];   
 strcpy(d1.str, "trend micro");   
   
 vector <CDemo> *a1 = new vector <CDemo>();   
 a1 -> push_back(d1);   
   
 delete a1;   
 return 0;   
 }   

1. vector <CDemo> *a1 = new vector <CDemo>(); a1是new出来的，所以必须要手工delete.这是对a1本身而言，而与a1内存储的数据无关。
2. a1 -> push_back(d1); 这部操作比较复杂，因为你的vector是存储类，而不是类指针。但是push_back的参数是引用，所以不需要创建d1的拷贝（也就不需要调用拷贝构造）作为参数传递给push_back。但是在push_back中，会创建d1的拷贝d1_1（需要调用拷贝构造），d1_1是存储在a1管理的内存中。
3. delete a1; a1中存有d1_1，所以会删除d1_1，自然会调用d1_1的析构函数。
4. 在main中return 0, d1被自动删除，此时调用d1的析构函数。
5. 因为class CDemo没有拷贝构造函数，所以创建拷贝时只是简单的把新对象中每个成员变量的值设置成与原来的对象相等。相当于运行memcpy。这时问题就来了，因为你的一个成员是char *str; 这样d1,d1_1的str都是指向同一个地址。所以只有第一次调用CDemo的析构函数时能运行正确，以后的都会出错。因为一个地址只能释放一次。

解决办法是定义自己的拷贝构造函数实现深拷贝：

[cpp]view plaincopy 
   
print?
 #include <iostream>  
 #include <fstream>  
 #include <vector>  
 using namespace std;  
   
 ofstream out("test.out");  
 class CDemo{  
 public:  
     CDemo():str(NULL){  
         out << "constructor is called" << endl;  
     }  
     CDemo(const CDemo &cd)  
     {  
         out << "copy constructor is called" << endl;  
         this->str = new char[strlen(cd.str)+1];  
         strcpy(str, cd.str);  
     }  
   
     ~CDemo(){  
         if(str){  
             out << "destructor is called" << endl;  
             delete[] str;  
         }  
     }  
     char *str;  
 };  
   
 int main()  
 {  
     vector <CDemo> *a1 = new vector <CDemo>();  
     a1 -> reserve(1);  
     out << a1 -> capacity() << endl;  
       
     CDemo d1;  
     d1.str = new char[32];  
     strcpy(d1.str, "trend micro1");  
     out << "/////////////////////////////////" << endl;  
     a1->push_back(d1);  
     out << "/////////////////////////////////" << endl;  
     CDemo d2;  
     d2.str = new char[32];  
     strcpy(d2.str, "trend micro2");  
     out << "/////////////////////////////////" << endl;  
     a1->push_back(d2);  
     out << "/////////////////////////////////" << endl;  
     delete a1;  
   
     return 0;  
 }  

1
constructor is called
/////////////////////////////////
copy constructor is called
/////////////////////////////////
constructor is called
/////////////////////////////////
copy constructor is called
copy constructor is called   //搬运之前的元素
destructor is called   //之前的元素被析构
/////////////////////////////////
destructor is called   //析构容器中所有对象
destructor is called
destructor is called //析构CDemo d1
destructor is called   //析构CDemo d2

可以看到，再加入第二个对象的时候，拷贝构造函数被调用的两次，这是因为，在第一次push_back时，vector的capacity是1,是正常调用一次拷贝构造；而第二次push_back时，会发现容量不够了，stl会重新分配一个old_size的两倍的空间，除了新push进来的数据会放在这个新空间，调用一次拷贝构造，原来已经有的数据也要搬过来的，就又要调用拷贝构造。如果把a1 -> reserve(1);修改为a1 -> reserve(2);保证第二次时也有足够的空间，那么程序的运行结果为：

2
constructor is called
/////////////////////////////////
copy constructor is called
/////////////////////////////////
constructor is called
/////////////////////////////////
copy constructor is called
/////////////////////////////////
destructor is called
destructor is called
destructor is called
destructor is called
为了进一步验证空间重新分配对对象拷贝的影响，看下面的例子：

[cpp]view plaincopy 
   
print?
 #include <iostream>  
 #include <fstream>  
 #include <vector>  
 using namespace std;  
   
 ofstream out("test.out");  
 class CDemo{  
 public:  
     CDemo():str(NULL){  
         out << "constructor is called" << endl;  
     }  
     CDemo(const CDemo &cd)  
     {  
         out << "copy constructor is called" << endl;  
         this->str = new char[strlen(cd.str)+1];  
         strcpy(str, cd.str);  
     }  
   
     ~CDemo(){  
         if(str){  
             out << "destructor is called" << endl;  
             delete[] str;  
         }  
     }  
     char *str;  
 };  
   
 int main()  
 {  
     vector <CDemo> *a1 = new vector <CDemo>();  
     a1 -> reserve(1);  
       
     for(int i = 1; i < 5; i ++){  
         out << "/////////////////////////////////" << endl;  
         out << i << endl;  
         CDemo d;  
         d.str = new char[32];  
         strcpy(d.str, "trend micro1" + i);  
         out << "begin to push_back" << endl;  
         out << "the vector capacity is " << a1 -> capacity() << endl;  
         a1->push_back(d);  
     }  
     out << "/////////////////////////////////" << endl;  
     delete a1;  
   
     return 0;  
 }  

程序的运行结果：

/////////////////////////////////
1
constructor is called
begin to push_back
the vector capacity is 1
copy constructor is called
destructor is called
/////////////////////////////////
2
constructor is called
begin to push_back
the vector capacity is 1
copy constructor is called
copy constructor is called //搬运之前的元素1
destructor is called   //之前的元素被析构
destructor is called //CDemo d临时对象
/////////////////////////////////
3
constructor is called
begin to push_back
the vector capacity is 2
copy constructor is called
copy constructor is called   //搬运之前的元素1
copy constructor is called   //搬运之前的元素2
destructor is called   //之前的元素1被析构
destructor is called   //之前的元素2被析构
destructor is called   //CDemo d临时对象
/////////////////////////////////
4
constructor is called
begin to push_back
the vector capacity is 4
copy constructor is called   //不需要搬运，第三次时容量已经变成4
destructor is called   //CDemo d临时对象
/////////////////////////////////
destructor is called //析构容器中所有对象
destructor is called
destructor is called
destructor is called
可以看到，容量的确是按照两倍的空间递增，并且原来已经有的数据要搬过来，就要调用拷贝构造。所以为了程序的效率，最好一开始就用reserve确定vector的大小，避免之后动态扩展，搬运原有数据引起拷贝构造的调用。