#
The templates specified in Table
58
add or remove references
.
Table
58
— Reference modifications
[tab:meta.trans.ref]
🔗
Template
Comments
🔗
template
<
class
T
>
struct
remove_
reference;
If
T
has type “reference to
T1
” then the member typedef
type
denotes
T1
; otherwise,
type
denotes
T
.
🔗
template
<
class
T
>
struct
add_
lvalue_
reference;
If
T
is a referenceable type (
[defns.
referenceable]
) then the member typedef
type
denotes
T
&
; otherwise,
type
denotes
T
.
[
Note
1
:
This rule reflects the semantics of reference collapsing (
[dcl.
ref]
)
.
—
end note
]
🔗
template
<
class
T
>
struct
add_
rvalue_
reference;
If
T
is a referenceable type then the member typedef
type
denotes
T
&
&
; otherwise,
type
denotes
T
.
[
Note
2
:
This rule reflects the semantics of reference collapsing (
[dcl.
ref]
)
.
For example, when a type
T
is a reference type
T1
&
, the type
add_
rvalue_
reference_
t
<
T
>
is not an rvalue reference
.
—
end note
]