Ist `std :: move 'hier notwendig?

Question

Ist std::move im folgenden Code-Schnipsel erforderlich?

std::function<void(int)> my_std_function; 

void call(std::function<void(int)>&& other_function) 
{ 
    my_std_function.swap(std::move(other_function)); 
} 

Soweit ich call() akzeptiert eine rvalue Referenz wissen .. aber da die rvalue Referenz selbst einen L-Wert, um swap(std::function<void(int)>&&) zu nennen ich dies mit std::move

zu rvalue Referenz erneut gegossen habe

Ist meine Argumentation korrekt oder std::move kann in diesem Fall weggelassen werden (und wenn es kann, warum?)

Answer 1

std::function::swap nimmt seinen Parameter nicht durch Rvalue-Referenz. Es ist nur ein regular non-const lvalue reference. Daher ist std::move nicht hilfreich (und sollte wahrscheinlich nicht kompiliert werden, da rvalue-Referenzen nicht an l0val-Referenzen binden dürfen).

other_function muss auch keine rvalue-Referenz sein.

Answer 2

Die Signatur ist

void std::function<Sig>::swap(function& other) 

so Code sollte nicht mit std::move kompilieren (msvc Erweiterung hat diese Bindung zu ermöglichen: /)

Wie Sie r-Wert Bezug nehmen, denke ich, dass eine einfache Zuordnung in Ihrem Fall ist das, was Sie wollen:

std::function<void(int)> my_std_function; 

void call(std::function<void(int)>&& other_function) 
{ 
    my_std_function = std::move(other_function); // Move here to avoid copy 
} 

Answer 3

Sie haben Recht, in einem gewissen Sinne — rvalue zu bekommen wieder würden Sie std::move benötigen.

Der Aufruf swap erfordert jedoch keinen R-Wert oder eine R-Wert-Referenz — nur eine einfache ol 'lval ref.

Sie sind also gut ohne die std::move Besetzung zu gehen.

In Bezug auf Verschieben Semantik ist eine Swap-Operation ziemlich Low-Level. Sie werden feststellen, dass die meisten nützlichen Moves letztlich durch eine Reihe von Swaps implementiert werden. Daher ist es sinnvoll, dass die Swaps selbst keine move-Semantik verwenden. Wirklich, wie würden sie?

Answer 4

In diesem Fall macht das keinen Unterschied, da std::function::swap eine nicht konstante Lvalue-Referenz verwendet. Es sollte nicht einmal mit std::move kompilieren.

Wenn Sie eine Funktion verwendet, die tat rvalues ​​erlauben, dann sind Sie würde Notwendigkeit std::move als other_function zu nennen ein L-Wert ist, auch wenn die Art der es sich um eine rvalue Referenz. Zum Beispiel:

struct Foo { 
    Foo()=default; 
    Foo(const Foo&) { std::cout << "copy" << std::endl; } 
    Foo(Foo&&) { std::cout << "move" << std::endl; } 
}; 

void bar (Foo&& a) { 
    Foo b {a};   //copy 
    Foo c {std::move(a)}; //move 
}