William A. Kennington III | 458aeae | 2021-06-14 15:07:16 -0700 | [diff] [blame] | 1 | #pragma once |
| 2 | #include <stdplus/handle/managed.hpp> |
| 3 | |
William A. Kennington III | 20cab0c | 2021-06-14 15:13:19 -0700 | [diff] [blame] | 4 | #include <tuple> |
| 5 | #include <utility> |
| 6 | |
William A. Kennington III | 458aeae | 2021-06-14 15:07:16 -0700 | [diff] [blame] | 7 | namespace stdplus |
| 8 | { |
| 9 | |
| 10 | struct Cancelable |
| 11 | { |
| 12 | virtual ~Cancelable() = default; |
| 13 | virtual void cancel() noexcept = 0; |
| 14 | }; |
William A. Kennington III | 16f6add | 2021-06-29 11:01:17 -0700 | [diff] [blame] | 15 | |
| 16 | namespace detail |
| 17 | { |
| 18 | |
William A. Kennington III | 458aeae | 2021-06-14 15:07:16 -0700 | [diff] [blame] | 19 | struct CancelableF |
| 20 | { |
| 21 | inline void operator()(Cancelable* c) noexcept |
| 22 | { |
| 23 | c->cancel(); |
| 24 | } |
| 25 | }; |
William A. Kennington III | 16f6add | 2021-06-29 11:01:17 -0700 | [diff] [blame] | 26 | |
William A. Kennington III | a4f71f9 | 2022-08-18 14:17:00 -0700 | [diff] [blame] | 27 | using CancelHandle = Managed<Cancelable*>::HandleF<CancelableF>; |
William A. Kennington III | 16f6add | 2021-06-29 11:01:17 -0700 | [diff] [blame] | 28 | |
| 29 | } // namespace detail |
| 30 | |
| 31 | struct Cancel : detail::CancelHandle |
| 32 | { |
Patrick Williams | d1984dd | 2023-05-10 16:12:44 -0500 | [diff] [blame] | 33 | Cancel() : detail::CancelHandle(std::nullopt) {} |
William A. Kennington III | 8ec04ce | 2021-06-29 18:08:30 -0700 | [diff] [blame] | 34 | template <typename T> |
| 35 | explicit Cancel(T&& t) : detail::CancelHandle(t) |
Patrick Williams | d1984dd | 2023-05-10 16:12:44 -0500 | [diff] [blame] | 36 | {} |
William A. Kennington III | 16f6add | 2021-06-29 11:01:17 -0700 | [diff] [blame] | 37 | }; |
William A. Kennington III | 458aeae | 2021-06-14 15:07:16 -0700 | [diff] [blame] | 38 | |
William A. Kennington III | 20cab0c | 2021-06-14 15:13:19 -0700 | [diff] [blame] | 39 | namespace detail |
| 40 | { |
| 41 | |
| 42 | struct fAny |
Patrick Williams | d1984dd | 2023-05-10 16:12:44 -0500 | [diff] [blame] | 43 | {}; |
William A. Kennington III | 20cab0c | 2021-06-14 15:13:19 -0700 | [diff] [blame] | 44 | struct fPtr : fAny |
Patrick Williams | d1984dd | 2023-05-10 16:12:44 -0500 | [diff] [blame] | 45 | {}; |
William A. Kennington III | 20cab0c | 2021-06-14 15:13:19 -0700 | [diff] [blame] | 46 | |
| 47 | template <typename> |
| 48 | struct validator |
| 49 | { |
| 50 | typedef int type; |
| 51 | }; |
| 52 | |
| 53 | template <typename F, |
| 54 | typename validator<decltype(std::declval<F>() == nullptr)>::type = 0> |
| 55 | inline bool fPop(const F& f, fPtr) |
| 56 | { |
| 57 | return !(f == nullptr); |
| 58 | } |
| 59 | |
| 60 | template <typename F> |
| 61 | inline bool fPop(const F&, fAny) |
| 62 | { |
| 63 | return true; |
| 64 | } |
| 65 | |
| 66 | template <typename F> |
| 67 | inline bool fPop(const F& f) |
| 68 | { |
| 69 | return fPop(f, fPtr()); |
| 70 | } |
| 71 | |
| 72 | } // namespace detail |
| 73 | |
| 74 | template <typename F, typename... DefaultArgs> |
| 75 | class AlwaysCallOnce |
| 76 | { |
| 77 | public: |
| 78 | template <typename Fi, typename... Vs> |
| 79 | explicit AlwaysCallOnce(Fi&& fi, Vs&&... default_args) : |
| 80 | f(std::forward<Fi>(fi)), default_args(std::forward<Vs>(default_args)...) |
Patrick Williams | d1984dd | 2023-05-10 16:12:44 -0500 | [diff] [blame] | 81 | {} |
William A. Kennington III | 20cab0c | 2021-06-14 15:13:19 -0700 | [diff] [blame] | 82 | AlwaysCallOnce(const AlwaysCallOnce&) = delete; |
| 83 | AlwaysCallOnce(AlwaysCallOnce&& other) noexcept : |
| 84 | f(std::move(other.f)), default_args(std::move(other.default_args)), |
| 85 | called(std::exchange(other.called, true)) |
Patrick Williams | d1984dd | 2023-05-10 16:12:44 -0500 | [diff] [blame] | 86 | {} |
William A. Kennington III | 20cab0c | 2021-06-14 15:13:19 -0700 | [diff] [blame] | 87 | AlwaysCallOnce& operator=(const AlwaysCallOnce&) = delete; |
| 88 | AlwaysCallOnce& operator=(AlwaysCallOnce&& other) noexcept |
| 89 | { |
| 90 | finalCall(); |
| 91 | f = std::move(other.f); |
| 92 | default_args = std::move(other.default_args); |
| 93 | called = std::exchange(other.called, true); |
| 94 | return *this; |
| 95 | } |
| 96 | ~AlwaysCallOnce() |
| 97 | { |
| 98 | finalCall(); |
| 99 | } |
| 100 | |
| 101 | template <typename... Args> |
| 102 | auto operator()(Args&&... args) noexcept |
| 103 | { |
| 104 | called = true; |
| 105 | return f(std::forward<Args>(args)...); |
| 106 | } |
| 107 | |
| 108 | private: |
| 109 | F f; |
| 110 | std::tuple<DefaultArgs...> default_args; |
| 111 | bool called = false; |
| 112 | |
| 113 | void finalCall() noexcept |
| 114 | { |
| 115 | if (!called && detail::fPop(f)) |
| 116 | { |
| 117 | std::apply(f, default_args); |
| 118 | } |
| 119 | } |
| 120 | }; |
| 121 | |
| 122 | template <typename... Args> |
| 123 | inline auto alwaysCallOnce(Args&&... args) |
| 124 | { |
| 125 | return AlwaysCallOnce<std::remove_cv_t<std::remove_reference_t<Args>>...>( |
| 126 | std::forward<Args>(args)...); |
| 127 | } |
| 128 | |
William A. Kennington III | 458aeae | 2021-06-14 15:07:16 -0700 | [diff] [blame] | 129 | } // namespace stdplus |