1 files changed, 102 insertions, 0 deletions
diff --git a/src/common/Utilities/advstd.h b/src/common/Utilities/advstd.h
index 7514f156050..048765ab2c9 100644
--- a/src/common/Utilities/advstd.h
+++ b/src/common/Utilities/advstd.h
@@ -25,6 +25,65 @@
 // this namespace holds implementations of upcoming stdlib features that our c++ version doesn't have yet
 namespace advstd
 {
+    // C++17 std::apply (constrained to only function pointers, not all callable)
+    template <typename... Ts>
+    using apply_tuple_type = std::tuple<std::remove_cv_t<std::remove_reference_t<Ts>>...>;
+    template <typename R, typename... Ts, std::size_t... I>
+    R apply_impl(R(*func)(Ts...), apply_tuple_type<Ts...>&& args, std::index_sequence<I...>)
+    {
+        return func(std::get<I>(std::forward<apply_tuple_type<Ts...>>(args))...);
+    }
+    template <typename R, typename... Ts>
+    R apply(R(*func)(Ts...), apply_tuple_type<Ts...>&& args)
+    {
+        return apply_impl(func, std::forward<apply_tuple_type<Ts...>>(args), std::index_sequence_for<Ts...>{});
+    }
+
+#define forward_1v(stdname, type) template <typename T> constexpr type stdname ## _v = std::stdname<T>::value
+#define forward_2v(stdname, type) template <typename U, typename V> constexpr type stdname ## _v = std::stdname<U,V>::value
+
+    // C++17 std::is_same_v
+    forward_2v(is_same, bool);
+
+    // C++17 std::is_integral_v
+    forward_1v(is_integral, bool);
+
+    // C++17 std::is_assignable_v
+    forward_2v(is_assignable, bool);
+
+    // C++17 std::is_signed_v
+    forward_1v(is_signed, bool);
+
+    // C++17 std::is_unsigned_v
+    forward_1v(is_unsigned, bool);
+
+    // C++17 std::is_base_of_v
+    forward_2v(is_base_of, bool);
+
+    // C++17 std::is_floating_point_v
+    forward_1v(is_floating_point, bool);
+
+    // C++17 std::is_pointer_v
+    forward_1v(is_pointer, bool);
+
+    // C++17 std::is_reference_v
+    forward_1v(is_reference, bool);
+
+    // C++17 std::tuple_size_v
+    forward_1v(tuple_size, size_t);
+
+    // C++17 std::is_enum_v
+    forward_1v(is_enum, bool);
+
+    // C++17 std::is_arithmetic_v
+    forward_1v(is_arithmetic, bool);
+
+    // C++17 std::is_move_assignable_v
+    forward_1v(is_move_assignable, bool);
+
+#undef forward_1v
+#undef forward_2v
+
     // C++17 std::size
     template <typename C>
     constexpr auto size(const C& c) { return c.size(); }
@@ -47,6 +106,49 @@ namespace advstd
 
     template <typename T>
     constexpr T const* data(std::initializer_list<T> l) noexcept { return l.begin(); }
+
+    // C++17 std::gcd
+    template <typename T1, typename T2>
+    constexpr std::enable_if_t<advstd::is_unsigned_v<T1> && advstd::is_unsigned_v<T2>, std::common_type_t<T1, T2>> gcd(T1 _m, T2 _n)
+    {
+        using T = std::common_type_t<T1, T2>;
+        T n=_n, m=_m;
+        while (n)
+        {
+            T o = m;
+            m = n;
+            n = o%n;
+        }
+        return m;
+    }
+
+    // C++17 std::lcm
+    template <typename T1, typename T2>
+    constexpr std::enable_if_t<advstd::is_unsigned_v<T1> && advstd::is_unsigned_v<T2>, std::common_type_t<T1, T2>> lcm(T1 m, T2 n)
+    {
+        return (m/gcd(m, n))*n;
+    }
+
+    // C++20 std::remove_cvref_t
+    template <class T>
+    using remove_cvref_t = std::remove_cv_t<std::remove_reference_t<T>>;
+
+    template<typename B>
+    struct negation : std::integral_constant<bool, !bool(B::value)> { };
+
+    template <typename...>
+    struct conjunction : std::true_type { };
+    template <typename B1>
+    struct conjunction<B1> : B1 { };
+    template <typename B1, class... Bn>
+    struct conjunction<B1, Bn...> : std::conditional_t<bool(B1::value), conjunction<Bn...>, B1> { };
+
+    template <typename...>
+    struct disjunction : std::false_type { };
+    template <typename B1>
+    struct disjunction<B1> : B1 { };
+    template <typename B1, class... Bn>
+    struct disjunction<B1, Bn...> : std::conditional_t<bool(B1::value), B1, disjunction<Bn...>>  { };
 }
 
 #endif