【C++ Efficiency】返还值最优化(return value optimization):利用函数return消除局部临时对象

函数返回对象会导致构造函数和析构函数带来无法消除的成本,对于一些函数(如operator*之类的)必须返回其对象,我们可以采用某种特殊写法来撰写函数,使得在返回对象时,能够让编译器消除临时对象的成本:

返回所谓的constructor arguments以取代对象。

//分数的operator*函数
class Rational
{
public:
	Rational(int numerator = 0,int denominator = 1);
	...
	int numerator() const;
	int denominator() const;
};
 

const Rational operator*(const Rational& lhs,const Rational& rhs)
{
	return Rational (lhs.numerator()*rhs.numerator()),
				lhs.denominator()*rhs.denominator());
}
//返回的是临时对象
//C++允许编译器将临时对象优化,使它们不存在

//调用operator*
Rational a = 10;
Rational b(1,2);
Rational c = a*b;

编译器消除“operator内的临时对象”以及“被operator返回的临时对象”;
将return表达式所定义的对象构造于c的内存内,于是调用operator的临时对象总成本为0,取而代之,只需付出一个constructor(用以产生c);你可以将此函数声明为inline,以消除调用operator所花费的额外开销。

inline const Rational operator*(const Rational& lhs,const Rational& rhs)
{
	return Rational (lhs.numerator()*rhs.numerator()),
				lhs.denominator()*rhs.denominator());
}

真正的编译器有此类特殊的优化行为,称作
return value optimization(返回值最优化):
利用函数的return点消除一个局部临时对象,并可能用函数端调用的某个对象取代。

你可能感兴趣的:(C++进阶,c++,开发语言,笔记)