Vector 的拷贝构造函数
2015-09-07 12:50
162 查看
大家都知道拷贝构造函数调用的常见情形包括
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();//测试第二个拷贝构造函数
}
希望大家指出其中的错误,非常感谢
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();//测试第二个拷贝构造函数
}
希望大家指出其中的错误,非常感谢
相关文章推荐
- dll和lib的相关问题总结
- C#指针读写结构体,效率高
- C# 中 Struct 与 Class 的区别,以及两者的适用场合
- uva 11995 猜猜数据结构
- AngularJS表单验证(上)
- Unity中内嵌网页插件UniWebView使用总结
- mybatis插入中文变成?解决办法
- svn历史版本删除(为svn库瘦身)
- DateTimeToStr 日期格式问题
- MinGW的安装
- 创建基于固件库的stm32程序模板并实现流水灯
- UITable排序问题
- nfs服务所需要的的iptables设置
- Delphi的字节对齐和简单string结构
- 点击链接第一次下载的不是想要的
- 【CCF】Z字形扫描
- C#的类类似于指针
- 【Linux开发】GCC 4.8及以上支持内存非法访问检查
- HDU 5428 分解质因数
- MyBatis 3.2.6插入时候获取自增主键方法