1*38e8c45fSAndroid Build Coastguard Worker /*
2*38e8c45fSAndroid Build Coastguard Worker * Copyright 2022 The Android Open Source Project
3*38e8c45fSAndroid Build Coastguard Worker *
4*38e8c45fSAndroid Build Coastguard Worker * Licensed under the Apache License, Version 2.0 (the "License");
5*38e8c45fSAndroid Build Coastguard Worker * you may not use this file except in compliance with the License.
6*38e8c45fSAndroid Build Coastguard Worker * You may obtain a copy of the License at
7*38e8c45fSAndroid Build Coastguard Worker *
8*38e8c45fSAndroid Build Coastguard Worker * http://www.apache.org/licenses/LICENSE-2.0
9*38e8c45fSAndroid Build Coastguard Worker *
10*38e8c45fSAndroid Build Coastguard Worker * Unless required by applicable law or agreed to in writing, software
11*38e8c45fSAndroid Build Coastguard Worker * distributed under the License is distributed on an "AS IS" BASIS,
12*38e8c45fSAndroid Build Coastguard Worker * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13*38e8c45fSAndroid Build Coastguard Worker * See the License for the specific language governing permissions and
14*38e8c45fSAndroid Build Coastguard Worker * limitations under the License.
15*38e8c45fSAndroid Build Coastguard Worker */
16*38e8c45fSAndroid Build Coastguard Worker
17*38e8c45fSAndroid Build Coastguard Worker #include <ftl/expected.h>
18*38e8c45fSAndroid Build Coastguard Worker #include <ftl/optional.h>
19*38e8c45fSAndroid Build Coastguard Worker #include <ftl/static_vector.h>
20*38e8c45fSAndroid Build Coastguard Worker #include <ftl/string.h>
21*38e8c45fSAndroid Build Coastguard Worker #include <ftl/unit.h>
22*38e8c45fSAndroid Build Coastguard Worker #include <gtest/gtest.h>
23*38e8c45fSAndroid Build Coastguard Worker
24*38e8c45fSAndroid Build Coastguard Worker #include <cstdlib>
25*38e8c45fSAndroid Build Coastguard Worker #include <functional>
26*38e8c45fSAndroid Build Coastguard Worker #include <numeric>
27*38e8c45fSAndroid Build Coastguard Worker #include <system_error>
28*38e8c45fSAndroid Build Coastguard Worker #include <utility>
29*38e8c45fSAndroid Build Coastguard Worker
30*38e8c45fSAndroid Build Coastguard Worker using namespace std::placeholders;
31*38e8c45fSAndroid Build Coastguard Worker using namespace std::string_literals;
32*38e8c45fSAndroid Build Coastguard Worker
33*38e8c45fSAndroid Build Coastguard Worker namespace android::test {
34*38e8c45fSAndroid Build Coastguard Worker
35*38e8c45fSAndroid Build Coastguard Worker using ftl::Optional;
36*38e8c45fSAndroid Build Coastguard Worker using ftl::StaticVector;
37*38e8c45fSAndroid Build Coastguard Worker
TEST(Optional,Construct)38*38e8c45fSAndroid Build Coastguard Worker TEST(Optional, Construct) {
39*38e8c45fSAndroid Build Coastguard Worker // Empty.
40*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(std::nullopt, Optional<int>());
41*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(std::nullopt, Optional<std::string>(std::nullopt));
42*38e8c45fSAndroid Build Coastguard Worker
43*38e8c45fSAndroid Build Coastguard Worker // Value.
44*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ('?', Optional('?'));
45*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(""s, Optional(std::string()));
46*38e8c45fSAndroid Build Coastguard Worker
47*38e8c45fSAndroid Build Coastguard Worker // In place.
48*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ("???"s, Optional<std::string>(std::in_place, 3u, '?'));
49*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ("abc"s, Optional<std::string>(std::in_place, {'a', 'b', 'c'}));
50*38e8c45fSAndroid Build Coastguard Worker
51*38e8c45fSAndroid Build Coastguard Worker // Implicit downcast.
52*38e8c45fSAndroid Build Coastguard Worker {
53*38e8c45fSAndroid Build Coastguard Worker Optional opt = std::optional("test"s);
54*38e8c45fSAndroid Build Coastguard Worker static_assert(std::is_same_v<decltype(opt), Optional<std::string>>);
55*38e8c45fSAndroid Build Coastguard Worker
56*38e8c45fSAndroid Build Coastguard Worker ASSERT_TRUE(opt);
57*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(opt.value(), "test"s);
58*38e8c45fSAndroid Build Coastguard Worker }
59*38e8c45fSAndroid Build Coastguard Worker }
60*38e8c45fSAndroid Build Coastguard Worker
TEST(Optional,Transform)61*38e8c45fSAndroid Build Coastguard Worker TEST(Optional, Transform) {
62*38e8c45fSAndroid Build Coastguard Worker // Empty.
63*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(std::nullopt, Optional<int>().transform([](int) { return 0; }));
64*38e8c45fSAndroid Build Coastguard Worker
65*38e8c45fSAndroid Build Coastguard Worker // By value.
66*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(0, Optional(0).transform([](int x) { return x; }));
67*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(100, Optional(99).transform([](int x) { return x + 1; }));
68*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ("0b100"s, Optional(4).transform(std::bind(ftl::to_string<int>, _1, ftl::Radix::kBin)));
69*38e8c45fSAndroid Build Coastguard Worker
70*38e8c45fSAndroid Build Coastguard Worker // By reference.
71*38e8c45fSAndroid Build Coastguard Worker {
72*38e8c45fSAndroid Build Coastguard Worker Optional opt = 'x';
73*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ('z', opt.transform([](char& c) {
74*38e8c45fSAndroid Build Coastguard Worker c = 'y';
75*38e8c45fSAndroid Build Coastguard Worker return 'z';
76*38e8c45fSAndroid Build Coastguard Worker }));
77*38e8c45fSAndroid Build Coastguard Worker
78*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ('y', opt);
79*38e8c45fSAndroid Build Coastguard Worker }
80*38e8c45fSAndroid Build Coastguard Worker
81*38e8c45fSAndroid Build Coastguard Worker // By rvalue reference.
82*38e8c45fSAndroid Build Coastguard Worker {
83*38e8c45fSAndroid Build Coastguard Worker std::string out;
84*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ("xyz"s, Optional("abc"s).transform([&out](std::string&& str) {
85*38e8c45fSAndroid Build Coastguard Worker out = std::move(str);
86*38e8c45fSAndroid Build Coastguard Worker return "xyz"s;
87*38e8c45fSAndroid Build Coastguard Worker }));
88*38e8c45fSAndroid Build Coastguard Worker
89*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(out, "abc"s);
90*38e8c45fSAndroid Build Coastguard Worker }
91*38e8c45fSAndroid Build Coastguard Worker
92*38e8c45fSAndroid Build Coastguard Worker // No return value.
93*38e8c45fSAndroid Build Coastguard Worker {
94*38e8c45fSAndroid Build Coastguard Worker Optional opt = "food"s;
95*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(ftl::unit, opt.transform(ftl::unit_fn([](std::string& str) { str.pop_back(); })));
96*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(opt, "foo"s);
97*38e8c45fSAndroid Build Coastguard Worker }
98*38e8c45fSAndroid Build Coastguard Worker
99*38e8c45fSAndroid Build Coastguard Worker // Chaining.
100*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(14u, Optional(StaticVector{"upside"s, "down"s})
101*38e8c45fSAndroid Build Coastguard Worker .transform([](StaticVector<std::string, 3>&& v) {
102*38e8c45fSAndroid Build Coastguard Worker v.push_back("cake"s);
103*38e8c45fSAndroid Build Coastguard Worker return v;
104*38e8c45fSAndroid Build Coastguard Worker })
105*38e8c45fSAndroid Build Coastguard Worker .transform([](const StaticVector<std::string, 3>& v) {
106*38e8c45fSAndroid Build Coastguard Worker return std::accumulate(v.begin(), v.end(), std::string());
107*38e8c45fSAndroid Build Coastguard Worker })
108*38e8c45fSAndroid Build Coastguard Worker .transform([](const std::string& s) { return s.length(); }));
109*38e8c45fSAndroid Build Coastguard Worker }
110*38e8c45fSAndroid Build Coastguard Worker
111*38e8c45fSAndroid Build Coastguard Worker namespace {
112*38e8c45fSAndroid Build Coastguard Worker
parse_int(const std::string & str)113*38e8c45fSAndroid Build Coastguard Worker Optional<int> parse_int(const std::string& str) {
114*38e8c45fSAndroid Build Coastguard Worker if (const int i = std::atoi(str.c_str())) return i;
115*38e8c45fSAndroid Build Coastguard Worker return std::nullopt;
116*38e8c45fSAndroid Build Coastguard Worker }
117*38e8c45fSAndroid Build Coastguard Worker
118*38e8c45fSAndroid Build Coastguard Worker } // namespace
119*38e8c45fSAndroid Build Coastguard Worker
TEST(Optional,AndThen)120*38e8c45fSAndroid Build Coastguard Worker TEST(Optional, AndThen) {
121*38e8c45fSAndroid Build Coastguard Worker // Empty.
122*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(std::nullopt, Optional<int>().and_then([](int) -> Optional<int> { return 0; }));
123*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(std::nullopt, Optional<int>().and_then([](int) { return Optional<int>(); }));
124*38e8c45fSAndroid Build Coastguard Worker
125*38e8c45fSAndroid Build Coastguard Worker // By value.
126*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(0, Optional(0).and_then([](int x) { return Optional(x); }));
127*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(123, Optional("123").and_then(parse_int));
128*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(std::nullopt, Optional("abc").and_then(parse_int));
129*38e8c45fSAndroid Build Coastguard Worker
130*38e8c45fSAndroid Build Coastguard Worker // By reference.
131*38e8c45fSAndroid Build Coastguard Worker {
132*38e8c45fSAndroid Build Coastguard Worker Optional opt = 'x';
133*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ('z', opt.and_then([](char& c) {
134*38e8c45fSAndroid Build Coastguard Worker c = 'y';
135*38e8c45fSAndroid Build Coastguard Worker return Optional('z');
136*38e8c45fSAndroid Build Coastguard Worker }));
137*38e8c45fSAndroid Build Coastguard Worker
138*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ('y', opt);
139*38e8c45fSAndroid Build Coastguard Worker }
140*38e8c45fSAndroid Build Coastguard Worker
141*38e8c45fSAndroid Build Coastguard Worker // By rvalue reference.
142*38e8c45fSAndroid Build Coastguard Worker {
143*38e8c45fSAndroid Build Coastguard Worker std::string out;
144*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ("xyz"s, Optional("abc"s).and_then([&out](std::string&& str) {
145*38e8c45fSAndroid Build Coastguard Worker out = std::move(str);
146*38e8c45fSAndroid Build Coastguard Worker return Optional("xyz"s);
147*38e8c45fSAndroid Build Coastguard Worker }));
148*38e8c45fSAndroid Build Coastguard Worker
149*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(out, "abc"s);
150*38e8c45fSAndroid Build Coastguard Worker }
151*38e8c45fSAndroid Build Coastguard Worker
152*38e8c45fSAndroid Build Coastguard Worker // Chaining.
153*38e8c45fSAndroid Build Coastguard Worker using StringVector = StaticVector<std::string, 3>;
154*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(14u, Optional(StaticVector{"-"s, "1"s})
155*38e8c45fSAndroid Build Coastguard Worker .and_then([](StringVector&& v) -> Optional<StringVector> {
156*38e8c45fSAndroid Build Coastguard Worker if (v.push_back("4"s)) return v;
157*38e8c45fSAndroid Build Coastguard Worker return {};
158*38e8c45fSAndroid Build Coastguard Worker })
159*38e8c45fSAndroid Build Coastguard Worker .and_then([](const StringVector& v) -> Optional<std::string> {
160*38e8c45fSAndroid Build Coastguard Worker if (v.full()) return std::accumulate(v.begin(), v.end(), std::string());
161*38e8c45fSAndroid Build Coastguard Worker return {};
162*38e8c45fSAndroid Build Coastguard Worker })
163*38e8c45fSAndroid Build Coastguard Worker .and_then(parse_int)
164*38e8c45fSAndroid Build Coastguard Worker .and_then([](int i) {
165*38e8c45fSAndroid Build Coastguard Worker return i > 0 ? std::nullopt : std::make_optional(static_cast<unsigned>(-i));
166*38e8c45fSAndroid Build Coastguard Worker }));
167*38e8c45fSAndroid Build Coastguard Worker }
168*38e8c45fSAndroid Build Coastguard Worker
TEST(Optional,OrElse)169*38e8c45fSAndroid Build Coastguard Worker TEST(Optional, OrElse) {
170*38e8c45fSAndroid Build Coastguard Worker // Non-empty.
171*38e8c45fSAndroid Build Coastguard Worker {
172*38e8c45fSAndroid Build Coastguard Worker const Optional opt = false;
173*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(false, opt.or_else([] { return Optional(true); }));
174*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ('x', Optional('x').or_else([] { return std::make_optional('y'); }));
175*38e8c45fSAndroid Build Coastguard Worker }
176*38e8c45fSAndroid Build Coastguard Worker
177*38e8c45fSAndroid Build Coastguard Worker // Empty.
178*38e8c45fSAndroid Build Coastguard Worker {
179*38e8c45fSAndroid Build Coastguard Worker const Optional<int> opt;
180*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(123, opt.or_else([]() -> Optional<int> { return 123; }));
181*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ("abc"s, Optional<std::string>().or_else([] { return Optional("abc"s); }));
182*38e8c45fSAndroid Build Coastguard Worker }
183*38e8c45fSAndroid Build Coastguard Worker {
184*38e8c45fSAndroid Build Coastguard Worker bool empty = false;
185*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(Optional<float>(), Optional<float>().or_else([&empty]() -> Optional<float> {
186*38e8c45fSAndroid Build Coastguard Worker empty = true;
187*38e8c45fSAndroid Build Coastguard Worker return std::nullopt;
188*38e8c45fSAndroid Build Coastguard Worker }));
189*38e8c45fSAndroid Build Coastguard Worker EXPECT_TRUE(empty);
190*38e8c45fSAndroid Build Coastguard Worker }
191*38e8c45fSAndroid Build Coastguard Worker
192*38e8c45fSAndroid Build Coastguard Worker // Chaining.
193*38e8c45fSAndroid Build Coastguard Worker using StringVector = StaticVector<std::string, 3>;
194*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(999, Optional(StaticVector{"1"s, "0"s, "0"s})
195*38e8c45fSAndroid Build Coastguard Worker .and_then([](StringVector&& v) -> Optional<StringVector> {
196*38e8c45fSAndroid Build Coastguard Worker if (v.push_back("0"s)) return v;
197*38e8c45fSAndroid Build Coastguard Worker return {};
198*38e8c45fSAndroid Build Coastguard Worker })
199*38e8c45fSAndroid Build Coastguard Worker .or_else([] {
200*38e8c45fSAndroid Build Coastguard Worker return Optional(StaticVector{"9"s, "9"s, "9"s});
201*38e8c45fSAndroid Build Coastguard Worker })
202*38e8c45fSAndroid Build Coastguard Worker .transform([](const StringVector& v) {
203*38e8c45fSAndroid Build Coastguard Worker return std::accumulate(v.begin(), v.end(), std::string());
204*38e8c45fSAndroid Build Coastguard Worker })
205*38e8c45fSAndroid Build Coastguard Worker .and_then(parse_int)
206*38e8c45fSAndroid Build Coastguard Worker .or_else([] { return Optional(-1); }));
207*38e8c45fSAndroid Build Coastguard Worker }
208*38e8c45fSAndroid Build Coastguard Worker
TEST(Optional,OkOr)209*38e8c45fSAndroid Build Coastguard Worker TEST(Optional, OkOr) {
210*38e8c45fSAndroid Build Coastguard Worker using CharExp = ftl::Expected<char, std::errc>;
211*38e8c45fSAndroid Build Coastguard Worker using StringExp = ftl::Expected<std::string, std::errc>;
212*38e8c45fSAndroid Build Coastguard Worker
213*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(CharExp('z'), Optional('z').ok_or(std::errc::broken_pipe));
214*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(CharExp(ftl::Unexpected(std::errc::broken_pipe)),
215*38e8c45fSAndroid Build Coastguard Worker Optional<char>().ok_or(std::errc::broken_pipe));
216*38e8c45fSAndroid Build Coastguard Worker
217*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(StringExp("abc"s), Optional("abc"s).ok_or(std::errc::protocol_error));
218*38e8c45fSAndroid Build Coastguard Worker EXPECT_EQ(StringExp(ftl::Unexpected(std::errc::protocol_error)),
219*38e8c45fSAndroid Build Coastguard Worker Optional<std::string>().ok_or(std::errc::protocol_error));
220*38e8c45fSAndroid Build Coastguard Worker }
221*38e8c45fSAndroid Build Coastguard Worker
222*38e8c45fSAndroid Build Coastguard Worker // Comparison.
223*38e8c45fSAndroid Build Coastguard Worker namespace {
224*38e8c45fSAndroid Build Coastguard Worker
225*38e8c45fSAndroid Build Coastguard Worker constexpr Optional<int> kOptional1 = 1;
226*38e8c45fSAndroid Build Coastguard Worker constexpr Optional<int> kAnotherOptional1 = 1;
227*38e8c45fSAndroid Build Coastguard Worker constexpr Optional<int> kOptional2 = 2;
228*38e8c45fSAndroid Build Coastguard Worker constexpr Optional<int> kOptionalEmpty, kAnotherOptionalEmpty;
229*38e8c45fSAndroid Build Coastguard Worker
230*38e8c45fSAndroid Build Coastguard Worker constexpr std::optional<int> kStdOptional1 = 1;
231*38e8c45fSAndroid Build Coastguard Worker
232*38e8c45fSAndroid Build Coastguard Worker static_assert(kOptional1 == kAnotherOptional1);
233*38e8c45fSAndroid Build Coastguard Worker
234*38e8c45fSAndroid Build Coastguard Worker static_assert(kOptional1 != kOptional2);
235*38e8c45fSAndroid Build Coastguard Worker static_assert(kOptional2 != kOptional1);
236*38e8c45fSAndroid Build Coastguard Worker
237*38e8c45fSAndroid Build Coastguard Worker static_assert(kOptional1 != kOptionalEmpty);
238*38e8c45fSAndroid Build Coastguard Worker static_assert(kOptionalEmpty != kOptional1);
239*38e8c45fSAndroid Build Coastguard Worker
240*38e8c45fSAndroid Build Coastguard Worker static_assert(kOptionalEmpty == kAnotherOptionalEmpty);
241*38e8c45fSAndroid Build Coastguard Worker
242*38e8c45fSAndroid Build Coastguard Worker static_assert(kOptional1 == kStdOptional1);
243*38e8c45fSAndroid Build Coastguard Worker static_assert(kStdOptional1 == kOptional1);
244*38e8c45fSAndroid Build Coastguard Worker
245*38e8c45fSAndroid Build Coastguard Worker static_assert(kOptional2 != kStdOptional1);
246*38e8c45fSAndroid Build Coastguard Worker static_assert(kStdOptional1 != kOptional2);
247*38e8c45fSAndroid Build Coastguard Worker
248*38e8c45fSAndroid Build Coastguard Worker static_assert(kOptional2 != kOptionalEmpty);
249*38e8c45fSAndroid Build Coastguard Worker static_assert(kOptionalEmpty != kOptional2);
250*38e8c45fSAndroid Build Coastguard Worker
251*38e8c45fSAndroid Build Coastguard Worker } // namespace
252*38e8c45fSAndroid Build Coastguard Worker
253*38e8c45fSAndroid Build Coastguard Worker } // namespace android::test
254