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

原创 2001年03月12日 23:13:00

作者: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;
  }
----------
(结束)

C++中临时对象的产生与优化

C++中临时对象的产生与优化 本文主要介绍c++中临时对象产生的几种情况,同时介绍避免的策略。由于在C++中对象的创建和消除会调用该对象对应的构造和析构函数,是一个相对比较耗时的操作,从程序效率角度来...
  • fangqingan_java
  • fangqingan_java
  • 2013年07月13日 20:55
  • 1188

C++临时对象那些事儿

C++大概是这个世界上最飘逸、成功、失败的语言吧,临时对象是C++语言中最复杂的东西之一。 以下代码段新手大概经常会写吧: std::string FetchFormat(){ return "%d...
  • wind_2008_06_29
  • wind_2008_06_29
  • 2016年04月13日 16:55
  • 1377

C++中函数返回临时对象和本地对象的区别

C++中函数返回临时对象和本地对象的区别                        By qianghaohao(CodeNutter)        在C++中如果函数返回值是对象的时候,那么该...
  • qianghaohao
  • qianghaohao
  • 2016年09月09日 20:48
  • 1537

C++调用函数是如何返回临时对象的

请看如下代码 #include "stdafx.h" #include using namespace std; class INT { friend ostream& operator...
  • u012332679
  • u012332679
  • 2017年03月07日 18:03
  • 377

C++临时对象销毁时间

下面这段代码会输出什么?
  • passion_wu128
  • passion_wu128
  • 2014年08月31日 12:29
  • 1785

C++中临时对象及返回值优化

一、什么是临时对象? C++真正的临时对象是不可见的匿名对象,不会出现在你的源码中,但是程序在运行时确实生成了这样的对象. 通常出现在以下两种情况:1 、为了使函数调用成功而进行隐式类型转换的时候...
  • yockie
  • yockie
  • 2016年07月10日 22:22
  • 631

C++学习笔记之——局部对象和临时对象的构造和析构时机

在写这篇文章之前,一直没有注意过C++中临时对象何时调用析构的。直到最近看代码的过程中遇到这种情况。 由于不了解临时对象何时调用析构函数,所以很不了解代码的实现。甚至还用局部对象的析构时机去看待。先讲...
  • huangjh2017
  • huangjh2017
  • 2017年04月19日 17:22
  • 387

C++中临时对象的产生

//《More Effective C++》读书笔记 C++真正的所谓临时对象使不可见的----不会在你的源代码中出现。 (不要把代码中出现的局部对象误解为临时对象) 临时对象通常发生于两种情...
  • sichuanpb
  • sichuanpb
  • 2017年04月13日 10:01
  • 124

c++ vector对象方法用法

C++内置的数组支持容器的机制,但是它不支持容器抽象的语义。要解决此问题我们自己实现这样的类。在标准C++中,用容器向量(vector)实现。容器向量也是一个类模板。 标准库vector类型使用需要...
  • u011269801
  • u011269801
  • 2014年03月23日 15:34
  • 1346

C++临时变量什么时候销毁

https://www.zhihu.com/question/23511471 和上面的问题差不多。 http://www.cnblogs.com/xkfz007/articles/2506022.h...
  • a627088424
  • a627088424
  • 2015年12月20日 22:04
  • 1140
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:C++ articles:Guru of the Week #2 --临时对象
举报原因:
原因补充:

(最多只允许输入30个字)