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

履歴 編集

function template
<optional>

std::operator==(C++17)

namespace std {
  template <class T, class U>
  constexpr bool operator==(const optional<T>& x, const optional<U>& y); // (1)

  template <class T>
  constexpr bool operator==(const optional<T>& x, nullopt_t) noexcept;   // (2)
  template <class T>
  constexpr bool operator==(nullopt_t, const optional<T>& y) noexcept;   // (3)

  template <class T, class U>
  constexpr bool operator==(const optional<T>& x, const U& y);           // (4)
  template <class T, class U>
  constexpr bool operator==(const U& x, const optional<T>& y);           // (5)
}

概要

optionalオブジェクトの等値比較を行う。

要件

  • (1), (4), (5) : 型T==で比較可能であること

戻り値

  • (1) : xyがどちらも有効値を持っていれば、有効値同士を等値比較した結果を返す。xyがどちらも有効値を持っていなければtrueを返す。xyのうち、どちらかが有効値を持ち、どちらかが持たない場合はfalseを返す
  • (2) : xが有効値を持っていなければtrue、そうでなければfalseを返す
  • (3) : yが有効値を持っていなければtrue、そうでなければfalseを返す
  • (4) : xが有効値を持っていれば、yと等値比較した結果を返す。そうでなければfalseを返す
  • (5) : yが有効値を持っていれば、xと等値比較した結果を返す。そうでなければfalseを返す

#include <cassert>
#include <optional>

int main()
{
  // optionalオブジェクト同士の比較
  {
    std::optional<int> a = 3;
    std::optional<int> b = 1;
    std::optional<int> c = 3;
    std::optional<int> none;

    assert(a == c);
    assert(!(a == b));
    assert(!(a == none));
    assert(!(none == a));
  }

  // optionalオブジェクトとnulloptの比較
  {
    std::optional<int> p = 3;
    std::optional<int> none;

    assert(!(p == std::nullopt));
    assert(none == std::nullopt);

    assert(!(std::nullopt == p));
    assert(std::nullopt == none);
  }

  // optionalオブジェクトと有効値の比較
  {
    std::optional<int> p = 3;
    std::optional<int> none;

    assert(p == 3);
    assert(3 == p);

    assert(!(none == 3));
    assert(!(3 == none));
  }
}

出力

バージョン

言語

  • C++17

処理系

参照