std::reference_converts_from_temporary

在标头 `<type_traits>` 定义
template< class T, class U > struct reference_converts_from_temporary;		(C++23 起)

令 V 若 U 为标量类型或 cv void 则为 std::remove_cv_t<U> ，否则为 U 。若 T 为引用类型，并且给定假想的表达式 e 使得 decltype(e) 为 V ，而变量定义 T ref = e; 良构并绑定临时对象到 ref ，则提供等于 true 的成员常量 value 。否则 value 为 false 。

若 T 为到 const 但非 volatile 限定的对象类型的左值引用类型，或右值引用类型，则 std::remove_reference_t<T> 与 std::remove_reference_t<U> 应当均为完整类型、 cv void 或未知边界数组；否则行为未定义。

若模板的实例直接或间接依赖不完整类型，而假如将令类型完整则实例化能导致不同的结果，则行为未定义。

添加 std::reference_converts_from_temporary 或 std::reference_converts_from_temporary_v 的特化的程序行为未定义。

辅助变量模板

template< class T, class U > inline constexpr reference_converts_from_temporary_v = std::reference_converts_from_temporary<T, U>::value;		(C++23 起)

继承自 std::integral_constant

成员常量

value

[静态]

如果 T 为引用类型，能在复制初始化中绑定 U 到 T ，且临时对象会被绑定到引用那么是 true，否则是 false
(公开静态成员常量)

成员函数

operator bool	将对象转换到 bool，返回 value (公开成员函数)
operator() (C++14)	返回 value (公开成员函数)

成员类型

类型	定义
`value_type`	bool
`type`	std::integral_constant<bool, value>

注解

reference_converts_from_temporary 能用于拒绝一些始终导致悬垂引用的情况。

示例

运行此代码

#include <type_traits>
#include <iostream>
 
int main()
{
    std::cout << std::boolalpha
        << std::reference_converts_from_temporary_v<int&&, int> << '\n'
        << std::reference_converts_from_temporary_v<const int&, int> << '\n'
        << std::reference_converts_from_temporary_v<int&&, int&&> << '\n'
        << std::reference_converts_from_temporary_v<const int&, int&&> << '\n'
        << std::reference_converts_from_temporary_v<int&&, long&&> << '\n';
        << std::reference_converts_from_temporary_v<int&&, long> << '\n';
}

输出：

true
true
false
false
true
true

参阅

is_convertibleis_nothrow_convertible (C++11)(C++20)	检查是否能转换一个类型为另一类型 (类模板)
invokeinvoke_r (C++17)(C++23)	以给定实参和可能指定的返回类型 (C++23 起)调用任意可调用 (Callable) 对象 (函数模板)
bind (C++11)	绑定一或多个实参到函数对象 (函数模板)
visit (C++17)	以一或多个 `variant` 所保有的各实参调用所提供的函数对象 (函数模板)
(构造函数)	构造新的 std::function 实例 (`std::function<R(Args...)>` 的公开成员函数)
(构造函数) (C++23)	构造新的 `std::move_only_function` 对象 (`std::move_only_function` 的公开成员函数)
(构造函数)	构造任务对象 (`std::packaged_task<R(Args...)>` 的公开成员函数)

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库