C++临时对象

临时对象是那些不是分配在堆里的匿名变量。

临时对象一般产生于两种场合：对函数调用时参数发生隐式类型转换；函数返回对象

隐式类型转换：

例如： 函数function(const string&)，某个调用为：char* buf="xxx"; function(buf),在这时候，编译器会产生一个string类型的临时变量，该临时变量将buf转为string，然后传递给函数参数，直到函数返回，临时变量才被销毁。

值得注意的是：只有当参数类型为const，或者传值方式时，才能进行隐式转换。普通的传引用方式不能进行隐式转换。这时因为，传入的对象地址实际上是临时对象的地址，如果在函数体内对参数进行了修改，改变的是临时变量的值，而用户传入的参数并没有改变，这是与程序员的期望不一致。而传值与const类型的参数保证了函数体内的改变不影响到传入参数的值，因此可以这样使用。

 

 

/*此文是译者出于自娱翻译的GotW(Guru of the Week)系列文章第二篇，原文的版权是属于Hub Sutter（著名的C++专家，"Exceptional C++"的作者）。此文的翻译没有征得原作者的同意，只供学习讨论。——译者
*/

#2 临时对象
难度：5/10

不必要的临时对象常常导致代码冗余和执行效率低下。

问题：
    假设你正在看一段代码，代码中有如下一个函数。这个函数中至少有3处产生了不必要的临时对象。
    看看你能够找出几处，该怎样修改？
        
  string FindAddr( list l, string name )
  {
    for( list::iterator i = l.begin();
         i != l.end();
         i++ )
    {
      if( *i == name )
      {
        return (*i).addr;
      }
    }
    return "";
  }

答案：
    不管你信不信，就在这寥寥几行代码里出现了三处明显的不必要的临时对象，两处不太明显的临时对象，还有一处值得注意的地方。
   
   string FindAddr( list l, string name )
                   ^^^^^^^1^^^^^^^^  ^^^^^2^^^^^
    1&2.参数应该是const引用类型.上述语句中的传值参数会导致list和string的拷贝操作，这可能是很耗时的。
           [准则]尽量使用const&来代替值拷贝传递参数。
   
   for( list::iterator i = l.begin();
         i != l.end();
         i++ )
         ^3^
    3.此处比上两处稍难看出。此处如果用前自增操作代替后自增的将更有效率，因为对象的后自增操作需要对象执行自增操作并返回一个自增前原值的临时对象（译者：重载过前自增和后自增操作符的读者应该都清楚二者的区别）。注意这种情况对于象int这样的C++原始类型也是适用的。
           [准则]尽量使用前自增，避免使用后自增。
   
    if( *i == name )
           ^4
    4.虽然我们没有看到Employee类的定义，但是要使得上面的语句有效，这个类必须定义了到string类型转换操作符或者定义了以string类型为参数的构造函数。这两种情况都会产生一个临时对象，前者调用string的等值比较操作符（operator==）,后者调用了Employee的等值比较操作符。（唯一不产生临时对象的情况就是string和Employee类中重载了以对方为参数类型的等值比较操作符。）
           [准则]要小心隐藏在参数转换后面产生的临时对象。一个避免产生这种临时对象的解决办法就是用explicit修饰符对构造函数加以限制。
  
   return "";
         ^5
    5.此处产生了一个临时的空string对象。
    更好的方法是声明一个局部的string对象来存放返回值，并且最后以一条返回该对象的值的语句作为统一的返回出口。这将使得编译器可以在某些情况下采用返回值优化手段省略掉这个局部对象。比如下面的情形：调用者通过如下代码调用这个函数：
              string a = FindAddr( 1, "Harold" );
           [准则]遵循单个出口原则。决不要在同一个函数中存在多个返回语句。

[注意：在作了更多的性能测试以后，我并不完全赞成上述的原则。《Exception C++》中已经对此作了不同阐述。]

    string FindAddr( list l, string name )
    ^^^*^^
    *.此处是一个题外话，但很值得注意。看起来好像简单地将函数返回值类型从string类型改为引用类型sting&就又可以避免产生一个临时对象，但这是错误的！如果你幸运的话，你的程序会在函数调用者使用返回的引用时就马上崩溃，因为引用所指的局部对象已经不存在了。如果你不够幸运的话，你的程序看起来好像可以工作，但却不定期的崩溃，那将可能让你熬好几个晚上的长夜来调试找错。
           [准则]千万千万不要将一个局部对象的引用作为返回值。
         （注意：新闻组上有些人贴文正确的指出：可以通过声明一个静态对象，并在  没有查到对应雇员的地址时返回这个静态对象的引用，这样就可以把函数返回值改为引用类型而并不改变函数的语义。这同样也说明你在返回引用时必须了解所引用对象的生命周期以保证返回的引用有效。）
   
    上述代码中还有一些可以优化的地方，比如可以避免调用end(),可以（或者说应该）使用一个const_iterator类型的迭代器。暂时不考虑这些，我们可以写出如下的较好的函数定义：
   string FindAddr( const list& l, const string& name )
  {
    string addr;
    for( list::const_iterator i = l.begin();
         i != l.end();
         ++i )
    {
      if( (*i).name == name )
      {
        addr = (*i).addr;
        break;
      }
    }
    return addr;
  }