按值传递和复制省略优化

Question

我遇到了https://web.archive.org/web/20120707045924/cpp-next.com/archive/2009/08/want-speed-pass-by-value/

作者建议：

不要复制你的函数参数。相反，通过值传递它们 让编译器进行复制。

但是，我不太明白文章中介绍的两个示例有什么好处：

// Don't
T& T::operator=(T const& x) // x is a reference to the source
{ 
    T tmp(x);          // copy construction of tmp does the hard work
    swap(*this, tmp);  // trade our resources for tmp's
    return *this;      // our (old) resources get destroyed with tmp 
}

对

// DO
T& operator=(T x)    // x is a copy of the source; hard work already done
{
    swap(*this, x);  // trade our resources for x's
    return *this;    // our (old) resources get destroyed with x
}

在这两种情况下都会创建一个额外的变量，那么好处在哪里？ 我看到的唯一好处是，如果将临时对象传递到第二个示例中。

Answer 1

关键在于，根据调用运算符的方式，可能会省略副本。假设您像这样使用您的运算符：

extern T f();
...
T value;
value = f();

如果参数由T const& 获取，编译器别无选择，只能保留临时变量并将引用传递给赋值运算符。另一方面，当您按值传递参数时，即它使用T，从f() 返回的值可以定位到该参数所在的位置，从而省略一个副本。如果赋值的参数是某种形式的左值，当然它总是需要复制。