原文出自程序人生 >> C++中的返回值優(yōu)化(return value optimization)
返回值優(yōu)化（Return Value Optimization，簡稱RVO），是這么一種優(yōu)化機(jī)制：當(dāng)函數(shù)需要返回一個(gè)對象的時(shí)候，如果自己創(chuàng)建一個(gè)臨時(shí)對象用戶返回，那么這個(gè)臨時(shí)對象會消耗一個(gè)構(gòu)造函數(shù)（Constructor）的調(diào)用、一個(gè)復(fù)制構(gòu)造函數(shù)的調(diào)用（Copy Constructor）以及一個(gè)析構(gòu)函數(shù)（Destructor）的調(diào)用的代價(jià)。而如果稍微做一點(diǎn)優(yōu)化，就可以將成本降低到一個(gè)構(gòu)造函數(shù)的代價(jià)，下面是在Visual Studio 2008的Debug模式下做的一個(gè)測試：（在GCC下測試的時(shí)候可能編譯器自己進(jìn)行了RVO優(yōu)化，看不到兩種代碼的區(qū)別）
1 // C++ Return Value Optimization
2 // 作者：代碼瘋子
3 // 博客：http://www.programlife.net/
4 #include <iostream>
5 using namespace std;
6 7 class Rational
8 {
9 public:
10 Rational(
int numerator = 0,
int denominator = 1) :
11 n(numerator), d(denominator)
12 {
13 cout << "Constructor Called
" << endl;
14 }
15 ~Rational()
16 {
17 cout << "Destructor Called
" << endl;
18 }
19 Rational(
const Rational& rhs)
20 {
21 this->d = rhs.d;
22 this->n = rhs.n;
23 cout << "Copy Constructor Called
" << endl;
24 }
25 int numerator()
const {
return n; }
26 int denominator()
const {
return d; }
27 private:
28 int n, d;
29 };
30 31 //const Rational operator*(const Rational& lhs,
32 // const Rational& rhs)
33 //{
34 // return Rational(lhs.numerator() * rhs.numerator(),
35 // lhs.denominator() * rhs.denominator());
36 //}
37 38 const Rational
operator*(
const Rational& lhs,
39 const Rational& rhs)
40 {
41 cout << "----------- Enter operator* -----------" << endl;
42 Rational tmp(lhs.numerator() * rhs.numerator(),
43 lhs.denominator() * rhs.denominator());
44 cout << "----------- Leave operator* -----------" << endl;
45 return tmp;
46 }
47 48 int main(
int argc,
char **argv)
49 {
50 Rational x(1, 5), y(2, 9);
51 Rational z = x * y;
52 cout << "calc result: " << z.numerator()
53 << "/" << z.denominator() << endl;
54 55 return 0;
56 }
函數(shù)輸出截圖如下：
可以看到消耗一個(gè)構(gòu)造函數(shù)（Constructor）的調(diào)用、一個(gè)復(fù)制構(gòu)造函數(shù)的調(diào)用（Copy Constructor）以及一個(gè)析構(gòu)函數(shù)（Destructor）的調(diào)用的代價(jià)。
而如果把operator*換成另一種形式：
1 const Rational
operator*(
const Rational& lhs,
2 const Rational& rhs)
3 {
4 return Rational(lhs.numerator() * rhs.numerator(),
5 lhs.denominator() * rhs.denominator());
6 }
就只會消耗一個(gè)構(gòu)造函數(shù)的成本了：