How does std::forward work? [duplicate]

First, let’s take a look at what std::forward does according to the standard:

§20.2.3 [forward] p2

Returns: static_cast<T&&>(t)

(Where T is the explicitly specified template parameter and t is the passed argument.)

Now remember the reference collapsing rules:

TR   R

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

(Shamelessly stolen from this answer.)

And then let’s take a look at a class that wants to employ perfect forwarding:

template<class T>
struct some_struct{
  T _v;
  template<class U>
  some_struct(U&& v)
    : _v(static_cast<U&&>(v)) {} // perfect forwarding here
                                 // std::forward is just syntactic sugar for this
};

And now an example invocation:

int main(){
  some_struct<int> s1(5);
  // in ctor: '5' is rvalue (int&&), so 'U' is deduced as 'int', giving 'int&&'
  // ctor after deduction: 'some_struct(int&& v)' ('U' == 'int')
  // with rvalue reference 'v' bound to rvalue '5'
  // now we 'static_cast' 'v' to 'U&&', giving 'static_cast<int&&>(v)'
  // this just turns 'v' back into an rvalue
  // (named rvalue references, 'v' in this case, are lvalues)
  // huzzah, we forwarded an rvalue to the constructor of '_v'!

  // attention, real magic happens here
  int i = 5;
  some_struct<int> s2(i);
  // in ctor: 'i' is an lvalue ('int&'), so 'U' is deduced as 'int&', giving 'int& &&'
  // applying the reference collapsing rules yields 'int&' (& + && -> &)
  // ctor after deduction and collapsing: 'some_struct(int& v)' ('U' == 'int&')
  // with lvalue reference 'v' bound to lvalue 'i'
  // now we 'static_cast' 'v' to 'U&&', giving 'static_cast<int& &&>(v)'
  // after collapsing rules: 'static_cast<int&>(v)'
  // this is a no-op, 'v' is already 'int&'
  // huzzah, we forwarded an lvalue to the constructor of '_v'!
}

I hope this step-by-step answer helps you and others understand just how std::forward works.

Related Posts:

  1. What is a lambda expression in C++11?
  2. ld: symbol(s) not found for architecture x86_64 error
  3. What is the ‘override’ keyword in C++ used for? [duplicate]
  4. What is a smart pointer and when should I use one?
  5. Meaning of = delete after function declaration
  6. C++ std::priority_queue uses the lambda expression
  7. Usage and Syntax of std::function
  8. What exactly is nullptr?
  9. Difference between `constexpr` and `const`
  10. Split a string using C++11
  11. How to create timer events using C++ 11?
  12. What does T&& (double ampersand) mean in C++11?
  13. Segmentation fault error 11 C++
  14. Why doesn’t C++ have a garbage collector?
  15. Compiling C++11 with g++
  16. terminate called after throwing an instance of ‘std::invalid_argument’ what(): stoi
  17. What exactly is std::atomic?
  18. Issue with std::stol – ‘std::invalid_argument’ what(): stol
  19. terminate called after throwing an instance of ‘std::out_of_range’
  20. Cleanest way to copy a constant size array in c++11
  21. push_back vs emplace_back
  22. undefined reference to ‘std::cout’
  23. What is move semantics?
  24. expression preceding parentheses of apparent call must have (pointer-to-) function type
  25. C++ error: Undefined symbols for architecture x86_64
  26. C++ terminate called without an active exception
  27. Thread pooling in C++11
  28. Difference in make_shared and normal shared_ptr in C++
  29. What is std::move(), and when should it be used?
  30. C++: std does not have member “string”
  31. push_back vs emplace_back
  32. error: use of deleted function
  33. Call to implicitly deleted copy constructor in LLVM
  34. cc1plus: error: unrecognized command line option “-std=c++11” with g++
  35. error C2679: binary ‘<<' : no operator found which takes a right-hand operand of type 'std::string' (or there is no acceptable conversion)
  36. no match for ‘operator<<’ in ‘std::operator
  37. Warning: non-static data member initializers only available with -std=c++11 or -std=gnu++11?
  38. Use the auto keyword in C++ STL
  39. Call to non-static member function without an object argument compiler error
  40. Does C++11 have C#-style properties?
  41. Iterator Loop vs index loop
  42. initialize a vector to zeros C++/C++11
  43. When is it safe to call this-> in constructor and destructor
  44. How to memset char array with null terminating character?
  45. How well is Unicode supported in C++11?
  46. How to automatically convert strongly typed enum into int?
  47. Why should I use a pointer rather than the object itself?
  48. too many initializers for ‘int [0]’ c++
  49. overloaded function with no contextual type information
  50. Creating folders in C++
  51. convert string to size_t
  52. Compiling C++11 with g++
  53. ERROR C2039: ‘vector’: is not a member of ‘std’
  54. Does static constexpr variable inside a function make sense?
  55. c++ vector bubble sort
  56. How to use bitmask?
  57. Differences between unique_ptr and shared_ptr
  58. How do I find the length of an array?
  59. C++ — expected primary-expression before ‘ ‘
  60. Using getline() with file input in C++
  61. g++ ld: symbol(s) not found for architecture x86_64
  62. How do I iterate over the words of a string?
  63. C++ Vector of pointers
  64. error: lvalue required as unary & operand
  65. What is use of c_str function In c++
  66. Cannot open include file: ‘stdio.h’ – Visual Studio Community 2017 – C++ Error
  67. srand(time(0)) and random number generation
  68. How to convert integer to double implicitly?
  69. How do I tokenize a string in C++?
  70. Reverse Contents in Array
  71. Why would we call cin.clear() and cin.ignore() after reading input?
  72. Should I learn C before learning C++?
  73. What are the differences between struct and class in C++?
  74. What is ‘\0’ in C++?
  75. Generate random float between two floats
  76. Undefined reference to class constructor, including .cpp file fixes
  77. Deleting a dynamically allocated 2D array
  78. How to add element to C++ array?
  79. C++ Why Is There “Unknown Type” When Class Header is Included?
  80. Invalid conversion from “const char*” to “char” error [duplicate]
  81. C++ strings and pointers
  82. What is the preferred way to include error messages in C++?
  83. How to Convert a C++ String to Uppercase
  84. C++ Initializing a Global Array
  85. How to convert an ASCII char to its ASCII int value?
  86. Reference to non-static member function must be called
  87. “vector” was not declared in this scope
  88. Converting string to ASCII
  89. got “cannot appear in a constant-expression” when using template
  90. C++ ostream and ofstream conversions
  91. C++ discards qualifiers
  92. C++ Error: Expected a type specifier
  93. Where to declare/define class scope constants in C++?
  94. Friend methods error
  95. Does WPF Work with C++?
  96. Multiple inputs on one line
  97. Compiler error C4430: missing type specifier – int assumed [duplicate]
  98. ‘&’ : illegal operation on bound member function expression [duplicate]
  99. Multiple definitions of “Main”
  100. Getting the error floating point exception: 8

Leave a Comment