C++ 临时对象探讨, 性能提高手段

临时对象的概念

临时对象: 临时对象是指在表达式中创建并在表达式结束后立即销毁的对象.

产生临时对象的常见情况,和解决方法

假设有如下类定义

class A
{
private:
	int a;
public:
	A(int x = 0) : a(x) { cout << "调用构造函数" << endl; cout << a << endl; }
	~A() { cout << "调用析构函数" << endl; }
	A(const A& b) { a = b.a; cout << "调用复制构造函数" << endl; cout << a << endl; }
	A& operator=(const A& b) { a = b.a; cout << "调用复制构造函数" << endl; cout << a << endl; }
	int add(A b)
	{
		int Temp;
		Temp = a + b.a;
		b.a = 100;  // 修改此处的值对外界没有影响, 因为是按值传递
		return Temp;
	}
	int aval() const { return a; }
};

 情况1: 按值传递

	A a_1(10);
	int Sum = a_1.add(a_1); // 会调用复制构造函数和析构函数
	cout << "Sum = " << Sum << endl;
	cout << "a_1.a = " << a_1.aval() << endl;

 在执行第二行语句的时候, 会生成一个a_1对象的临时副本, 此时会导致拷贝构造函数的执行, 之后这个临时对象被被销毁, 会调用析构函数.

解决办法是, 应该按引用传递.

情况2: 类型转换生成的临时对象, 隐式类型转换

A a_1;
a_1 = 520; // 调用构造函数, 赋值运算符, 析构函数

在普通类型到类类型的转换时, 会把520转换成一个对象, 之后将这个对象赋值给a_1,赋值的过程会调用赋值运算符, 之后临时对象被销毁, 会调用析构函数.

解决办法: 应该将初始化和赋值放在一起执行.

A a_1 = 520; // 调用构造函数和析构函数

 当参数是const引用的时候在下面两种情况会产生临时变量

实参的类型正确, 但不是左值

实参的类型不正确, 可以被转变成正确的类型.

情况3: 返回对象的时候

这里和书上第十二章重合, 在返回一个对象的时候, 应该让构造函数来创建对象并且返回,可以减少消耗