std::add_lvalue_reference, std::add_rvalue_reference
来自cppreference.com
在标头 <type_traits> 定义 | ||
template<class T > struct add_lvalue_reference; | (1) | (C++11 起) |
template<class T > struct add_rvalue_reference; | (2) | (C++11 起) |
创建 T 的左值或右值引用类型。
| 类型特征 | 嵌套类型 type 表示的类型 | |
|---|---|---|
T 是可引用类型 | T 不是可引用类型 | |
| (1) | T&[1] | T |
| (2) | T&&[2] | |
如果程序添加了此页面上描述的任何模板的特化，那么行为未定义。
目录 |
[编辑]嵌套类型
| 名字 | 定义 |
type | 按以上方式确定 |
[编辑]辅助类型
template<class T > using add_lvalue_reference_t =typename add_lvalue_reference<T>::type; | (C++14 起) | |
template<class T > using add_rvalue_reference_t =typename add_rvalue_reference<T>::type; | (C++14 起) | |
[编辑]注解
使用这些类型特征与直接使用 T& 或 T&& 的主要区别是 T 可以是不可引用的类型。例如 std::add_lvalue_reference<void>::type 是 void，而 void& 会导致编译错误。
[编辑]可能的实现
namespace detail {template<class T>struct type_identity {using type = T;};// 或者使用 std::type_identity（C++20 起） template<class T>// 注意 “cv void&” 是替换失败auto try_add_lvalue_reference(int)-> type_identity<T&>;template<class T>// 处理 T = cv void 的情况auto try_add_lvalue_reference(...)-> type_identity<T>; template<class T>auto try_add_rvalue_reference(int)-> type_identity<T&&>;template<class T>auto try_add_rvalue_reference(...)-> type_identity<T>;}// namespace detail template<class T>struct add_lvalue_reference : decltype(detail::try_add_lvalue_reference<T>(0)){}; template<class T>struct add_rvalue_reference : decltype(detail::try_add_rvalue_reference<T>(0)){}; |
[编辑]示例
运行此代码
#include <type_traits> using non_ref =int; static_assert(std::is_lvalue_reference_v<non_ref>==false); using l_ref = std::add_lvalue_reference_t<non_ref>; static_assert(std::is_lvalue_reference_v<l_ref>==true); using r_ref = std::add_rvalue_reference_t<non_ref>; static_assert(std::is_rvalue_reference_v<r_ref>==true); using void_ref = std::add_lvalue_reference_t<void>; static_assert(std::is_reference_v<void_ref>==false); int main(){}
[编辑]缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
|---|---|---|---|
| LWG 2101 | C++11 | 在 T 是有 cv限定符 或引用限定符 的函数类型时程序非良构 | 此时产生的类型是 T |
[编辑]参阅
(C++11) | 检查类型是否为左值引用 或右值引用 (类模板) |
(C++11) | 从给定类型移除引用 (类模板) |
(C++20) | 将 std::remove_cv 与 std::remove_reference 结合 (类模板) |
