diff options
Diffstat (limited to 'src/common/Utilities/advstd.h')
-rw-r--r-- | src/common/Utilities/advstd.h | 106 |
1 files changed, 0 insertions, 106 deletions
diff --git a/src/common/Utilities/advstd.h b/src/common/Utilities/advstd.h index a39e0baadc1..decead03156 100644 --- a/src/common/Utilities/advstd.h +++ b/src/common/Utilities/advstd.h @@ -19,117 +19,11 @@ #define TRINITY_ADVSTD_H #include <cstddef> -#include <initializer_list> #include <type_traits> -#include <utility> // 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(); } - - template <typename T, std::size_t N> - constexpr std::size_t size(const T(&)[N]) noexcept { return N; } - - // C++17 std::data - template <typename C> - constexpr auto data(C& c) { return c.data(); } - - template <typename C> - constexpr auto data(C const& c) { return c.data(); } - - template <typename T, std::size_t N> - constexpr T* data(T(&a)[N]) noexcept { return a; } - - template <typename T, std::size_t N> - constexpr T const* data(const T(&a)[N]) noexcept { return a; } - - 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>>; |