namespace std {
template <class T, class U>
constexpr bool operator<=(const optional<T>& x, const optional<U>& y); // (1) C++17
template <class T, class U>
constexpr bool operator<=(const optional<T>& x, const U& y); // (2) C++17
template <class T, class U>
constexpr bool operator<=(const U& x, const optional<T>& y); // (3) C++17
// operator<=>により、以下のオーバーロードが使用可能になる (C++20)
template <class T>
constexpr bool operator<=(const optional<T>& x, nullopt_t) noexcept; // (4) C++17
template <class T>
constexpr bool operator<=(nullopt_t, const optional<T>& y) noexcept; // (5) C++17
}
概要
optionalにおいて、左辺が右辺以下かの判定を行う。
要件
- (1), (2), (3) : 型
Tと型Uが<=演算子で比較可能であること
戻り値
- (1) :
xとyがどちらも有効値を持っていれば、有効値同士を<=演算子で比較した結果を返す。xが有効値を持っていなければtrueを返す。yが有効値を持っていなければfalseを返す - (2) :
return x.has_value() ? x.value() <= v : true; - (3) :
return y.has_value() ? x <= y.value() : false; - (4) :
!x.has_value()を返す - (5) :
trueを返す
例
#include <cassert>
#include <optional>
int main()
{
// optionalオブジェクト同士の比較
{
std::optional<int> a = 1;
std::optional<int> b = 3;
std::optional<int> none;
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 = 1;
std::optional<int> none;
assert(p <= 3);
assert(0 <= p);
assert(none <= 3);
assert(!(3 <= none));
}
}
41
assert(!(p <= std::nullopt));#include <cassert>#include <optional>int main(){ // optionalオブジェクト同士の比較 { std::optional<int> a = 1; std::optional<int> b = 3; std::optional<int> none; assert(a <= b); assert(!(a <= none)); assert(none <= a); } // optionalオブジェクトとnulloptの比較 {出力
バージョン
言語
- C++17
処理系
- Clang: 4.0.1 ✅
- GCC: 7.2 ✅
- ICC: ??
- Visual C++: ??
参照
- P0307R2 Making Optional Greater Equal Again
- LWG Issue 2934.
optional<const T>doesn't compare withT - P1614R2 The Mothership has Landed
- C++20での三方比較演算子の追加と、関連する演算子の自動導出