123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140 |
- /*
- * Copyright 2017-present Facebook, Inc.
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
- #include <folly/Expected.h>
- #include <folly/Portability.h>
- #include <folly/ScopeGuard.h>
- #include <folly/portability/GTest.h>
- using namespace folly;
- namespace {
- struct Exn {};
- // not default-constructible, thereby preventing Expected<T, Err> from being
- // default-constructible, forcing our implementation to handle such cases
- class Err {
- private:
- enum class Type { Bad, Badder, Baddest };
- Type type_;
- constexpr Err(Type type) : type_(type) {}
- public:
- Err(Err const&) = default;
- Err(Err&&) = default;
- Err& operator=(Err const&) = default;
- Err& operator=(Err&&) = default;
- friend bool operator==(Err a, Err b) {
- return a.type_ == b.type_;
- }
- friend bool operator!=(Err a, Err b) {
- return a.type_ != b.type_;
- }
- static constexpr Err bad() {
- return Type::Bad;
- }
- static constexpr Err badder() {
- return Type::Badder;
- }
- static constexpr Err baddest() {
- return Type::Baddest;
- }
- };
- Expected<int, Err> f1() {
- return 7;
- }
- Expected<double, Err> f2(int x) {
- return 2.0 * x;
- }
- // move-only type
- Expected<std::unique_ptr<int>, Err> f3(int x, double y) {
- return std::make_unique<int>(int(x + y));
- }
- // error result
- Expected<int, Err> f4(int, double, Err err) {
- return makeUnexpected(err);
- }
- // exception
- Expected<int, Err> throws() {
- throw Exn{};
- }
- } // namespace
- #if FOLLY_HAS_COROUTINES
- TEST(Expected, CoroutineSuccess) {
- auto r0 = []() -> Expected<int, Err> {
- auto x = co_await f1();
- EXPECT_EQ(7, x);
- auto y = co_await f2(x);
- EXPECT_EQ(2.0 * 7, y);
- auto z = co_await f3(x, y);
- EXPECT_EQ(int(2.0 * 7 + 7), *z);
- co_return* z;
- }();
- EXPECT_TRUE(r0.hasValue());
- EXPECT_EQ(21, *r0);
- }
- TEST(Expected, CoroutineFailure) {
- auto r1 = []() -> Expected<int, Err> {
- auto x = co_await f1();
- auto y = co_await f2(x);
- auto z = co_await f4(x, y, Err::badder());
- ADD_FAILURE();
- co_return z;
- }();
- EXPECT_TRUE(r1.hasError());
- EXPECT_EQ(Err::badder(), r1.error());
- }
- TEST(Expected, CoroutineException) {
- EXPECT_THROW(
- ([]() -> Expected<int, Err> {
- auto x = co_await throws();
- ADD_FAILURE();
- co_return x;
- }()),
- Exn);
- }
- // this test makes sure that the coroutine is destroyed properly
- TEST(Expected, CoroutineCleanedUp) {
- int count_dest = 0;
- auto r = [&]() -> Expected<int, Err> {
- SCOPE_EXIT {
- ++count_dest;
- };
- auto x = co_await Expected<int, Err>(makeUnexpected(Err::badder()));
- ADD_FAILURE() << "Should not be resuming";
- co_return x;
- }();
- EXPECT_FALSE(r.hasValue());
- EXPECT_EQ(1, count_dest);
- }
- #endif
|