最終更新日時: 2024年06月11日 22時45分38秒 (JST)
Akira Takahashi が更新

履歴 編集

function
<typeindex>

# std::type_index::operator<=>(C++20)

    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);
    }

### 出力

## バージョン

### 言語

- C++20

### 処理系

- Clang:
- GCC: 10 ✅
- Visual C++: ??

## 参照

- P1614R2 The Mothership has Landed
  - C++20での三方比較演算子の追加と、関連する演算子の自動導出