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

履歴 編集

function template
<array>

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

    namespace std {
      template <class T, size_t N>
      constexpr synth-three-way-result<T>
        operator<=>(const array<T, N>& x, const array<T, N>& y); // C++20
    }

## 概要

`array`オブジェクトの三方比較を行う。

## テンプレートパラメータ制約

- 型 (`const`) `T` の値に対して`operator<=>`が定義されるか、型 (`const`) `T` の値に対して`operator<`が定義され全順序をもつこと

## 効果

    return lexicographical_compare_three_way(
        x.begin(), x.end(),
        y.begin(), y.end(),
        synth-three-way);

## 計算量

線形時間

## 備考

- この演算子により、以下の演算子が使用可能になる (C++20)：
  - `operator<`
  - `operator<=`
  - `operator>`
  - `operator>=`

## 例

    #include <iostream>
    #include <array>

    int main()
    {
      std::array<int, 3> x = {1, 2, 3};
      std::array<int, 3> y = {1, 2, 3};

      if ((x <=> y) == 0) {
        std::cout << "equal" << std::endl;
      }
      else {
        std::cout << "not equal" << std::endl;
      }
    }

### 出力

    equal

## バージョン

### 言語

- C++20

### 処理系

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

## 参照

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