xref: /aosp_15_r20/frameworks/native/libs/ftl/optional_test.cpp (revision 38e8c45f13ce32b0dcecb25141ffecaf386fa17f)
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