summaryrefslogtreecommitdiff
path: root/AK/Try.h
diff options
context:
space:
mode:
authorAndreas Kling <kling@serenityos.org>2021-09-05 13:32:15 +0200
committerAndreas Kling <kling@serenityos.org>2021-09-05 14:08:12 +0200
commitb4d8e166d854679941396f59e5b43ce4a21e697a (patch)
treec4a8db05538b48c92faa31f1db3e2858872b2b6c /AK/Try.h
parentfd44336ef8d0f1dac936d57a8d06f31bb6a3a0ba (diff)
downloadserenity-b4d8e166d854679941396f59e5b43ce4a21e697a.zip
AK: Add a TRY(expression) macro to simplify the unwrap-or-return pattern
The way we use classes like Kernel::KResultOr<T> and AK::Result<T, E> makes checking for errors (and short-circuiting returns) quite verbose. This patch adds a new TRY(expression) macro that either evaluates to the released result of the expression if successful, or returns the error if not. Before: auto foo_or_error = get_foo(); if (foo_or_error.is_error()) return foo_or_error.release_error(); auto foo = foo_or_error.release_value(); After: auto foo = TRY(get_foo()); The macro uses a GNU C++ extension which is supported by GCC, Clang, Intel C++, and possibly others. It's not *ideal*, but since it makes our codebase considerably nicer, let's try(!) it out. :^) Co-authored-by: Ali Mohammad Pur <mpfard@serenityos.org>
Diffstat (limited to 'AK/Try.h')
-rw-r--r--AK/Try.h18
1 files changed, 18 insertions, 0 deletions
diff --git a/AK/Try.h b/AK/Try.h
new file mode 100644
index 0000000000..862fc7dbc5
--- /dev/null
+++ b/AK/Try.h
@@ -0,0 +1,18 @@
+/*
+ * Copyright (c) 2021, Andreas Kling <kling@serenityos.org>
+ *
+ * SPDX-License-Identifier: BSD-2-Clause
+ */
+
+#pragma once
+
+// NOTE: This macro works with any result type that has the expected APIs.
+// It's designed with AK::Result and Kernel::KResult in mind.
+
+#define TRY(expression) \
+ ({ \
+ auto result = (expression); \
+ if (result.is_error()) \
+ return result.release_error(); \
+ result.release_value(); \
+ })