命名空间
变体
操作

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

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

concept common_with =
    std::same_as<std::common_type_t<T, U>, std::common_type_t<U, T>> &&
    requires {
        static_cast<std::common_type_t<T, U>>(std::declval<T>());
        static_cast<std::common_type_t<T, U>>(std::declval<U>());
    } &&
    std::common_reference_with<
        std::add_lvalue_reference_t<const T>,
        std::add_lvalue_reference_t<const U>> &&
    std::common_reference_with<
        std::add_lvalue_reference_t<std::common_type_t<T, U>>,
        std::common_reference_t<
            std::add_lvalue_reference_t<const T>,

            std::add_lvalue_reference_t<const U>>>;
(自 C++20 起)

概念 common_with<T, U> 指定两个类型 TU 共享一个共同类型(由 std::common_type_t 计算),两者都可以转换为该类型。

内容

[编辑] 语义要求

只有当给定 相等性保留 表达式 t1t2u1u2,使得 decltype((t1))decltype((t2)) 均为 T,且 decltype((u1))decltype((u2)) 均为 U 时,TU 才符合 std::common_with<T, U>

换句话说,转换为共同类型必须 保留相等性

[编辑] 相等性保留

标准库概念的 requires 表达式 中声明的表达式必须是 相等性保留的(除非另有说明)。

[编辑] 参考资料

  • C++23 标准 (ISO/IEC 14882:2024)
  • 18.4.6 概念 common_with [concept.common]
  • C++20 标准 (ISO/IEC 14882:2020)
  • 18.4.6 概念 common_with [concept.common]

[编辑] 另请参阅

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