feedc0de/mp-units
1
0
Fork 0
forked from mpusz/mp-units
Code Pull Requests Activity

feat: type traits for template template auto parameters added

Browse Source
This commit is contained in:
Mateusz Pusz
2023-02-08 22:03:41 -08:00
parent 0417507b49
commit bb05e3434e
1 changed files with 29 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
src/core/include/mp_units/bits/external/type_traits.h vendored
View File

@@ -65,6 +65,12 @@ inline constexpr bool is_specialization_of = false;
template<typename... Params, template<typename...> typename Type> template<typename... Params, template<typename...> typename Type>
inline constexpr bool is_specialization_of<Type<Params...>, Type> = true; inline constexpr bool is_specialization_of<Type<Params...>, Type> = true;
template<typename T, template<auto...> typename Type>
inline constexpr bool is_specialization_of_v = false;
template<auto... Params, template<auto...> typename Type>
inline constexpr bool is_specialization_of_v<Type<Params...>, Type> = true;
// is_derived_from_specialization_of // is_derived_from_specialization_of
namespace detail { namespace detail {
@@ -92,6 +98,12 @@ consteval bool contains()
return (false || ... || is_specialization_of<Ts, T>); return (false || ... || is_specialization_of<Ts, T>);
} }
template<template<auto...> typename T, typename... Ts>
consteval bool contains()
{
return (false || ... || is_specialization_of_v<Ts, T>);
}
template<typename T, std::same_as<T> auto V> template<typename T, std::same_as<T> auto V>
consteval auto get() consteval auto get()
{ {
@@ -117,7 +129,23 @@ consteval auto get()
template<template<typename...> typename T, typename T1, typename T2, typename... Ts> template<template<typename...> typename T, typename T1, typename T2, typename... Ts>
consteval auto get() consteval auto get()
{ {
if constexpr (is_specialization_of<T1, T2, T>) if constexpr (is_specialization_of<T1, T>)
return T1{};
else
return get<T, T2, Ts...>();
}
template<template<auto...> typename T, typename T1>
requires is_specialization_of_v<T1, T>
consteval auto get()
{
return T1{};
}
template<template<auto...> typename T, typename T1, typename T2, typename... Ts>
consteval auto get()
{
if constexpr (is_specialization_of_v<T1, T>)
return T1{}; return T1{};
else else
return get<T, T2, Ts...>(); return get<T, T2, Ts...>();