diff options
author | Abseil Team <absl-team@google.com> | 2018-06-08T15·14-0700 |
---|---|---|
committer | Gennadiy Civil <misterg@google.com> | 2018-06-08T15·24-0400 |
commit | 92020a042c0cd46979db9f6f0cb32783dc07765e (patch) | |
tree | 5f4ebb5a8b0a8c4f0e5e2a061e63665b2071d92f /absl/types/optional_exception_safety_test.cc | |
parent | 7aacab8ae05d7115049923da9cfbf584dc1f8338 (diff) |
- abacaab4b11a69dd4db627bd183571d7cabb8def Refinement to previous time.h edit (in this same github p... by Greg Falcon <gfalcon@google.com>
- 64db19b773134c6c8004e3b23c9ca892efbf8bae Move SpinLock's adaptive spin count computation from a st... by Derek Mauro <dmauro@google.com> - 6f9533fb44a52485a7c2bbb9b4efc7bf8d6c359a Import of CCTZ from GitHub. by Abseil Team <absl-team@google.com> - a211d7255c986e8dd4ceada362c0d054a6a1969a Cleanup exception flags by Abseil Team <absl-team@google.com> - babdb29c590126fe9bba5229fe91034b5b5c358a Release time benchmarks. by Alex Strelnikov <strel@google.com> - 5803b32a3ff123d1fb57a0c471d199c818357c9f Release memutil microbenchmarks. by Alex Strelnikov <strel@google.com> - 5357d4890d30e80c53beb05af32500fb20e9402b Add parens around expansion of ABSL_PREDICT_{FALSE,TRUE} ... by Abseil Team <absl-team@google.com> - 32023f61a239a5f6b1c59e577bfe81b179bbcd2d Reformat build rule tag. by Alex Strelnikov <strel@google.com> - 833758ecf2b0cf7a42bbd50b5b127e416425c168 Release uint128 microbenchmarks. by Alex Strelnikov <strel@google.com> - c115a9bca1f944b90fdc78a56b2de176466b124f Disambiguate bitwise-not of size_type by Abseil Team <absl-team@google.com> - f6905f5b5f6e425792de646edafde440548d9346 Updates ConstructorTracker and TrackedObjects with 1) a m... by Abseil Team <absl-team@google.com> - 147c553bdd5d2db20a38f75c4d1ef973d6c709c5 Changes the absl::Duration factory functions to disallow ... by Greg Miller <jgm@google.com> - dba2b96d11b5264546b283ba452f2de1303b0f07 White space fix by Alex Strelnikov <strel@google.com> GitOrigin-RevId: abacaab4b11a69dd4db627bd183571d7cabb8def Change-Id: I6fa34f20d0b2f898e7b5475a603111413bb80a67
Diffstat (limited to 'absl/types/optional_exception_safety_test.cc')
-rw-r--r-- | absl/types/optional_exception_safety_test.cc | 84 |
1 files changed, 41 insertions, 43 deletions
diff --git a/absl/types/optional_exception_safety_test.cc b/absl/types/optional_exception_safety_test.cc index 7f6348e1b8e1..d2ef04b8d1b0 100644 --- a/absl/types/optional_exception_safety_test.cc +++ b/absl/types/optional_exception_safety_test.cc @@ -170,25 +170,22 @@ TEST(OptionalExceptionSafety, EverythingThrowsSwap) { TEST(OptionalExceptionSafety, NoThrowMoveSwap) { // Tests the nothrow guarantee for optional of T with non-throwing move - auto nothrow_test = - MakeExceptionSafetyTester().WithInvariants(testing::nothrow_guarantee); - auto nothrow_test_empty = nothrow_test.WithInitialValue(MoveOptional()); - auto nothrow_test_nonempty = - nothrow_test.WithInitialValue(MoveOptional(kInitialInteger)); - - auto swap_empty = [](MoveOptional* optional_ptr) { + { auto empty = MoveOptional(); - optional_ptr->swap(empty); - }; - EXPECT_TRUE(nothrow_test_nonempty.Test(swap_empty)); - - auto swap_nonempty = [](MoveOptional* optional_ptr) { - auto nonempty = - MoveOptional(absl::in_place, kUpdatedInteger, testing::nothrow_ctor); - optional_ptr->swap(nonempty); - }; - EXPECT_TRUE(nothrow_test_empty.Test(swap_nonempty)); - EXPECT_TRUE(nothrow_test_nonempty.Test(swap_nonempty)); + auto nonempty = MoveOptional(kInitialInteger); + EXPECT_TRUE(testing::TestNothrowOp([&]() { nonempty.swap(empty); })); + } + { + auto nonempty = MoveOptional(kUpdatedInteger); + auto empty = MoveOptional(); + EXPECT_TRUE(testing::TestNothrowOp([&]() { empty.swap(nonempty); })); + } + { + auto nonempty_from = MoveOptional(kUpdatedInteger); + auto nonempty_to = MoveOptional(kInitialInteger); + EXPECT_TRUE( + testing::TestNothrowOp([&]() { nonempty_to.swap(nonempty_from); })); + } } TEST(OptionalExceptionSafety, CopyAssign) { @@ -251,32 +248,33 @@ TEST(OptionalExceptionSafety, MoveAssign) { TEST(OptionalExceptionSafety, NothrowMoveAssign) { // Tests the nothrow guarantee for optional of T with non-throwing move - auto nothrow_test = - MakeExceptionSafetyTester().WithInvariants(testing::nothrow_guarantee); - auto nothrow_test_empty = nothrow_test.WithInitialValue(MoveOptional()); - auto nothrow_test_nonempty = - nothrow_test.WithInitialValue(MoveOptional(kInitialInteger)); - - auto moveassign_empty = [](MoveOptional* optional_ptr) { + { auto empty = MoveOptional(); - *optional_ptr = std::move(empty); - }; - EXPECT_TRUE(nothrow_test_nonempty.Test(moveassign_empty)); - - auto moveassign_nonempty = [](MoveOptional* optional_ptr) { - auto nonempty = - MoveOptional(absl::in_place, kUpdatedInteger, testing::nothrow_ctor); - *optional_ptr = std::move(nonempty); - }; - EXPECT_TRUE(nothrow_test_empty.Test(moveassign_nonempty)); - EXPECT_TRUE(nothrow_test_nonempty.Test(moveassign_nonempty)); - - auto moveassign_thrower = [](MoveOptional* optional_ptr) { - auto thrower = MoveThrower(kUpdatedInteger, testing::nothrow_ctor); - *optional_ptr = std::move(thrower); - }; - EXPECT_TRUE(nothrow_test_empty.Test(moveassign_thrower)); - EXPECT_TRUE(nothrow_test_nonempty.Test(moveassign_thrower)); + auto nonempty = MoveOptional(kInitialInteger); + EXPECT_TRUE(testing::TestNothrowOp([&]() { nonempty = std::move(empty); })); + } + { + auto nonempty = MoveOptional(kInitialInteger); + auto empty = MoveOptional(); + EXPECT_TRUE(testing::TestNothrowOp([&]() { empty = std::move(nonempty); })); + } + { + auto nonempty_from = MoveOptional(kUpdatedInteger); + auto nonempty_to = MoveOptional(kInitialInteger); + EXPECT_TRUE(testing::TestNothrowOp( + [&]() { nonempty_to = std::move(nonempty_from); })); + } + { + auto thrower = MoveThrower(kUpdatedInteger); + auto empty = MoveOptional(); + EXPECT_TRUE(testing::TestNothrowOp([&]() { empty = std::move(thrower); })); + } + { + auto thrower = MoveThrower(kUpdatedInteger); + auto nonempty = MoveOptional(kInitialInteger); + EXPECT_TRUE( + testing::TestNothrowOp([&]() { nonempty = std::move(thrower); })); + } } } // namespace |