mpusz/mp-units
1
0
Fork 1
mirror of https://github.com/mpusz/mp-units.git synced 2025-08-04 20:54:28 +02:00
Code Issues Packages Projects Releases Wiki Activity

perf: caching of get_associated_quantity results added

Browse Source
This commit is contained in:
Mateusz Pusz
2024-11-16 22:01:30 +01:00
parent e1b0fb7e6e
commit 049a5a434a
1 changed files with 27 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
src/core/include/mp-units/bits/get_associated_quantity.h
View File

@@ -61,37 +61,55 @@ template<AssociatedUnit U>
} }
template<AssociatedUnit U> template<AssociatedUnit U>
[[nodiscard]] consteval auto get_associated_quantity_impl(U u); [[nodiscard]] consteval auto determine_associated_quantity(U u);
template<AssociatedUnit U> template<AssociatedUnit U>
using to_quantity_spec = decltype(get_associated_quantity_impl(U{})); using to_quantity_spec = decltype(determine_associated_quantity(U{}));
template<typename... Us> template<typename... Us>
[[nodiscard]] consteval auto get_associated_quantity_impl(common_unit<Us...>) [[nodiscard]] consteval auto determine_associated_quantity_impl(common_unit<Us...>)
{ {
return get_common_quantity_spec(get_associated_quantity_impl(Us{})...); return get_common_quantity_spec(determine_associated_quantity(Us{})...);
} }
template<AssociatedUnit U> template<AssociatedUnit U>
[[nodiscard]] consteval auto get_associated_quantity_impl(U u) [[nodiscard]] consteval auto determine_associated_quantity_impl(U u)
{ {
if constexpr (requires { U::_quantity_spec_; }) if constexpr (requires { U::_quantity_spec_; })
return remove_kind(U::_quantity_spec_); return remove_kind(U::_quantity_spec_);
else if constexpr (requires { U::_reference_unit_; }) else if constexpr (requires { U::_reference_unit_; })
return get_associated_quantity_impl(U::_reference_unit_); return determine_associated_quantity(U::_reference_unit_);
else if constexpr (requires { typename U::_num_; }) { else if constexpr (requires { typename U::_num_; }) {
return expr_map<to_quantity_spec, derived_quantity_spec, struct dimensionless, type_list_of_quantity_spec_less>(u); return expr_map<to_quantity_spec, derived_quantity_spec, struct dimensionless, type_list_of_quantity_spec_less>(u);
} }
} }
template<AssociatedUnit U> template<AssociatedUnit U>
[[nodiscard]] consteval auto get_associated_quantity(U u) constexpr auto determine_associated_quantity_result = determine_associated_quantity_impl(U{});
template<AssociatedUnit U>
[[nodiscard]] consteval auto determine_associated_quantity(U)
{
return determine_associated_quantity_result<U>;
}
template<AssociatedUnit U>
[[nodiscard]] consteval auto get_associated_quantity_impl(U u)
{ {
constexpr bool all_kinds = all_are_kinds(U{}); constexpr bool all_kinds = all_are_kinds(U{});
if constexpr (all_kinds) if constexpr (all_kinds)
return kind_of<get_associated_quantity_impl(U{})>; return kind_of<determine_associated_quantity(U{})>;
else else
return get_associated_quantity_impl(u); return determine_associated_quantity(u);
}
template<AssociatedUnit U>
constexpr auto get_associated_quantity_result = get_associated_quantity_impl(U{});
template<AssociatedUnit U>
[[nodiscard]] consteval auto get_associated_quantity(U)
{
return get_associated_quantity_result<U>;
} }
} // namespace detail } // namespace detail