Is there a difference between universal references and forwarding references?

by

Do they mean the same thing?

Universal reference was a term Scott Meyers coined to describe the concept of taking an rvalue reference to a cv-unqualified template parameter, which can then be deduced as either a value or an lvalue reference.

At the time the C++ standard didn’t have a special term for this, which was an oversight in C++11 and makes it hard to teach. This oversight was remedied by N4164, which added the following definition to [temp.deduct]:

A forwarding reference is an rvalue reference to a cv-unqualified template parameter. If P is a forwarding reference and the argument is an lvalue, the type “lvalue reference to A” is used in place of A for type deduction.

Hence, the two mean the same thing, and the current C++ standard term is forwarding reference. The paper itself articulates why “forwarding reference” is a better term than “universal reference.”

Is it only a forwarding reference if the function body calls std::forward?

Nope, what you do with a forwarding reference is irrelevant to the name. The concept forwarding reference simply refers to how the type T is deduced in:

template <class T> void foo(T&& ); // <==

It does not need to be subsequently forwarded .

More Related Contents:

  1. What does `auto && e` do in range-based for-loops?
  2. Should all/most setter functions in C++11 be written as function templates accepting universal references?
  3. What’s the standard/official name for universal references?
  4. How to combine std::bind(), variadic templates, and perfect forwarding?
  5. How does std::forward receive the correct argument?
  6. Why can templates only be implemented in the header file?
  7. What are some uses of template template parameters?
  8. Function passed as template argument
  9. What does auto&& tell us?
  10. How to declare a templated struct/class as a friend?
  11. Is it possible to emulate template?
  12. Can standard container templates be instantiated with incomplete types?
  13. static_assert dependent on non-type template parameter (different behavior on gcc and clang)
  14. templates: parent class member variables not visible in inherited class
  15. declare template friend function of template class
  16. Template within template: why “`>>’ should be `> >’ within a nested template argument list”
  17. Nested templates with dependent scope
  18. Parameter pack must be at the end of the parameter list… When and why?
  19. Can lambda functions be templated?
  20. Name lookups in C++ templates
  21. Disambiguate overloaded member function pointer being passed as template parameter
  22. How to correctly initialize member variable of template type?
  23. Why is the keyword “typename” needed before qualified dependent names, and not before qualified independent names?
  24. “Undefined symbols” linker error with simple template class
  25. Two phase name lookup for C++ templates – Why?
  26. using class name in a class template without template parameters
  27. How does C++ link template instances
  28. Dependent name resolution & namespace std / Standard Library
  29. How to check if a template parameter is an iterator type or not?
  30. Will I be able to declare a constexpr lambda inside a template parameter?

Leave a Comment