C++和C语言相比,最为人诟病的就是其性能问题,通常一条C语言经编译器解释后,可以固定转换成5—10条汇编语言,但是一条C++语言,就没有这么幸运了,可能会是3条汇编语言,也可能是300条。C++影响性能的原因很多,其中一个就是临时对象的创建和销毁。这里我简述一种减少创建临时对象的方法--返回值优化问题
很多时候,函数需要按值返回,这其中就会不可避免地涉及到临时对象的创建和销毁。假设定义如下的Complex类:
class Complex
{
friend Complex operator +(const Complex&,const Complex&);
public:
Complex(double r=0, double i=0):real(r),imag(i)
{
cout<<"I''m in constructor"<<endl;
}
Complex(const Complex& c):real(c.real),imag(c.imag)
{
cout<<"I''m in copy constructor"<<endl;
}
Complex& operator =(const Complex& c)
{
real=c.real;
imag=c.imag;
cout<<"I''m in assignment"<<endl;
return *this;
}
void print()
{
cout<<real<<"+"<<imag<<"i"<<endl;
}
~Complex()
{
cout<<"I''m in destructor"<<endl;
}
private:
double real;
double imag;
};
Complex operator +(const Complex& a,const Complex& b)
{
/*Complex retVal;
retVal.real=a.real+b.real;
retVal.imag=a.imag+b.imag;
return retVal;*/
cout<<"calling plus"<<endl;
// return Complex(a.real+b.real,a.imag+b.imag);
Complex retVal(a.real+b.real,a.imag+b.imag);
return retVal;
}
其中的友元函数operator + 是一个按值返回的函数。编译器会将这个函数解释成如下:
void Complex_Add(const Complex& __result,
const Complex& c1,
const Complex& c2)
{
......
}
定义一下语句:Complex a(1,1),b(2,2),c;
c=a+b;
a和b相加的结果赋值给对象c的过程,可以被转化为:
Complex __tempResult;
Complex_Add(__tempResult, a,b);
c=__tempResult;
可以看出,在上述的一个简单的操作中,编译器会隐蔽地产生一个临时对象__tempResult。这是产生的第一个临时对象,先记下,但是这可能并不是唯一的一个。比如当operator +如下实现时
Complex operator +(const Complex& a,const Complex& b)
{
Complex retVal;
retVal.real=a.real+b.real;
retVal.imag=a.imag+b.imag;
return retVal;
}
在operator +函数内部又会产生一个临时对象retVal,综合一下,编译器在遇到如上的函数定义及调用时会产生如下解释:
void Complex_Add(const Complex& __tempResult,
const Complex& c1,[Page]
const Complex& c2)
{
Complex retVal;
retVal.Complex::Complex();
retVal.real=a.real+b.real;
retVal.imag=a.imag+b.imag;
__tempResult.Complex::Complex(retVal);
retVal.Complex::~Complex();
return;
}
所以
Complex a(1,1),b(2,2),c;
c=a+b;的运行结果是:
I''m in constructor
I''m in constructor
I''m in constructor
I''m in constructor
I''m in copy constructor
I''m in destructor
I''m in assignment
I''m in destructor
I''m in destructor
I''m in destructor
I''m in destructor
下面对程序进行优化,可以通过消除上述过程中产生的两个临时对象来减少对象的创建和析构
首先可以对operator +函数内部的retVal临时对象进行优化,使得直接用__tempResult取代retVal
void Complex_Add(const Complex& __tempResult,
const Complex& c1,
const Complex& c2)
{
__tempResult.Complex::Co
|