1 //===----------------------------------------------------------------------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // UNSUPPORTED: c++03, c++11, c++14
12 // template <class T, class U> constexpr bool operator==(const optional<T>& x, const optional<U>& y);
15 #include <type_traits>
18 #include "test_macros.h"
25 constexpr X(int i
) : i_(i
) {}
28 constexpr bool operator==(const X
& lhs
, const X
& rhs
) {
29 return lhs
.i_
== rhs
.i_
;
32 int main(int, char**) {
35 typedef optional
<T
> O
;
37 constexpr O o1
; // disengaged
38 constexpr O o2
; // disengaged
39 constexpr O o3
{1}; // engaged
40 constexpr O o4
{2}; // engaged
41 constexpr O o5
{1}; // engaged
43 static_assert(o1
== o1
, "");
44 static_assert(o1
== o2
, "");
45 static_assert(!(o1
== o3
), "");
46 static_assert(!(o1
== o4
), "");
47 static_assert(!(o1
== o5
), "");
49 static_assert(o2
== o1
, "");
50 static_assert(o2
== o2
, "");
51 static_assert(!(o2
== o3
), "");
52 static_assert(!(o2
== o4
), "");
53 static_assert(!(o2
== o5
), "");
55 static_assert(!(o3
== o1
), "");
56 static_assert(!(o3
== o2
), "");
57 static_assert(o3
== o3
, "");
58 static_assert(!(o3
== o4
), "");
59 static_assert(o3
== o5
, "");
61 static_assert(!(o4
== o1
), "");
62 static_assert(!(o4
== o2
), "");
63 static_assert(!(o4
== o3
), "");
64 static_assert(o4
== o4
, "");
65 static_assert(!(o4
== o5
), "");
67 static_assert(!(o5
== o1
), "");
68 static_assert(!(o5
== o2
), "");
69 static_assert(o5
== o3
, "");
70 static_assert(!(o5
== o4
), "");
71 static_assert(o5
== o5
, "");
74 using O1
= optional
<int>;
75 using O2
= optional
<long>;
77 static_assert(o1
== O2(42), "");
78 static_assert(!(O2(101) == o1
), "");
81 using O1
= optional
<int>;
82 using O2
= optional
<const int>;
84 static_assert(o1
== O2(42), "");
85 static_assert(!(O2(101) == o1
), "");