Передача по значению и скопировать оптимизации Elision

Question

я наткнулся на статью http://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(), может быть расположено там, где этот аргумент, тем самым лидируя одну копию. Если аргумент присваивания является значением lvalue в той или иной форме, его всегда необходимо скопировать, конечно.