Namespaces
Variants
Views
Actions

Difference between revisions of "cpp/utility/functional/ref"

From cppreference.com
< cpp‎ | utility‎ | functional
m (~)
m (~)
 
(4 intermediate revisions by 3 users not shown)
Line 2: Line 2:
 
{{cpp/utility/functional/navbar}}
 
{{cpp/utility/functional/navbar}}
 
{{dcl begin}}
 
{{dcl begin}}
−
{{dcl header | functional }}
+
{{dcl header|functional}}
−
{{dcl rev multi | num=1 | since1=c++11 | dcl1=
+
{{dcla|num=1|since=c++11|constexpr=c++20|1=
 
template< class T >
 
template< class T >
 
std::reference_wrapper<T> ref( T& t ) noexcept;
 
std::reference_wrapper<T> ref( T& t ) noexcept;
−
| since2=c++20 | dcl2=
 
−
template< class T >
 
−
constexpr std::reference_wrapper<T> ref( T& t ) noexcept;
 
 
}}
 
}}
−
{{dcl rev multi | num=2 | since1=c++11 | dcl1=
+
{{dcla|num=2|since=c++11|constexpr=c++20|1=
 
template< class T >
 
template< class T >
 
std::reference_wrapper<T>
 
std::reference_wrapper<T>
−
    ref( std::reference_wrapper<T> t ) noexcept;
 
−
| since2=c++20 | dcl2=
 
−
template< class T >
 
−
constexpr std::reference_wrapper<T>
 
 
     ref( std::reference_wrapper<T> t ) noexcept;
 
     ref( std::reference_wrapper<T> t ) noexcept;
 
}}
 
}}
−
{{dcl | since=c++11 | num=3| 1=
+
{{dcla|num=3|since=c++11|1=
 
template< class T >
 
template< class T >
 
void ref( const T&& ) = delete;
 
void ref( const T&& ) = delete;
 
}}
 
}}
−
{{dcl rev multi | num=4 | since1=c++11 | dcl1=
+
{{dcla|num=4|since=c++11|constexpr=c++20|1=
 
template< class T >
 
template< class T >
 
std::reference_wrapper<const T> cref( const T& t ) noexcept;
 
std::reference_wrapper<const T> cref( const T& t ) noexcept;
−
| since2=c++20 | dcl2=
 
−
template< class T >
 
−
constexpr std::reference_wrapper<const T> cref( const T& t ) noexcept;
 
 
}}
 
}}
−
{{dcl rev multi | num=5 | since1=c++11 | dcl1=
+
{{dcla|num=5|since=c++11|constexpr=c++20|1=
 
template< class T >
 
template< class T >
 
std::reference_wrapper<const T>
 
std::reference_wrapper<const T>
−
    cref( std::reference_wrapper<T> t ) noexcept;
 
−
| since2=c++20 | dcl2=
 
−
template< class T >
 
−
constexpr std::reference_wrapper<const T>
 
 
     cref( std::reference_wrapper<T> t ) noexcept;
 
     cref( std::reference_wrapper<T> t ) noexcept;
 
}}
 
}}
−
{{dcl | since=c++11 | num=6| 1=
+
{{dcla|num=6|since=c++11|1=
 
template< class T >
 
template< class T >
 
void cref( const T&& ) = delete;
 
void cref( const T&& ) = delete;

Latest revision as of 21:48, 13 July 2024

 
C++
 
Utilities library
General utilities
Relational operators (deprecated in C++20)
 
Function objects
Function invocation
(C++17)(C++23)
Identity function object
(C++20)
Reference wrappers
(C++11)
refcref
(C++11)(C++11)
(C++20)(C++20)
Transparent operator wrappers
(C++14)
(C++14)
(C++14)
(C++14)  
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)

Old binders and adaptors
(until C++17*)
(until C++17*)
(until C++17*)
(until C++17*)
(until C++17*)  
(until C++17*)
(until C++17*)(until C++17*)(until C++17*)(until C++17*)
(until C++20*)
(until C++20*)
(until C++17*)(until C++17*)
(until C++17*)(until C++17*)

(until C++17*)
(until C++17*)(until C++17*)(until C++17*)(until C++17*)
(until C++20*)
(until C++20*)
 
Defined in header <functional>
template< class T >
std::reference_wrapper<T> ref( T& t ) noexcept;
 (1) (since C++11)
(constexpr since C++20)
template< class T >

std::reference_wrapper<T>

    ref( std::reference_wrapper<T> t ) noexcept;
 (2) (since C++11)
(constexpr since C++20)
template< class T >
void ref( const T&& ) = delete;
 (3) (since C++11)
template< class T >
std::reference_wrapper<const T> cref( const T& t ) noexcept;
 (4) (since C++11)
(constexpr since C++20)
template< class T >

std::reference_wrapper<const T>

    cref( std::reference_wrapper<T> t ) noexcept;
 (5) (since C++11)
(constexpr since C++20)
template< class T >
void cref( const T&& ) = delete;
 (6) (since C++11)

Function templates ref and cref are helper functions that generate an object of type std::reference_wrapper, using template argument deduction to determine the template argument of the result.

T may be an incomplete type.

(since C++20)

Contents

[edit] Parameters

t - lvalue reference to object that needs to be wrapped or an instance of std::reference_wrapper

[edit] Return value

1) std::reference_wrapper<T>(t)
2) t
4) std::reference_wrapper<const T>(t)
5) t
3,6) rvalue reference wrapper is deleted.

[edit] Example

Run this code
#include <functional>
#include <iostream>
 
void f(int& n1, int& n2, const int& n3)
{
    std::cout << "In function: " << n1 << ' ' << n2 << ' ' << n3 << '\n';
    ++n1; // increments the copy of n1 stored in the function object
    ++n2; // increments the main()'s n2
    // ++n3; // compile error
}
 
int main()
{
    int n1 = 1, n2 = 2, n3 = 3;
    std::function<void()> bound_f = std::bind(f, n1, std::ref(n2), std::cref(n3));
    n1 = 10;
    n2 = 11;
    n3 = 12;
    std::cout << "Before function: " << n1 << ' ' << n2 << ' ' << n3 << '\n';
    bound_f();
    std::cout << "After function: " << n1 << ' ' << n2 << ' ' << n3 << '\n';
}

Output: 

Before function: 10 11 12
In function: 1 11 12
After function: 10 12 12

[edit] Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

DR Applied to Behavior as published Correct behavior
LWG 3146 C++11 unwrapping overloads sometimes led to error made always valid

[edit] See also

(C++11)
 CopyConstructible and CopyAssignable reference wrapper
(class template) [edit]
Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/utility/functional/ref&oldid=173641"