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
について次の条件を満たす場合に限って、型T
はequality_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, U
はequality_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, U
はweakly-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
処理系
- Clang: ??
- GCC: 10.1 ✅
- Visual C++: 2019 Update 3 ✅