Efficient C++（四）

第四章 返回值优化

 

      任何时候，只要消除了对象的创建和释放，都会极大的提高性能。默认情况下，编译器会自动消除局部对象。然而，有的编译器拒绝为已命名的局部对象进行优化，因此，我们写代码的过程中，尽量，少对对象命令。

 

例如，我们可以用

            return MyObj(x);

   代替

            MyObj obj(x); return obj;

 

第五章 临时对象

一、    对象定义时，由于类型不匹配导致临时对象产生

假设类Rational声明如下：

 

class Rational

{

   friend Rational operator+(cjonst Rational&,const Rational&);

   public:

           Rational(int a=0,int b = 1 ):m(a),n(b){}

   private:

           int m;

           int n;

}       

 

有如下三种初始化方式：

Rational r1(100);                        //1

Rational r2   = Rational(100);     //2

Rational r3 = 100;                      //3

 

这三种形式只有第一种形式，不会产生临时对象，以第三种为例：

 编译器会用构造函数Rational(int a=0,int b = 1）把整数100变成类型Rational的一个临时变量，然后使用复制构造函数从新创建的临时对象对r3初始化。

   显然，需要付出一个构造函数的代价。

 

 5.1 第三种情况是类型不匹配的一个情况，即r3需要一个Rational类型的对象初始化，结果我们却使用了一个整数初始化，因此使用了构造函数完成了一次初始化，但却用到了一个临时对象。要想避免这种情况发生，我们可以在构造函数的前面加上explicit：

explicit Rational(int a=0,int b = 1),可以告诉编译器，你反对利用构造函数进行转换。

 

    为了避免这种转换，你可以重载操作符：Rational::operator = ()函数，使他接受一个整型函数，这样可以消除临时对象。

 

5.2 另一种类型不匹配的情况

    void g(const string& s)

   {

          .......

   }

    为了防止调用g("asdfasdf");的情况出现（将引发临时对象的创建）

   我们必须重载g（）

   void g(const char* s)

   {.......}

  5.3  再一种类型不匹配的情况

   Complex a,b;

   ...

   for(int;i < 100;i++)

          a = i*b +1.0;

 

 问题出在每次循环都会创建一个临时对象。

 我们可以：

Complex one(1.0);

...

for(int;i < 100;i++)

     a = i*b + one;

这样虽然需要一次构造one，但是却一劳永逸。

 

二、按值传递、按值返回

 

按值传递:如果可能的话，尽可能的传递指针或者引用，避免产生临时对象；

按值返回：我们应尽量将

string str1,str2,str3;

str1 = "adsf";

str2 = "trgfh";

......

str3 =str1 + str2;

换成

sring str3 = str1 + str2;

因为前者会调用赋值操作符：string：：operator=()，这样经过赋值操作符运算后的结果，必须传递回来，以便赋值给str3，这样在赋值操作符的重载函数中，必须产生一个保存返回值结果的临时对象。而后者，直接将str1+str2的结构复制构造到str3