|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Old binders and adaptors | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Defined in header <type_traits> | ||
Defined in header <functional> | ||
template<class T> struct unwrap_reference; | (1) | (since C++20) |
template<class T> struct unwrap_ref_decay; | (2) | (since C++20) |
Unwraps anystd::reference_wrapper: changingstd::reference_wrapper<U> toU&.
T is a specialization ofstd::reference_wrapper, unwraps it; otherwise,T is decayed.If the program adds specializations for any of the templates described on this page, the behavior is undefined.
Contents |
| Type | Definition |
type | (1) |
template<class T> using unwrap_reference_t= unwrap_reference<T>::type; | (1) | (since C++20) |
template<class T> using unwrap_ref_decay_t= unwrap_ref_decay<T>::type; | (2) | (since C++20) |
template<class T>struct unwrap_reference{using type= T;};template<class U>struct unwrap_reference<std::reference_wrapper<U>>{using type= U&;}; template<class T>struct unwrap_ref_decay: std::unwrap_reference<std::decay_t<T>>{}; |
std::unwrap_ref_decay performs the same transformation as used bystd::make_pair andstd::make_tuple.
| Feature-test macro | Value | Std | Feature |
|---|---|---|---|
__cpp_lib_unwrap_ref | 201811L | (C++20) | std::unwrap_ref_decay andstd::unwrap_reference |
#include <cassert>#include <functional>#include <iostream>#include <type_traits> int main(){ static_assert(std::is_same_v<std::unwrap_reference_t<int>,int>); static_assert(std::is_same_v<std::unwrap_reference_t<constint>,constint>); static_assert(std::is_same_v<std::unwrap_reference_t<int&>,int&>); static_assert(std::is_same_v<std::unwrap_reference_t<int&&>,int&&>); static_assert(std::is_same_v<std::unwrap_reference_t<int*>,int*>); {using T=std::reference_wrapper<int>;using X= std::unwrap_reference_t<T>; static_assert(std::is_same_v<X,int&>);}{using T=std::reference_wrapper<int&>;using X= std::unwrap_reference_t<T>; static_assert(std::is_same_v<X,int&>);} static_assert(std::is_same_v<std::unwrap_ref_decay_t<int>,int>); static_assert(std::is_same_v<std::unwrap_ref_decay_t<constint>,int>); static_assert(std::is_same_v<std::unwrap_ref_decay_t<constint&>,int>); {using T=std::reference_wrapper<int&&>;using X= std::unwrap_ref_decay_t<T>; static_assert(std::is_same_v<X,int&>);} {auto reset=[]<typename T>(T&& z){// x = 0; // Error: does not work if T is reference_wrapper<>// converts T&& into T& for ordinary types// converts T&& into U& for reference_wrapper<U> decltype(auto) r= std::unwrap_reference_t<T>(z);std::cout<<"r: "<< r<<'\n'; r=0;// OK, r has reference type}; int x=1; reset(x);assert(x==0); int y=2; reset(std::ref(y));assert(y==0);}}
Output:
r: 1r: 2
(C++11) | CopyConstructible andCopyAssignable reference wrapper (class template)[edit] |
creates apair object of type, determined by the argument types(function template)[edit] | |
(C++11) | creates atuple object of the type defined by the argument types(function template)[edit] |
