大家都知道拷贝构造函数调用的常见情形包括

1.函数参数传递,函数实参到形参的过程中调用拷贝构造

2.函数返回,函数返回一个对象时会调用拷贝构造函数

3.对象定义时赋值 如 A a=b 这里b也是类A的一个对象


vector中保存了很多对象的拷贝,当vector调用拷贝构造函数时,容器里面的对象都会被拷贝一份到新的容器里,如果容器中对象数目比较多,则这样的开销是十分昂贵的。但是看到一些工程代码中,函数里面局部vector对象里面保存了大量的对象,在函数结束时直接将vector对象返回。我就在想,这样一来岂不是会有很大的性能开销。经过我自己写的一个demo验证,得出结论:vector其实是存在两个拷贝构造函数的,在VS2012中两个函数的定义如下:

拷贝构造函数一:

vector(const _Myt& _Right)
 #if _HAS_CPP0X
: _Mybase(_Right._Getal().select_on_container_copy_construction())
 #else /* _HAS_CPP0X */
: _Mybase(_Right._Getal())
 #endif /* _HAS_CPP0X */
{ // construct by copying _Right
if (_Buy(_Right.size()))
_TRY_BEGIN
this->_Mylast = _Ucopy(_Right.begin(), _Right.end(),
this->_Myfirst);
_CATCH_ALL
_Tidy();
_RERAISE;
_CATCH_END
}


拷贝构造函数二:

vector(_Myt&& _Right)
: _Mybase(_Right._Getal())
{ // construct by moving _Right
_Assign_rv(_STD forward<_Myt>(_Right));
}


形如:Vector v1=v2会调用拷贝构造函数一,在该函数中会将v2中的所有元素全部拷贝一份到v1里面,调用拷贝构造函数的开销是相当昂贵的。

但是当 形如 vector v1=fun();  fun(){ vector v; return v}这样的函数调用,在函数返回时会调用拷贝构造函数二,在拷贝构造函数二中只是会修改 v1的三个迭代器(_Myfirst、 _Mylast、 _Myend)使得V1的三个迭代器指向v中对应迭代器所指向的位置,并且把v的三个迭代器赋值为空,使得在v析构时不会修改v容器中的元素,这样就相当于v1中保存了v中的所有元素,并且没有容器中元素拷贝的性能损失。


以下是我的Demo:

#include<iostream>
#include<vector>
using namespace std;


class Test
{
public:
int data;
Test()
{
cout<<"Test Constrcut"<<endl;
}
~Test()
{
cout<<"Test Destruct"<<endl;
}
Test(const Test&t)
{
this->data=t.data;
cout<<"Test Copy"<<endl;
}
};


vector<Test> fun()
{
vector<Test>can;
Test t;
t.data=12;
can.push_back(t);


vector<Test>can2=can;//测试第一个拷贝构造函数


return can;
}


int main()
{
vector<Test> can=fun();//测试第二个拷贝构造函数
}


希望大家指出其中的错误,非常感谢

Logo

权威|前沿|技术|干货|国内首个API全生命周期开发者社区

更多推荐