123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311 |
- // Copyright 2021 The Abseil Authors.
- //
- // 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
- //
- // https://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 "absl/cleanup/cleanup.h"
- #include <functional>
- #include <type_traits>
- #include <utility>
- #include "gtest/gtest.h"
- #include "absl/base/config.h"
- #include "absl/utility/utility.h"
- namespace {
- using Tag = absl::cleanup_internal::Tag;
- template <typename Type1, typename Type2>
- constexpr bool IsSame() {
- return (std::is_same<Type1, Type2>::value);
- }
- struct IdentityFactory {
- template <typename Callback>
- static Callback AsCallback(Callback callback) {
- return Callback(std::move(callback));
- }
- };
- // `FunctorClass` is a type used for testing `absl::Cleanup`. It is intended to
- // represent users that make their own move-only callback types outside of
- // `std::function` and lambda literals.
- class FunctorClass {
- using Callback = std::function<void()>;
- public:
- explicit FunctorClass(Callback callback) : callback_(std::move(callback)) {}
- FunctorClass(FunctorClass&& other)
- : callback_(absl::exchange(other.callback_, Callback())) {}
- FunctorClass(const FunctorClass&) = delete;
- FunctorClass& operator=(const FunctorClass&) = delete;
- FunctorClass& operator=(FunctorClass&&) = delete;
- void operator()() const& = delete;
- void operator()() && {
- ASSERT_TRUE(callback_);
- callback_();
- callback_ = nullptr;
- }
- private:
- Callback callback_;
- };
- struct FunctorClassFactory {
- template <typename Callback>
- static FunctorClass AsCallback(Callback callback) {
- return FunctorClass(std::move(callback));
- }
- };
- struct StdFunctionFactory {
- template <typename Callback>
- static std::function<void()> AsCallback(Callback callback) {
- return std::function<void()>(std::move(callback));
- }
- };
- using CleanupTestParams =
- ::testing::Types<IdentityFactory, FunctorClassFactory, StdFunctionFactory>;
- template <typename>
- struct CleanupTest : public ::testing::Test {};
- TYPED_TEST_SUITE(CleanupTest, CleanupTestParams);
- bool fn_ptr_called = false;
- void FnPtrFunction() { fn_ptr_called = true; }
- TYPED_TEST(CleanupTest, FactoryProducesCorrectType) {
- {
- auto callback = TypeParam::AsCallback([] {});
- auto cleanup = absl::MakeCleanup(std::move(callback));
- static_assert(
- IsSame<absl::Cleanup<Tag, decltype(callback)>, decltype(cleanup)>(),
- "");
- }
- {
- auto cleanup = absl::MakeCleanup(&FnPtrFunction);
- static_assert(IsSame<absl::Cleanup<Tag, void (*)()>, decltype(cleanup)>(),
- "");
- }
- {
- auto cleanup = absl::MakeCleanup(FnPtrFunction);
- static_assert(IsSame<absl::Cleanup<Tag, void (*)()>, decltype(cleanup)>(),
- "");
- }
- }
- #if defined(ABSL_HAVE_CLASS_TEMPLATE_ARGUMENT_DEDUCTION)
- TYPED_TEST(CleanupTest, CTADProducesCorrectType) {
- {
- auto callback = TypeParam::AsCallback([] {});
- absl::Cleanup cleanup = std::move(callback);
- static_assert(
- IsSame<absl::Cleanup<Tag, decltype(callback)>, decltype(cleanup)>(),
- "");
- }
- {
- absl::Cleanup cleanup = &FnPtrFunction;
- static_assert(IsSame<absl::Cleanup<Tag, void (*)()>, decltype(cleanup)>(),
- "");
- }
- {
- absl::Cleanup cleanup = FnPtrFunction;
- static_assert(IsSame<absl::Cleanup<Tag, void (*)()>, decltype(cleanup)>(),
- "");
- }
- }
- TYPED_TEST(CleanupTest, FactoryAndCTADProduceSameType) {
- {
- auto callback = IdentityFactory::AsCallback([] {});
- auto factory_cleanup = absl::MakeCleanup(callback);
- absl::Cleanup deduction_cleanup = callback;
- static_assert(
- IsSame<decltype(factory_cleanup), decltype(deduction_cleanup)>(), "");
- }
- {
- auto factory_cleanup =
- absl::MakeCleanup(FunctorClassFactory::AsCallback([] {}));
- absl::Cleanup deduction_cleanup = FunctorClassFactory::AsCallback([] {});
- static_assert(
- IsSame<decltype(factory_cleanup), decltype(deduction_cleanup)>(), "");
- }
- {
- auto factory_cleanup =
- absl::MakeCleanup(StdFunctionFactory::AsCallback([] {}));
- absl::Cleanup deduction_cleanup = StdFunctionFactory::AsCallback([] {});
- static_assert(
- IsSame<decltype(factory_cleanup), decltype(deduction_cleanup)>(), "");
- }
- {
- auto factory_cleanup = absl::MakeCleanup(&FnPtrFunction);
- absl::Cleanup deduction_cleanup = &FnPtrFunction;
- static_assert(
- IsSame<decltype(factory_cleanup), decltype(deduction_cleanup)>(), "");
- }
- {
- auto factory_cleanup = absl::MakeCleanup(FnPtrFunction);
- absl::Cleanup deduction_cleanup = FnPtrFunction;
- static_assert(
- IsSame<decltype(factory_cleanup), decltype(deduction_cleanup)>(), "");
- }
- }
- #endif // defined(ABSL_HAVE_CLASS_TEMPLATE_ARGUMENT_DEDUCTION)
- TYPED_TEST(CleanupTest, BasicUsage) {
- bool called = false;
- {
- auto cleanup =
- absl::MakeCleanup(TypeParam::AsCallback([&called] { called = true; }));
- EXPECT_FALSE(called); // Constructor shouldn't invoke the callback
- }
- EXPECT_TRUE(called); // Destructor should invoke the callback
- }
- TYPED_TEST(CleanupTest, BasicUsageWithFunctionPointer) {
- fn_ptr_called = false;
- {
- auto cleanup = absl::MakeCleanup(TypeParam::AsCallback(&FnPtrFunction));
- EXPECT_FALSE(fn_ptr_called); // Constructor shouldn't invoke the callback
- }
- EXPECT_TRUE(fn_ptr_called); // Destructor should invoke the callback
- }
- TYPED_TEST(CleanupTest, Cancel) {
- bool called = false;
- {
- auto cleanup =
- absl::MakeCleanup(TypeParam::AsCallback([&called] { called = true; }));
- EXPECT_FALSE(called); // Constructor shouldn't invoke the callback
- std::move(cleanup).Cancel();
- EXPECT_FALSE(called); // Cancel shouldn't invoke the callback
- }
- EXPECT_FALSE(called); // Destructor shouldn't invoke the callback
- }
- TYPED_TEST(CleanupTest, Invoke) {
- bool called = false;
- {
- auto cleanup =
- absl::MakeCleanup(TypeParam::AsCallback([&called] { called = true; }));
- EXPECT_FALSE(called); // Constructor shouldn't invoke the callback
- std::move(cleanup).Invoke();
- EXPECT_TRUE(called); // Invoke should invoke the callback
- called = false; // Reset tracker before destructor runs
- }
- EXPECT_FALSE(called); // Destructor shouldn't invoke the callback
- }
- TYPED_TEST(CleanupTest, Move) {
- bool called = false;
- {
- auto moved_from_cleanup =
- absl::MakeCleanup(TypeParam::AsCallback([&called] { called = true; }));
- EXPECT_FALSE(called); // Constructor shouldn't invoke the callback
- {
- auto moved_to_cleanup = std::move(moved_from_cleanup);
- EXPECT_FALSE(called); // Move shouldn't invoke the callback
- }
- EXPECT_TRUE(called); // Destructor should invoke the callback
- called = false; // Reset tracker before destructor runs
- }
- EXPECT_FALSE(called); // Destructor shouldn't invoke the callback
- }
- int DestructionCount = 0;
- struct DestructionCounter {
- void operator()() {}
- ~DestructionCounter() { ++DestructionCount; }
- };
- TYPED_TEST(CleanupTest, DestructorDestroys) {
- {
- auto cleanup =
- absl::MakeCleanup(TypeParam::AsCallback(DestructionCounter()));
- DestructionCount = 0;
- }
- EXPECT_EQ(DestructionCount, 1); // Engaged cleanup destroys
- }
- TYPED_TEST(CleanupTest, CancelDestroys) {
- {
- auto cleanup =
- absl::MakeCleanup(TypeParam::AsCallback(DestructionCounter()));
- DestructionCount = 0;
- std::move(cleanup).Cancel();
- EXPECT_EQ(DestructionCount, 1); // Cancel destroys
- }
- EXPECT_EQ(DestructionCount, 1); // Canceled cleanup does not double destroy
- }
- TYPED_TEST(CleanupTest, InvokeDestroys) {
- {
- auto cleanup =
- absl::MakeCleanup(TypeParam::AsCallback(DestructionCounter()));
- DestructionCount = 0;
- std::move(cleanup).Invoke();
- EXPECT_EQ(DestructionCount, 1); // Invoke destroys
- }
- EXPECT_EQ(DestructionCount, 1); // Invoked cleanup does not double destroy
- }
- } // namespace
|