mpusz/mp-units
1
0
Fork 1
mirror of https://github.com/mpusz/mp-units.git synced 2025-07-30 18:37:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

perf: expr_projectable concept removed to improve compilation performance

Browse Source
This commit is contained in:
Mateusz Pusz
2024-11-18 20:34:15 +01:00
parent 1090c40bea
commit dcf05687cf
1 changed files with 2 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
src/core/include/mp-units/framework/expression_template.h
View File

@ -521,24 +521,6 @@ struct expr_type_map<power<F, Ints...>, Proj> {
using type = power<Proj<F>, Ints...>; using type = power<Proj<F>, Ints...>;
}; };
template<typename T, template<typename> typename Proj>
concept expr_type_projectable = (requires { typename Proj<T>; } ||
(is_specialization_of_power<T> && requires { typename Proj<typename T::factor>; }));
template<typename T, template<typename> typename Proj>
constexpr bool expr_projectable_impl = false;
template<typename... Ts, template<typename> typename Proj>
constexpr bool expr_projectable_impl<type_list<Ts...>, Proj> = (... && expr_type_projectable<Ts, Proj>);
template<typename T, template<typename> typename Proj>
concept expr_projectable = requires {
typename T::_num_;
typename T::_den_;
requires expr_projectable_impl<typename T::_num_, Proj>;
requires expr_projectable_impl<typename T::_den_, Proj>;
};
template<typename T> template<typename T>
[[nodiscard]] consteval auto map_power(T t) [[nodiscard]] consteval auto map_power(T t)
{ {
@ -552,8 +534,7 @@ template<typename T, auto... Ints>
} }
template<template<typename> typename Proj, template<typename...> typename To, SymbolicArg OneType, template<template<typename> typename Proj, template<typename...> typename To, SymbolicArg OneType,
template<typename, typename> typename Pred, expr_type_projectable<Proj>... Nums, template<typename, typename> typename Pred, typename... Nums, typename... Dens>
expr_type_projectable<Proj>... Dens>
[[nodiscard]] consteval auto expr_map_impl(type_list<Nums...>, type_list<Dens...>) [[nodiscard]] consteval auto expr_map_impl(type_list<Nums...>, type_list<Dens...>)
{ {
return (OneType{} * ... * map_power(typename expr_type_map<Nums, Proj>::type{})) / return (OneType{} * ... * map_power(typename expr_type_map<Nums, Proj>::type{})) /
@ -570,7 +551,7 @@ template<template<typename> typename Proj, template<typename...> typename To, Sy
* @tparam T expression template to map from * @tparam T expression template to map from
*/ */
template<template<typename> typename Proj, template<typename...> typename To, SymbolicArg OneType, template<template<typename> typename Proj, template<typename...> typename To, SymbolicArg OneType,
template<typename, typename> typename Pred, expr_projectable<Proj> T> template<typename, typename> typename Pred, typename T>
[[nodiscard]] consteval auto expr_map(T) [[nodiscard]] consteval auto expr_map(T)
{ {
if constexpr (type_list_size<typename T::_num_> + type_list_size<typename T::_den_> == 0) if constexpr (type_list_size<typename T::_num_> + type_list_size<typename T::_den_> == 0)