std:: reference_converts_from_temporary

令 V 为 std:: remove_cv_t < U > （若 U 为标量类型或 cv  void ），否则为 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 >
constexpr bool reference_converts_from_temporary_v =
    std::reference_converts_from_temporary<T, U>::value;

#include <type_traits>
int main() {}
static_assert(
    std::reference_converts_from_temporary_v<int&&, int> == true &&
    std::reference_converts_from_temporary_v<const int&, int> == true &&
    std::reference_converts_from_temporary_v<int&&, int&&> == false &&
    std::reference_converts_from_temporary_v<const int&, int&&> == false &&
    std::reference_converts_from_temporary_v<int&&, long&&> == true &&
    std::reference_converts_from_temporary_v<int&&, long> == true);