aboutsummaryrefslogtreecommitdiffstats
path: root/nihil.core/guard.ccm
diff options
context:
space:
mode:
authorLexi Winter <lexi@le-fay.org>2025-07-02 04:00:06 +0100
committerLexi Winter <lexi@le-fay.org>2025-07-02 04:00:06 +0100
commit5adeb648f74c1771164c0686d6e0fc584cf36d9e (patch)
tree060cd918d3dd9e931a1541a43c9edff1a404ff47 /nihil.core/guard.ccm
parent06fafff8e9e9c096cc39bde0306caa53ad3a2351 (diff)
downloadnihil-5adeb648f74c1771164c0686d6e0fc584cf36d9e.tar.gz
nihil-5adeb648f74c1771164c0686d6e0fc584cf36d9e.tar.bz2
move everything from util to core
Diffstat (limited to 'nihil.core/guard.ccm')
-rw-r--r--nihil.core/guard.ccm41
1 files changed, 41 insertions, 0 deletions
diff --git a/nihil.core/guard.ccm b/nihil.core/guard.ccm
new file mode 100644
index 0000000..0576042
--- /dev/null
+++ b/nihil.core/guard.ccm
@@ -0,0 +1,41 @@
+// This source code is released into the public domain.
+export module nihil.core:guard;
+
+import nihil.std;
+
+namespace nihil {
+
+// guard: invoke a callable when this object is destroyed; this is similar to
+// scope_exit from the library fundamentals TS, which LLVM doesn't implement.
+export template<std::invocable F>
+struct guard final {
+ // Initialise the guard with a callable we will invoke later.
+ explicit guard(F func) : m_func(std::move(func)) {}
+
+ // We are being destroyed, so call the callable.
+ // If the callable throws, std::terminate() will be called.
+ ~guard()
+ {
+ if (m_func)
+ std::invoke(*m_func);
+ }
+
+ // Release the guard. This turns the destructor into a no-op.
+ auto release(this guard &self) noexcept -> void
+ {
+ self.m_func.reset();
+ }
+
+ // Not default-constructible, movable or copyable.
+ guard() = delete;
+ guard(guard const &) = delete;
+ guard(guard &&) noexcept = delete;
+ auto operator=(this guard &, guard const &) -> guard & = delete;
+ auto operator=(this guard &, guard &&) noexcept -> guard & = delete;
+
+private:
+ // The callable to be invoked when we are destroyed.
+ std::optional<F> m_func;
+};
+
+} // namespace nihil