strong_ordering operator<=>(const type_index& rhs) const noexcept; // (1) C++20
概要
三方比較を行う
効果
type_indexのメンバ変数として保持されているtype_infoオブジェクトへのポインタtargetがあるとして、以下と等価：
if (*target == *rhs.target) return strong_ordering::equal;
if (target->before(*rhs.target)) return strong_ordering::less;
return strong_ordering::greater;
例外
投げない
例
#include <cassert>
#include <typeindex>
int main()
{
std::type_index t1 = typeid(int);
std::type_index t2 = typeid(int);
std::type_index t3 = typeid(double);
assert((t1 <=> t2) == 0);
assert((t1 <=> typeid(int)) == 0);
assert((t1 <=> t3) != 0);
assert((t1 <=> typeid(double)) != 0);
}
15
#include <cassert>#include <typeindex>int main(){ std::type_index t1 = typeid(int); std::type_index t2 = typeid(int); std::type_index t3 = typeid(double); assert((t1 <=> t2) == 0); assert((t1 <=> typeid(int)) == 0); assert((t1 <=> t3) != 0); assert((t1 <=> typeid(double)) != 0);}出力
バージョン
言語
- C++20
処理系
- Clang:
- GCC: 10 ✅
- Visual C++: ??
参照
- P1614R2 The Mothership has Landed
- C++20での三方比較演算子の追加と、関連する演算子の自動導出