命名空间
变体
操作

std::equality_comparable (自 C++20 起)std::equality_comparable_with (自 C++20 起)

来自 cppreference.com
< cpp‎ | concepts
在头文件 <concepts> 中定义
template< class T >
concept equality_comparable = __WeaklyEqualityComparableWith<T, T>;
(1) (自 C++20 起)
template< class T, class U >

concept equality_comparable_with =
    std::equality_comparable<T> &&
    std::equality_comparable<U> &&
    __ComparisonCommonTypeWith<T, U> &&
    std::equality_comparable<
        std::common_reference_t<
            const std::remove_reference_t<T>&,
            const std::remove_reference_t<U>&>> &&

    __WeaklyEqualityComparableWith<T, U>;
(2) (自 C++20 起)
辅助概念
template< class T, class U >

concept __WeaklyEqualityComparableWith =
    requires(const std::remove_reference_t<T>& t,
             const std::remove_reference_t<U>& u) {
        { t == u } -> boolean-testable;
        { t != u } -> boolean-testable;
        { u == t } -> boolean-testable;
        { u != t } -> boolean-testable;

    };
(3) (仅供说明*)
(4)
template< class T, class U >

concept __ComparisonCommonTypeWith =
    std::common_reference_with<
        const std::remove_reference_t<T>&,

        const std::remove_reference_t<U>&>;
(直到 C++23)
(仅供说明*)
template< class T, class U, class C = std::common_reference_t<const T&, const U&> >

concept _ComparisonCommonTypeWithImpl =
    std::same_as<std::common_reference_t<const T&, const U&>,
                 std::common_reference_t<const U&, const T&>> &&
    requires {
        requires std::convertible_to<const T&, const C&> ||
            std::convertible_to<T, const C&>;
        requires std::convertible_to<const U&, const C&> ||
            std::convertible_to<U, const C&>;
    };
template< class T, class U >
concept __ComparisonCommonTypeWith =

    _ComparisonCommonTypeWithImpl<std::remove_cvref_t<T>, std::remove_cvref_t<U>>;
(自 C++23 起)
(仅供说明*)
1) 概念 std::equality_comparable 指定在 T 上的比较运算符 ==!= 反映相等性:== 产生 true 当且仅当操作数相等。
2) 概念 std::equality_comparable_with 指定在(可能混合的)TU 操作数上的比较运算符 ==!= 产生与相等性一致的结果。比较混合操作数产生的结果等效于比较转换为其公共类型的操作数。
3) 仅供说明的概念 __WeaklyEqualityComparableWith 指定 T 类型的对象和 U 类型的对象可以使用 ==!= 相互比较(以任意顺序),并且比较结果一致。
4) 仅供说明的概念 __ComparisonCommonTypeWith 指定两种类型共享一个公共类型,并且任一类型的 const 左值或非 const 右值(自 C++23 起)可以转换为该公共类型。

内容

[编辑] 语义要求

只有当这些概念得到满足并且它们包含的所有概念都被建模时,才会对这些概念进行建模。

在以下段落中,给定一个表达式 E 和一个类型 CCONVERT_TO<C>(E) 定义为

(直到 C++23)
  • static_cast<const C&>(std::as_const(E)) 如果这是一个有效的表达式,
  • static_cast<const C&>(std::move(E)) 否则。
(自 C++23 起)
1) std::equality_comparable<T> 仅当给定类型为 T 的对象 ab 时才建模,bool(a == b) 当且仅当 ab 相等时为 true。 与要求 a == b保持等式 的一起,这意味着 == 是对称的和传递的,并且进一步表明 == 对于所有等于至少一个其他对象的 a 对象来说都是自反的。
2) std::equality_comparable_with<T, U> 仅当以下情况成立时才建模:

以下表达式为真:

  • bool(t == u) == bool(CONVERT_TO<C>(t2) == CONVERT_TO<C>(u2)).
3) __WeaklyEqualityComparableWith<T, U> 仅当给定以下条件时才建模:

以下条件为真:

  • t == u, u == t, t != u, u != t 具有相同的域。
  • bool(u == t) == bool(t == u);
  • bool(t != u) == !bool(t == u);并且
  • bool(u != t) == bool(t != u).
4) __WeaklyEqualityComparableWith<T, U> 仅当以下情况成立时才建模:

相应的 common_reference_with 概念被建模。

(直到 C++23)

以下条件成立:

  • CONVERT_TO<C>(t1) 等于 CONVERT_TO<C>(t2) 当且仅当 t1 等于 t2;并且
  • CONVERT_TO<C>(u1) 等于 CONVERT_TO<C>(u2) 当且仅当 u1 等于 u2
(自 C++23 起)

[edit] 保持等式

标准库概念的 requires 表达式 中声明的表达式需要 保持等式(除非另有说明)。

[edit] 隐式表达式变体

对于某个常量左值操作数是非修改的表达式的 requires 表达式 也需要 隐式表达式变体

[edit] 参考文献

  • C++23 标准 (ISO/IEC 14882:2024)
  • 18.5.4 概念 equality_comparable [concept.equalitycomparable]
  • C++20 标准 (ISO/IEC 14882:2020)
  • 18.5.3 概念 equality_comparable [concept.equalitycomparable]