• Class / Function / Type

      std::
    • Header file

      <>
    • Other / All

    最終更新日時(UTC):
    が更新

    履歴 編集

    concept
    <concepts>

    std::equality_comparable

    namespace std {
      template<class T>
      concept equality_comparable = /*see below*/;      // (1)
    
      template<class T, class U>
      concept equality_comparable_with = /*see below*/; // (2)
    }
    

    概要

    equality_comparable及びequality_comparable_withは、指定された型TもしくはT, Uの間で==演算子による同値比較が可能である事を表すコンセプトである。

    要件

    まず、説明専用のコンセプトweakly-equality-comparable-withを次のように定義する

    //==,!=による2種×2方向の同値比較が可能である
    template<class T, class U>
    concept weakly-equality-comparable-with =
      requires(const remove_reference_t<T>& t,
               const remove_reference_t<U>& u) {
        { t == u } -> boolean-testable;
        { t != u } -> boolean-testable;
        { u == t } -> boolean-testable;
        { u != t } -> boolean-testable;
      };
    

    • (1) : 以下のように定義される

    template<class T>
    concept equality_comparable = weakly-equality-comparable-with<T, T>;
    

    • (2) : 以下のように定義される

    template<class T, class U>
    concept equality_comparable_with =
      equality_comparable<T> && equality_comparable<U> &&
      common_reference_with<const remove_reference_t<T>&, const remove_reference_t<U>&> &&
      equality_comparable<
        common_reference_t<
          const remove_reference_t<T>&,
          const remove_reference_t<U>&>> &&
      weakly-equality-comparable-with<T, U>;
    

    モデル

    • (1) : Tのオブジェクトa, bについて次の条件を満たす場合に限って、型Tequality_comparableのモデルである。

      • bool(a == b)a, bの値が等値である場合にtrueとなり、それ以外の場合はfalseとなる
    • (2) : const remove_reference_t<T>, const remove_reference_t<U>型の左辺値t, u及びC = common_reference_t<const remove_reference_t<T>&, const remove_reference_t<U>&>について次の条件を満たす場合に限って、型T, Uequality_comparable_withのモデルである。

      • bool(t == u) == bool(C(t) == C(u))trueであること
    • weakly-equality-comparable-with : const remove_reference_t<T>, const remove_reference_t<U>型の左辺値t, uについて次の条件を満たす場合に限って、型T, Uweakly-equality-comparable-withのモデルである。

      • t == u, u == t, t != u, u != tは全て同じ定義域を持つ
      • bool(u == t) == bool(t == u)trueであること
      • bool(t != u) == !bool(t == u)trueであること
      • bool(u != t) == bool(t != u)trueであること

    備考

    定義内のt == u等の各制約式に等しさを保持する事が要求されていることによって、これらコンセプトを満たす== !=演算子は推移的かつ対称的である事を表し、要求している。

    • 推移律 : a == bかつb == cならばa == c
    • 対称律 : a == bならばb == a

    equality_comparable

    #include <iostream>
    #include <concepts>
    #include <any>
    
    template<typename T>
    requires std::equality_comparable<T>
    void f(const char* name) {
      std::cout << name << " is equality comparable" << std::endl;
    }
    
    template<typename T>
    void f(const char* name) {
      std::cout << name << " is not equality comparable" << std::endl;
    }
    
    
    struct eq_comp {
      int n = 0;
    
      friend bool operator==(const eq_comp&, const eq_comp&) = default;
    };
    
    struct not_eq_comp {
      int n = 0;
    
      friend bool operator==(const not_eq_comp&, const not_eq_comp&) = delete;
    };
    
    
    int main() {
      f<int>("int");
      f<eq_comp>("eq_comp");
    
      std::cout << "\n";
    
      f<std::any>("std::any");
      f<not_eq_comp>("not_eq_comp");
    }
    

    出力

    int is equality comparable
    eq_comp is equality comparable
    
    std::any is not equality comparable
    not_eq_comp is not equality comparable
    

    equality_comparable_with

    #include <iostream>
    #include <concepts>
    
    template<typename T, typename U>
    requires std::equality_comparable_with<T, U>
    void f(const char* name1, const char* name2) {
      std::cout << name1 << " is equality comparable with " << name2 << std::endl;
    }
    
    template<typename T, typename U>
    void f(const char* name1, const char* name2) {
      std::cout << name1 << " is not equality comparable with " << name2 << std::endl;
    }
    
    struct S1 {
      int n = 0;
    
      operator int() const {
        return this->n;
      }
    
      friend bool operator==(const S1&, const S1&) = default;
    
      //暗黙変換によりintとして比較されてしまう事を防止
      friend bool operator==(const S1&, int) = delete;
    };
    
    struct S2 {
      int m = 0;
    
      operator int() const {
        return this->m;
      }
    
      friend bool operator==(const S2&, const S2&) = default;
    
      //暗黙変換によりintとして比較されてしまう事を防止
      friend bool operator==(const S2&, int) = delete;
    
      //この演算子によりS1とS2間の全ての同値比較演算子が導出される
      friend bool operator==(const S1& lhs, const S2& rhs) {
        return lhs.n == rhs.m;
      }
    };
    
    //std::common_referenceおよびstd::common_reference_withにアダプトする
    namespace std {
      template<template<class> class TQual, template<class> class UQual>
      struct basic_common_reference<S1, S2, TQual, UQual> {
        using type = const int&;
      };
    
      //対称性のために引数順を逆にしたものも定義する
      template<template<class> class TQual, template<class> class UQual>
      struct basic_common_reference<S2, S1, TQual, UQual> {
        using type = const int&;
      };
    }
    
    
    int main() {
      f<int, int>("int", "int");
      f<int, double>("int", "double");
      f<bool, double>("bool", "double");
      f<S1, S2>("S1", "S2");
      f<S2, S1>("S2", "S1");
    
      std::cout << "\n";
      f<int*, double*>("int*", "double*");
      f<S1, int>("S1", "int");
      f<S2, int>("S2", "int");
    }
    

    出力

    int is equality comparable with int
    int is equality comparable with double
    bool is equality comparable with double
    S1 is equality comparable with S2
    S2 is equality comparable with S1
    
    int* is not equality comparable with double*
    S1 is not equality comparable with int
    S2 is not equality comparable with int
    

    バージョン

    言語

    • C++20

    処理系

    関連項目

    参照