命名空间
变体
操作

std::common_reference_with (自 C++20 起)

来自 cppreference.com
< cpp‎ | concepts
在头文件 <concepts> 中定义
template< class T, class U >

concept common_reference_with =
    std::same_as<std::common_reference_t<T, U>, std::common_reference_t<U, T>> &&
    std::convertible_to<T, std::common_reference_t<T, U>> &&

    std::convertible_to<U, std::common_reference_t<T, U>>;
(自 C++20 起)

概念 common_reference_with<T, U> 指定两个类型 TU 共享一个公共引用类型(如 std::common_reference_t 计算的那样),这两个类型都可以转换为该类型。

[编辑] 语义要求

只有当给定 保持相等 的表达式 t1t2u1u2,使得 decltype((t1))decltype((t2)) 都是 T,并且 decltype((u1))decltype((u2)) 都是 U 时,TU 才符合 std::common_reference_with<T, U>

换句话说,转换为公共引用类型必须保持相等

[编辑] 参考文献

  • C++23 标准(ISO/IEC 14882:2024)
  • 18.4.5 概念 common_reference_with [concept.commonref]
  • C++20 标准(ISO/IEC 14882:2020)
  • 18.4.5 概念 common_reference_with [concept.commonref]

[编辑] 另请参阅

确定一组类型的公共引用类型
(类模板) [编辑]
指定两个类型共享一个公共类型
(概念) [编辑]
确定一组类型的公共类型
(类模板) [编辑]