C++对传参和传返回值时构造的优化处理
如果读者不太了解C++的四个默认成员函数,可以看这篇博客 enter link description here
有时候C++的编译器会对我们的代码进行优化处理,使我们很困惑。实际上,这些优化都是有迹可循的,不是杂乱无章的。
当多个临时对象连续赋值的时候 ,简单点来说就是,在一次拷贝构造结束后,并没有直接返回给要创建的对象而是又再次进行了拷贝构造。或者说是,建立一个临时对象,来进行拷贝构造,然后又返回了一个临时对象,再用这个返回的临时对象继续拷贝构造。这时候,系统就会自动优化。
例如:
#define _CRT_SECURE_NO_WARNINGS 1
#include <iostream>
using namespace std;
class AA
{};
AA f (AA a)
{
return a ;
}
void Test1 ()
{
AA a1 ;
a1 = f(a1);
}
void Test2 ()
{
AA a1 ;
AA a2 = f(a1);
}
void Test3 ()
{
AA a1 ;
AA a2 = f(f(a1));
}
Test 1
Test1 调用了两次次拷贝构造,一次赋值运算符的重载
Test 2
Test2调用了两次拷贝构造,0次赋值运算符的重载。
其实这个道理很简单,试想一下,谁想重复做不必要的工作,或者说,能一次做好的事情,为什么要做两次。编译器也是如此。
优化之前:
会用a拷贝构造出一个临时对象,然后用这个临时对象拷贝构造出a2
优化之后
直接用a拷贝构造出a2。
Test3 ( ) :
调用了三次拷贝构造,0次赋值运算符的重载。
省去了两个临时对象的创建。方框圈住的,都优化了,所以看起来调用了5次拷贝构造,实际上只调用了3次拷贝构造;