Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Move semantics and perfect forwarding difference

I already got what move semantics is from this question: What are move semantics?

But I still do not get what perfect forwarding is in relation to move semantics.

Can someone explain in simple english and with a simple example what perfect forwarding means?

like image 296
Kami Avatar asked Jul 14 '14 09:07

Kami


1 Answers

Plain English-only attempt

The problem is probably too complex to be accurately described by plain English sentences, but one could think of perfect forwarding as a way to move temporary values passed to a function to another one as if the first function didn't exist at all, so without any unnecessary copies or assignments. C++11 allows you to do this by introducing some conversion rules between r-value (&&) and l-value (&) references to a type when you try to get a reference (either r-value or l-value) out of them.

R-value references are a feature of C++11 and they were designed to both address move semantics and perfect forwarding issues

This is the plain-English explanation but if you want to thoroughly understand the problem, I'd suggest reading the following:

The problem:

We want some temporary values passed to a function F to be passed to another one E without any copy or assignment.

Attempts to solve this issue

  • If you try to pass it by reference like

    template<typename T> void F(T& a) { E(a); }
    

    you will not be able to use temporaries (they're not l-values)

    F(1, 2, 3); // Won't work
    
  • Declaring a reference as const prolongs the lifetime of a temporary on the stack (this was historically done to avoid a common dangling reference error) so the following works

    template<typename T> void E(const T& a) {}
    
    template<typename T> void F(const T& a) {
        E(a);
    }
    

    but the downside is that you'll have to modify the signature of the function(s) to conform to this solution

  • If we're interested in the signature of E (it should conform to something) but not in F's one, we might get away with

    template<typename T> void E(T& a) {}
    
    template<typename T> void F(const T& a) {
        E(const_cast<T&>(a));
    }
    

    but in case this gets called with a real const and gets un-constant'ed, that would trigger undefined behavior

  • An unmaintainable solution could be to define all the variants you need

    template<typename T> void E(T& a) {}
    
    template<typename T> void F(T& a) { E(a); }
    template<typename T> void F(const T& a) { E(const_cast<T&>(a)); }
    

    but as the number of parameters grow, the number of combinations grows as well: this is likely to become unmaintainable

The solution in C++11

C++11 defines some rules that state

"[given] a type TR that is a reference to a type T, an attempt to create the type “lvalue reference to cv TR” creates the type “lvalue reference to T”, while an attempt to create the type “rvalue reference to cv TR” creates the type TR."

in human-form (TR = a reference to type T, R = reference):

TR      R
T& & -> T&    // an lvalue reference to cv TR (becomes)-> lvalue reference to T 
T& && -> T&   // an rvalue reference to cv TR (becomes)-> TR (lvalue reference to T) 
T&& & -> T&   // an lvalue reference to cv TR (becomes)-> lvalue reference to T 
T&& && -> T&& // an rvalue reference to cv TR (becomes)-> TR (rvalue reference to T)

The important takeaway here is that now you can keep track of the type the function received: you can receive an l-value and pass the same l-value to E or you can receive an r-value and pass the same r-value (after converting it since an l-value reference to whatever type reference becomes an l-value reference) to E:

template<typename T> void E(T&& a) {}

template<typename T> void F(T&& a) { E(static_cast<T&&>(a)); }

A synctactic sugar for

static_cast<T&&>(a)

is

std::forward<T>(a); // is the same as static_cast<T&&>(a);

so the final code that solves the problem and makes your life easier is

template<typename T> void E(T&& a) {}

template<typename T> void F(T&& a) { E(std::forward<T>(a)); }

Live example


References: Herb Sutter's blog and some other sources which unfortunately I can't find anymore. If anyone has a clue about those please write them in the comments below and I'll update the post. Thanks.

like image 198
Marco A. Avatar answered Sep 25 '22 21:09

Marco A.