From fc7e1358cbbe66f249f471e423832e2d62193d9a Mon Sep 17 00:00:00 2001
From: Mateusz Pusz <mateusz.pusz@gmail.com>
Date: Fri, 19 Jan 2024 16:03:21 +0100
Subject: [PATCH] feat: `underlying_type` type trait added

---
 .../mp-units/bits/external/type_traits.h      | 30 +++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/src/core/include/mp-units/bits/external/type_traits.h b/src/core/include/mp-units/bits/external/type_traits.h
index 65223343..f98db6c9 100644
--- a/src/core/include/mp-units/bits/external/type_traits.h
+++ b/src/core/include/mp-units/bits/external/type_traits.h
@@ -83,6 +83,36 @@ template<typename T, template<typename...> typename Type>
 // inline constexpr bool // TODO: Replace with concept when it works with MSVC
 concept is_derived_from_specialization_of = requires(T* t) { detail::to_base_specialization_of<Type>(t); };
 
+
+namespace detail {
+
+template<typename T>
+struct get_value_type {
+  using type = MP_UNITS_TYPENAME T::value_type;
+};
+
+template<typename T>
+struct get_element_type {
+  using type = std::remove_reference_t<typename T::element_type>;
+};
+
+}  // namespace detail
+
+template<typename T>
+struct underlying_type {
+  using type = T;
+};
+
+template<typename T>
+  requires requires { typename T::value_type; } || requires { typename T::element_type; }
+struct underlying_type<T> {
+  using type = MP_UNITS_TYPENAME
+    conditional<requires { typename T::value_type; }, detail::get_value_type<T>, detail::get_element_type<T>>::type;
+};
+
+template<typename T>
+using underlying_type_t = MP_UNITS_TYPENAME underlying_type<T>::type;
+
 template<typename T, typename... Ts>
 concept one_of = (false || ... || std::same_as<T, Ts>);