summaryrefslogtreecommitdiffstats
path: root/src/common/convenience.h
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-27 18:24:20 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-27 18:24:20 +0000
commit483eb2f56657e8e7f419ab1a4fab8dce9ade8609 (patch)
treee5d88d25d870d5dedacb6bbdbe2a966086a0a5cf /src/common/convenience.h
parentInitial commit. (diff)
downloadceph-483eb2f56657e8e7f419ab1a4fab8dce9ade8609.tar.xz
ceph-483eb2f56657e8e7f419ab1a4fab8dce9ade8609.zip
Adding upstream version 14.2.21.upstream/14.2.21upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/common/convenience.h')
-rw-r--r--src/common/convenience.h139
1 files changed, 139 insertions, 0 deletions
diff --git a/src/common/convenience.h b/src/common/convenience.h
new file mode 100644
index 00000000..ad01d48b
--- /dev/null
+++ b/src/common/convenience.h
@@ -0,0 +1,139 @@
+// -*- mode:C++; tab-width:8; c-basic-offset:2; indent-tabs-mode:t -*-
+// vim: ts=8 sw=2 smarttab
+/*
+ * Ceph - scalable distributed file system
+ *
+ * Copyright (C) 2004-2006 Sage Weil <sage@newdream.net>
+ *
+ * This is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License version 2.1, as published by the Free Software
+ * Foundation. See file COPYING.
+ *
+ */
+
+#include <mutex>
+#include <memory>
+#include <optional>
+#include <shared_mutex>
+#include <type_traits>
+#include <utility>
+
+#include <boost/optional.hpp>
+
+#include "include/ceph_assert.h" // I despise you. Not you the reader, I'm talking
+ // to the include file.
+
+
+#ifndef CEPH_COMMON_CONVENIENCE_H
+#define CEPH_COMMON_CONVENIENCE_H
+
+namespace ceph {
+// boost::optional is wonderful! Unfortunately it lacks a function for
+// the thing you would most obviously want to do with it: apply a
+// function to its contents.
+
+// There are two obvious candidates. The first is a function that
+// takes a function and an optional value and returns an optional
+// value, either holding the return value of the function or holding
+// nothing.
+//
+// I'd considered making more overloads for mutable lvalue
+// references, but those are going a bit beyond likely use cases.
+//
+template<typename T, typename F>
+auto maybe_do(const boost::optional<T>& t, F&& f) ->
+ boost::optional<std::result_of_t<F(const std::decay_t<T>)>>
+{
+ if (t)
+ return { std::forward<F>(f)(*t) };
+ else
+ return boost::none;
+}
+
+// The other obvious function takes an optional but returns an
+// ‘unwrapped’ value, either the result of evaluating the function or
+// a provided alternate value.
+//
+template<typename T, typename F, typename U>
+auto maybe_do_or(const boost::optional<T>& t, F&& f, U&& u) ->
+ std::result_of_t<F(const std::decay_t<T>)>
+{
+ static_assert(std::is_convertible_v<U, std::result_of_t<F(T)>>,
+ "Alternate value must be convertible to function return type.");
+ if (t)
+ return std::forward<F>(f)(*t);
+ else
+ return std::forward<U>(u);
+}
+
+
+// Same thing but for std::optional
+
+template<typename T, typename F>
+auto maybe_do(const std::optional<T>& t, F&& f) ->
+ std::optional<std::result_of_t<F(const std::decay_t<T>)>>
+{
+ if (t)
+ return { std::forward<F>(f)(*t) };
+ else
+ return std::nullopt;
+}
+
+// The other obvious function takes an optional but returns an
+// ‘unwrapped’ value, either the result of evaluating the function or
+// a provided alternate value.
+//
+template<typename T, typename F, typename U>
+auto maybe_do_or(const std::optional<T>& t, F&& f, U&& u) ->
+ std::result_of_t<F(const std::decay_t<T>)>
+{
+ static_assert(std::is_convertible_v<U, std::result_of_t<F(T)>>,
+ "Alternate value must be convertible to function return type.");
+ if (t)
+ return std::forward<F>(f)(*t);
+ else
+ return std::forward<U>(u);
+}
+
+namespace _convenience {
+template<typename... Ts, typename F, std::size_t... Is>
+inline void for_each_helper(const std::tuple<Ts...>& t, const F& f,
+ std::index_sequence<Is...>) {
+ (f(std::get<Is>(t)), ..., void());
+}
+template<typename... Ts, typename F, std::size_t... Is>
+inline void for_each_helper(std::tuple<Ts...>& t, const F& f,
+ std::index_sequence<Is...>) {
+ (f(std::get<Is>(t)), ..., void());
+}
+template<typename... Ts, typename F, std::size_t... Is>
+inline void for_each_helper(const std::tuple<Ts...>& t, F& f,
+ std::index_sequence<Is...>) {
+ (f(std::get<Is>(t)), ..., void());
+}
+template<typename... Ts, typename F, std::size_t... Is>
+inline void for_each_helper(std::tuple<Ts...>& t, F& f,
+ std::index_sequence<Is...>) {
+ (f(std::get<Is>(t)), ..., void());
+}
+}
+
+template<typename... Ts, typename F>
+inline void for_each(const std::tuple<Ts...>& t, const F& f) {
+ _convenience::for_each_helper(t, f, std::index_sequence_for<Ts...>{});
+}
+template<typename... Ts, typename F>
+inline void for_each(std::tuple<Ts...>& t, const F& f) {
+ _convenience::for_each_helper(t, f, std::index_sequence_for<Ts...>{});
+}
+template<typename... Ts, typename F>
+inline void for_each(const std::tuple<Ts...>& t, F& f) {
+ _convenience::for_each_helper(t, f, std::index_sequence_for<Ts...>{});
+}
+template<typename... Ts, typename F>
+inline void for_each(std::tuple<Ts...>& t, F& f) {
+ _convenience::for_each_helper(t, f, std::index_sequence_for<Ts...>{});
+}
+}
+#endif // CEPH_COMMON_CONVENIENCE_H