首页 > Linux操作系统 > Linux操作系统 > C++临时对象[转]
2008-12-15 16:08:42| 分类: 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<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 )来自 “ ITPUB博客 ” ,链接:https://blog.itpub.net/25306814/viewspace-703646/ ,如需转载,请注明出处,否则将追究法律责任。