c++ - 按值传递和复制省略优化

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