DaveAbrahams关于CPP的新文章-Next:
在复制成本较低的情况下,按值传递结构具有编译器可能假定对象不别名(不是相同对象)的额外优势。使用按引用传递的编译器不能总是这样认为。简单的例子:foo * f;void bar(foo g) {
g.i = 10;
f->i = 2;
g.i += 5;}
编译器可以将其优化为g.i = 15;f->i = 2;
因为它知道f和g不具有相同的位置。如果g是一个引用(foo&),编译器就不可能这样认为。因为G.I可以由f->i别名,并且必须有7的值,所以编译器必须从内存中重新获取G.I的新值。
对于更实际的规则,下面是一组很好的规则移动构造器文章(强烈推荐阅读)。如果函数打算将参数更改为副作用,则以非Const引用方式进行。
如果函数不修改其参数,且参数是原语类型,则按值取其值。
否则由Const引用,除非在下列情况下如果函数无论如何都需要复制Const引用,则按值取它。
上面的“原语”基本上是指一些字节长且不是多态的小数据类型(迭代器、函数对象等.)或者复制起来很昂贵。在那篇论文中,还有另一条规则。其想法是,有时一个人想要复制(如果参数不能被修改),有时一个人不想(如果一个人想要在函数中使用参数本身,如果这个参数是临时的,例如)。论文详细说明了如何做到这一点。在C+1x中,这种技术可以在语言支持下本地使用。在此之前,我会遵守上述规定。
示例:要使字符串大写并返回大写版本,就应该始终按值传递:无论如何,都必须获取它的副本(不能直接更改Const引用)-因此更好地使调用方尽可能透明,并尽早将其复制,以便调用方尽可能优化-这篇文章中详细介绍了以下内容:my::string uppercase(my::string s) { /* change s and return it */ }
但是,如果您不需要更改参数,请参考Const:bool all_uppercase(my::string const& s) {
/* check to see whether any character is uppercase */}
但是,如果参数的目的是将某项写入参数,则通过非const引用传递它。bool try_parse(T text, my::string &out) {
/* try to parse, write result into out */}