1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
|
#include <catch2/catch.hpp>
#include <tl/optional.hpp>
TEST_CASE("Relational ops", "[relops]") {
tl::optional<int> o1{4};
tl::optional<int> o2{42};
tl::optional<int> o3{};
SECTION("self simple") {
REQUIRE(!(o1 == o2));
REQUIRE(o1 == o1);
REQUIRE(o1 != o2);
REQUIRE(!(o1 != o1));
REQUIRE(o1 < o2);
REQUIRE(!(o1 < o1));
REQUIRE(!(o1 > o2));
REQUIRE(!(o1 > o1));
REQUIRE(o1 <= o2);
REQUIRE(o1 <= o1);
REQUIRE(!(o1 >= o2));
REQUIRE(o1 >= o1);
}
SECTION("nullopt simple") {
REQUIRE(!(o1 == tl::nullopt));
REQUIRE(!(tl::nullopt == o1));
REQUIRE(o1 != tl::nullopt);
REQUIRE(tl::nullopt != o1);
REQUIRE(!(o1 < tl::nullopt));
REQUIRE(tl::nullopt < o1);
REQUIRE(o1 > tl::nullopt);
REQUIRE(!(tl::nullopt > o1));
REQUIRE(!(o1 <= tl::nullopt));
REQUIRE(tl::nullopt <= o1);
REQUIRE(o1 >= tl::nullopt);
REQUIRE(!(tl::nullopt >= o1));
REQUIRE(o3 == tl::nullopt);
REQUIRE(tl::nullopt == o3);
REQUIRE(!(o3 != tl::nullopt));
REQUIRE(!(tl::nullopt != o3));
REQUIRE(!(o3 < tl::nullopt));
REQUIRE(!(tl::nullopt < o3));
REQUIRE(!(o3 > tl::nullopt));
REQUIRE(!(tl::nullopt > o3));
REQUIRE(o3 <= tl::nullopt);
REQUIRE(tl::nullopt <= o3);
REQUIRE(o3 >= tl::nullopt);
REQUIRE(tl::nullopt >= o3);
}
SECTION("with T simple") {
REQUIRE(!(o1 == 1));
REQUIRE(!(1 == o1));
REQUIRE(o1 != 1);
REQUIRE(1 != o1);
REQUIRE(!(o1 < 1));
REQUIRE(1 < o1);
REQUIRE(o1 > 1);
REQUIRE(!(1 > o1));
REQUIRE(!(o1 <= 1));
REQUIRE(1 <= o1);
REQUIRE(o1 >= 1);
REQUIRE(!(1 >= o1));
REQUIRE(o1 == 4);
REQUIRE(4 == o1);
REQUIRE(!(o1 != 4));
REQUIRE(!(4 != o1));
REQUIRE(!(o1 < 4));
REQUIRE(!(4 < o1));
REQUIRE(!(o1 > 4));
REQUIRE(!(4 > o1));
REQUIRE(o1 <= 4);
REQUIRE(4 <= o1);
REQUIRE(o1 >= 4);
REQUIRE(4 >= o1);
}
tl::optional<std::string> o4{"hello"};
tl::optional<std::string> o5{"xyz"};
SECTION("self complex") {
REQUIRE(!(o4 == o5));
REQUIRE(o4 == o4);
REQUIRE(o4 != o5);
REQUIRE(!(o4 != o4));
REQUIRE(o4 < o5);
REQUIRE(!(o4 < o4));
REQUIRE(!(o4 > o5));
REQUIRE(!(o4 > o4));
REQUIRE(o4 <= o5);
REQUIRE(o4 <= o4);
REQUIRE(!(o4 >= o5));
REQUIRE(o4 >= o4);
}
SECTION("nullopt complex") {
REQUIRE(!(o4 == tl::nullopt));
REQUIRE(!(tl::nullopt == o4));
REQUIRE(o4 != tl::nullopt);
REQUIRE(tl::nullopt != o4);
REQUIRE(!(o4 < tl::nullopt));
REQUIRE(tl::nullopt < o4);
REQUIRE(o4 > tl::nullopt);
REQUIRE(!(tl::nullopt > o4));
REQUIRE(!(o4 <= tl::nullopt));
REQUIRE(tl::nullopt <= o4);
REQUIRE(o4 >= tl::nullopt);
REQUIRE(!(tl::nullopt >= o4));
REQUIRE(o3 == tl::nullopt);
REQUIRE(tl::nullopt == o3);
REQUIRE(!(o3 != tl::nullopt));
REQUIRE(!(tl::nullopt != o3));
REQUIRE(!(o3 < tl::nullopt));
REQUIRE(!(tl::nullopt < o3));
REQUIRE(!(o3 > tl::nullopt));
REQUIRE(!(tl::nullopt > o3));
REQUIRE(o3 <= tl::nullopt);
REQUIRE(tl::nullopt <= o3);
REQUIRE(o3 >= tl::nullopt);
REQUIRE(tl::nullopt >= o3);
}
SECTION("with T complex") {
REQUIRE(!(o4 == "a"));
REQUIRE(!("a" == o4));
REQUIRE(o4 != "a");
REQUIRE("a" != o4);
REQUIRE(!(o4 < "a"));
REQUIRE("a" < o4);
REQUIRE(o4 > "a");
REQUIRE(!("a" > o4));
REQUIRE(!(o4 <= "a"));
REQUIRE("a" <= o4);
REQUIRE(o4 >= "a");
REQUIRE(!("a" >= o4));
REQUIRE(o4 == "hello");
REQUIRE("hello" == o4);
REQUIRE(!(o4 != "hello"));
REQUIRE(!("hello" != o4));
REQUIRE(!(o4 < "hello"));
REQUIRE(!("hello" < o4));
REQUIRE(!(o4 > "hello"));
REQUIRE(!("hello" > o4));
REQUIRE(o4 <= "hello");
REQUIRE("hello" <= o4);
REQUIRE(o4 >= "hello");
REQUIRE("hello" >= o4);
}
}
|
