函数返回值返回临时变量之解惑

在程序猿进化的道路上越走越远。。。。。。

在写程序的过程中，许多时候都会碰到函数需要要返回一个其内部临时变量的情况，如下：

PS：

每每此时，大家难免会有这样的疑惑 “a为临时变量啊，它不是在fun返回时就gameover了吗，那么返回的那个东东到底是个什么东东呢  。。。。不解”

OK，今天咱们就一块来学习一下吧。。。。。。

定义类B：
定义类B：

class B   
{
public:
 B()
 {
  cout<<"B的构造函数"<  }

 B(int i)
 {
  cout<<"带int型参数的B的构造函数"<  }

 B(B &ano)
 {
  cout<<"B的复制构造函数"<  }

 B& operator=(const B& rhs)
 {
  cout<<"B的赋值操作符"<   return *this;
 }

 virtual ~B()
 {
  cout<<"B的析构函数"<  }
};


在main.cpp内定义方法：
B func2()
{
  B b;
  return b;
}

//情况1
主方法内：
void main()
{
  B t;
  t=func2();
}

 

运行结果为：
B的构造函数 //构造主方法内的对象t
B的构造函数 //构造fun2内的局部对象b
B的复制构造函数 //将func2的局部对象复制到一个临时对象
B的析构函数 //析构局部对象b
B的赋值操作符 //使用临时对象初始化t
B的析构函数 //析构临时对象
B的析构函数 //析构对象t

 

//情况2

void main()
{
  B t=func2();
}

运行结果为：
B的构造函数 //构造fun2内的局部对象b  
B的复制构造函数   
B的析构函数
B的析构函数

在情况1中出现了两个临时对象，但是情况2中却只出现了一次，为啥?

 

 

原因：

局部对象在返回值的函数的过程中的，运行的方式:

1. 首先，B func2() 方法在编译是会被编译成void func2(const B& __tempResult)这种形式。

 

2. 在情况一中，t的初始化采用的是operator=操作符，operator=要求必须使用一个已经创建好了的对象对左值进行复制，所以此时必须先形成一个临时对象，然后将临时对象赋值给t

    在情况二中，t是通过复制构造函数进行初始化的。复制构造函数初始化要求左值是一个已有对象，而非创建好了的对象，因此此时不需要创建一个临时对象，__tempResult作为一个t的引用，然后在在函数内进行操作。

 

 

对情况2进一步优化，可以将func2函数修改为如下：

B func2（）

{

   return B();

}

 

 

返回一个未命名的对象，这时候相当于直接对__tempResult调用return处的构造函数，而__tempResult是指向t的引用，所以t构造函数初始化。在这个过程中，可见调用了一次构造函数，构造了t，不生成任何临时对象，运行结果为：

B的构造函数被调用

B的析构函数被调用

 

 

同理，若在情况1下，调用新版本的func2方法：

因为对t的赋值采用的是operator=，所以需要一个创建好了的对象，因此会有一个临时对象，由于返回未命名的对象，这时临时对象__tempResult调用return处的构造函数。

 

运行结果为：

B的构造函数被调用

B的构造函数被调用

B的赋值操作符被调用

B的析构函数被调用

B的析构函数被调用