std::add_lvalue_reference, std::add_rvalue_reference

< cpp‎ | types
 
C++
 
工具库
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
(C++14)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++20)
(C++14)
(C++11)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++17)
(C++17)

初等字符串转换
(C++17)
(C++17)
(C++17)
 
类型支持
基本类型
基础类型
定宽整数类型 (C++11)
数值极限
C 数值极限接口
运行时类型信息
类型特性
类型类别
(C++11)
(C++14)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
类型属性
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++11)
(C++11)
(C++11)
(C++11)(C++20 前)
(C++11)(C++20 中弃用)
(C++11)
(C++11)
(C++20)
(C++20)
(C++17)
类型特性常量
(C++11)(C++17)(C++11)(C++11)
元函数
(C++17)
(C++17)
(C++17)
常量求值语境
(C++20)
受支持操作
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++17)(C++17)(C++17)(C++17)
关系与属性查询
类型修改
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
(C++11)
add_lvalue_referenceadd_rvalue_reference
(C++11)(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
类型变换
(C++11)
(C++11)
(C++11)
(C++20)
(C++11)
(C++17)
(C++11)
(C++11)
(C++20)
(C++11)
(C++11)(C++20 前)(C++17)
(C++20)
 
定义于头文件 <type_traits>
template< class T >
struct add_lvalue_reference;
 (1) (C++11 起)
template< class T >
struct add_rvalue_reference;
 (2) (C++11 起)

创建 T 的左值或右值引用类型。

1) 若 T 是对象或无 cv 或引用限定符的函数类型，则提供成员 typedef type ，其为 T& 。若 T 是到某类型 U 的右值引用，则 type 为 U& 。否则， type 为 T 。
2) 若 T 是对象或无 cv 或引用限定符的函数类型，则提供成员 typedef type ，其为 T&& ，否则 type 为 T 。

添加此页面上描述的任何模板的特化的程序行为未定义。

成员类型

 
名称 定义
type 到 T 的引用，或若不允许则为 T

辅助类型

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 起)

注解

这些类型变换遵从折叠规则：

  • std::add_lvalue_reference<T&>::type 是 T&
  • std::add_lvalue_reference<T&&>::type 是 T&
  • std::add_rvalue_reference<T&>::type 是 T&
  • std::add_rvalue_reference<T&&>::type 是 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>
auto try_add_lvalue_reference(int) -> type_identity<T&>;
template <class T>
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 <iostream>
#include <type_traits>
 
int main() {
   using nonref = int;
   using lref = typename std::add_lvalue_reference<nonref>::type;
   using rref = typename std::add_rvalue_reference<nonref>::type;
 
   std::cout << std::boolalpha;
   std::cout << std::is_lvalue_reference<nonref>::value << '\n';
   std::cout << std::is_lvalue_reference<lref>::value << '\n';
   std::cout << std::is_rvalue_reference<rref>::value << '\n';
}

输出： 

false
true
true

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR 应用于 出版时的行为 正确行为
LWG 2101 C++11 曾要求这些变换特性产生到 cv 或引用限定的函数类型的引用。 产生 cv 或引用限定的函数类型自身。

参阅

(C++11)
 检查类型是否为左值引用或右值引用
(类模板)
(C++11)
 从给定类型移除引用
(类模板)
(C++20)
 将 std::remove_cv 与 std::remove_reference 结合
(类模板)