C++：函数返回值与临时变量

C++规定当函数返回的是非引用类型时，函数会创建临时对象（temporary object），函数返回的就是这个临时对象。在求解表达式时，如果需要一个地方存储其运算结果，编译器会创建一个没有命名的对象，这就是临时对象。浅显的说，当你调用了函数，函数会 return一个值 那么这个值总得有存放的地方吧，编译器就把会把值存放在一个没有命名法临时对象中。

我们举个例子来说明一下，首先定义一个类：

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

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

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

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

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

定义一个函数：

B func2()
{
	B b;
	return b;
}

上面的函数返回一个非引用类型的变量，我们写两个测试函数，来看看返回一个非引用类型的变量会发生什么

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

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

运行测试函数test1()，其运行结果为：

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

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

运行测试函数test2()，其运行结果为：

B的构造函数 //构造fun2内的局部对象b  
B的复制构造函数   
B的析构函数
B的析构函数

由于 t 是通过复制构造函数进行初始化的。复制构造函数初始化要求左值是一个已有对象，而非创建好了的对象，因此此时不需要创建一个临时对象