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 | { |
| 33 | Cancel() : detail::CancelHandle(std::nullopt) |
| 34 | { |
| 35 | } |
William A. Kennington III | 8ec04ce | 2021-06-29 18:08:30 -0700 | [diff] [blame] | 36 | template <typename T> |
| 37 | explicit Cancel(T&& t) : detail::CancelHandle(t) |
William A. Kennington III | 16f6add | 2021-06-29 11:01:17 -0700 | [diff] [blame] | 38 | { |
| 39 | } |
| 40 | }; |
William A. Kennington III | 458aeae | 2021-06-14 15:07:16 -0700 | [diff] [blame] | 41 | |
William A. Kennington III | 20cab0c | 2021-06-14 15:13:19 -0700 | [diff] [blame] | 42 | namespace detail |
| 43 | { |
| 44 | |
| 45 | struct fAny |
| 46 | { |
| 47 | }; |
| 48 | struct fPtr : fAny |
| 49 | { |
| 50 | }; |
| 51 | |
| 52 | template <typename> |
| 53 | struct validator |
| 54 | { |
| 55 | typedef int type; |
| 56 | }; |
| 57 | |
| 58 | template <typename F, |
| 59 | typename validator<decltype(std::declval<F>() == nullptr)>::type = 0> |
| 60 | inline bool fPop(const F& f, fPtr) |
| 61 | { |
| 62 | return !(f == nullptr); |
| 63 | } |
| 64 | |
| 65 | template <typename F> |
| 66 | inline bool fPop(const F&, fAny) |
| 67 | { |
| 68 | return true; |
| 69 | } |
| 70 | |
| 71 | template <typename F> |
| 72 | inline bool fPop(const F& f) |
| 73 | { |
| 74 | return fPop(f, fPtr()); |
| 75 | } |
| 76 | |
| 77 | } // namespace detail |
| 78 | |
| 79 | template <typename F, typename... DefaultArgs> |
| 80 | class AlwaysCallOnce |
| 81 | { |
| 82 | public: |
| 83 | template <typename Fi, typename... Vs> |
| 84 | explicit AlwaysCallOnce(Fi&& fi, Vs&&... default_args) : |
| 85 | f(std::forward<Fi>(fi)), default_args(std::forward<Vs>(default_args)...) |
| 86 | { |
| 87 | } |
| 88 | AlwaysCallOnce(const AlwaysCallOnce&) = delete; |
| 89 | AlwaysCallOnce(AlwaysCallOnce&& other) noexcept : |
| 90 | f(std::move(other.f)), default_args(std::move(other.default_args)), |
| 91 | called(std::exchange(other.called, true)) |
| 92 | { |
| 93 | } |
| 94 | AlwaysCallOnce& operator=(const AlwaysCallOnce&) = delete; |
| 95 | AlwaysCallOnce& operator=(AlwaysCallOnce&& other) noexcept |
| 96 | { |
| 97 | finalCall(); |
| 98 | f = std::move(other.f); |
| 99 | default_args = std::move(other.default_args); |
| 100 | called = std::exchange(other.called, true); |
| 101 | return *this; |
| 102 | } |
| 103 | ~AlwaysCallOnce() |
| 104 | { |
| 105 | finalCall(); |
| 106 | } |
| 107 | |
| 108 | template <typename... Args> |
| 109 | auto operator()(Args&&... args) noexcept |
| 110 | { |
| 111 | called = true; |
| 112 | return f(std::forward<Args>(args)...); |
| 113 | } |
| 114 | |
| 115 | private: |
| 116 | F f; |
| 117 | std::tuple<DefaultArgs...> default_args; |
| 118 | bool called = false; |
| 119 | |
| 120 | void finalCall() noexcept |
| 121 | { |
| 122 | if (!called && detail::fPop(f)) |
| 123 | { |
| 124 | std::apply(f, default_args); |
| 125 | } |
| 126 | } |
| 127 | }; |
| 128 | |
| 129 | template <typename... Args> |
| 130 | inline auto alwaysCallOnce(Args&&... args) |
| 131 | { |
| 132 | return AlwaysCallOnce<std::remove_cv_t<std::remove_reference_t<Args>>...>( |
| 133 | std::forward<Args>(args)...); |
| 134 | } |
| 135 | |
William A. Kennington III | 458aeae | 2021-06-14 15:07:16 -0700 | [diff] [blame] | 136 | } // namespace stdplus |