C++ articles:Guru of the Week #2 --临时对象

类别:编程语言 点击:0 评论:0 推荐:

作者:Hub Sutter
译者:plpliuly

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

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

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

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

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

本文地址:http://com.8s8s.com/it/it30469.htm