问题描述
- c++函数调用时拷贝构造函数和析构函数
- 先上代码
class A{ public: A(){cout<<""构造函数""<<endl;} ~A(){cout<<""析构函数""<<endl;} A(const A &a){cout<<""拷贝构造函数""<<endl;}; A& operator=(const A &a) { cout<<""赋值操作符""<<endl; return *this; }};A show(A a){ return a;}
main中这样写的话
A a; show(a);
执行一次构造函数,两次拷贝构造函数,两次析构函数。这我可以理解。但是如果这样写
A a; A b=show(a);
执行了两次拷贝构造函数,和一次析构函数。这我有点不能理解。show函数中,不是应该产生两个临时对象么,需要两个拷贝构造函数和两次析构,再加上对b=show(a);不是一共应该有三个拷贝构造函数,两个析构函数么。。。。
解决方案
因为编译器还有可能优化,你这里没有产生那么多临时对象,因为采用了RVO优化。
解决方案二:
operator=不是构造函数!!!
解决方案三:
看错了。show内部只有一个临时对象又返回了一个对象。其实两次执行的结果是一样的。
解决方案四:
楼主可以参考认识一下:
RVO--Return Value Optimization
概述
返回值优化(Return Value Optimization,简称RVO)是一种编译器优化机制:
当函数需要返回一个对象的时候,如果自己创建一个临时对象用户返回,那么这个临时对象会消耗一个构造函数(Constructor)的调用、一个复制构造函数的调用(Copy Constructor)以及一个析构函数(Destructor)的调用的代价。而如果稍微做一点优化,就可以将成本降低到一个构造函数的代价这样就省去了一次拷贝构造函数的调用和一次析构函数的调用。
编译使用原则
在使用GNU/g++编译器时可以使用""-fno-elide-constructors""选项来强制g++总是调用copy构造函数,即使在用临时对象初始化另一个同类型对象的时候。
但是在使用VS架构的编译器的时候 貌似编译器默认直接使用RVO的 并没有找到什么选项来关闭返回值优化。。。
例子
我们都知道三种拷贝构造函数调用的时机
①最明显的就是用一个类对象初始化另外一个对象的时候
②函数的参数是类对象,这个是函数按值传参数的时候,包括指针在内都是对原有的值的拷贝.
③函数返回一个类对象,这是一个对象以值传递的方式从函数返回.
但是这些都只是语义上的分析 现在的编译器的编译策略 很多情况下会把这些临时对象的创建都隐藏掉...
编译器无法进行RVO的几种情况
RVO是一个很有帮助的编译优化策略 但是它的优化实现是依赖于编译器的,也就是说编译器只能对指定的符合其规则的代码, 进行RVO优化对于不符合要求的却无能为力了,
下面我们总结一下有哪些情况会阻止编译器进行这种优化。
① 函数使用exeception 为了保证异常的正确捕获 编译器不会进行RVO
② 不对命名的函数对象(Different Named Objects) 这个情况是说,函数有可能有多个分支,最终导致有多个不同位置的return语句。对于此项优化,要求所有return返回的对象的名字都是一致的。如写成下面的情况,就不行:
③ 嵌入的汇编代码中引用了返回对象。