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

refactor: exposition only members added to expression templates

Browse Source
This commit is contained in:
Mateusz Pusz
2022-10-18 17:44:40 +02:00
parent 6a6fda1837
commit 3194d45b08
1 changed files with 11 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
src/core/include/units/bits/expression_template.h
View File

@@ -300,8 +300,8 @@ struct expr_fractions {
private: private:
using impl = expr_fractions_impl<OneTypeBase, false, Ts...>; using impl = expr_fractions_impl<OneTypeBase, false, Ts...>;
public: public:
using num = TYPENAME impl::num; using _num_ = TYPENAME impl::num; // exposition only
using den = TYPENAME impl::den; using _den_ = TYPENAME impl::den; // exposition only
}; };
template<typename NumList, typename DenList, typename OneType, template<typename...> typename To> template<typename NumList, typename DenList, typename OneType, template<typename...> typename To>
@@ -357,14 +357,14 @@ template<typename T1, typename T2, typename OneType, template<typename, typename
} else if constexpr (is_same_v<T2, OneType>) { } else if constexpr (is_same_v<T2, OneType>) {
return T1{}; return T1{};
} else if constexpr (is_specialization_of<T1, To> && is_specialization_of<T2, To>) { } else if constexpr (is_specialization_of<T1, To> && is_specialization_of<T2, To>) {
return get_optimized_expression<type_list_merge_sorted<typename T1::num, typename T2::num, Pred>, return get_optimized_expression<type_list_merge_sorted<typename T1::_num_, typename T2::_num_, Pred>,
type_list_merge_sorted<typename T1::den, typename T2::den, Pred>, OneType, Pred, type_list_merge_sorted<typename T1::_den_, typename T2::_den_, Pred>, OneType, Pred,
To>(); To>();
} else if constexpr (is_specialization_of<T1, To>) { } else if constexpr (is_specialization_of<T1, To>) {
return get_optimized_expression<type_list_merge_sorted<typename T1::num, type_list<T2>, Pred>, typename T1::den, return get_optimized_expression<type_list_merge_sorted<typename T1::_num_, type_list<T2>, Pred>, typename T1::_den_,
OneType, Pred, To>(); OneType, Pred, To>();
} else if constexpr (is_specialization_of<T2, To>) { } else if constexpr (is_specialization_of<T2, To>) {
return get_optimized_expression<type_list_merge_sorted<typename T2::num, type_list<T1>, Pred>, typename T2::den, return get_optimized_expression<type_list_merge_sorted<typename T2::_num_, type_list<T1>, Pred>, typename T2::_den_,
OneType, Pred, To>(); OneType, Pred, To>();
} else { } else {
return get_optimized_expression<type_list_merge_sorted<type_list<T1>, type_list<T2>, Pred>, type_list<>, OneType, return get_optimized_expression<type_list_merge_sorted<type_list<T1>, type_list<T2>, Pred>, type_list<>, OneType,
@@ -381,14 +381,14 @@ template<typename T1, typename T2, typename OneType, template<typename, typename
} else if constexpr (is_same_v<T2, OneType>) { } else if constexpr (is_same_v<T2, OneType>) {
return T1{}; return T1{};
} else if constexpr (is_specialization_of<T1, To> && is_specialization_of<T2, To>) { } else if constexpr (is_specialization_of<T1, To> && is_specialization_of<T2, To>) {
return get_optimized_expression<type_list_merge_sorted<typename T1::num, typename T2::den, Pred>, return get_optimized_expression<type_list_merge_sorted<typename T1::_num_, typename T2::_den_, Pred>,
type_list_merge_sorted<typename T1::den, typename T2::num, Pred>, OneType, Pred, type_list_merge_sorted<typename T1::_den_, typename T2::_num_, Pred>, OneType, Pred,
To>(); To>();
} else if constexpr (is_specialization_of<T1, To>) { } else if constexpr (is_specialization_of<T1, To>) {
return get_optimized_expression<typename T1::num, type_list_merge_sorted<typename T1::den, type_list<T2>, Pred>, return get_optimized_expression<typename T1::_num_, type_list_merge_sorted<typename T1::_den_, type_list<T2>, Pred>,
OneType, Pred, To>(); OneType, Pred, To>();
} else if constexpr (is_specialization_of<T2, To>) { } else if constexpr (is_specialization_of<T2, To>) {
return get_optimized_expression<type_list_merge_sorted<typename T2::den, type_list<T1>, Pred>, typename T2::num, return get_optimized_expression<type_list_merge_sorted<typename T2::_den_, type_list<T1>, Pred>, typename T2::_num_,
OneType, Pred, To>(); OneType, Pred, To>();
} else { } else {
return To<T1, per<T2>>{}; return To<T1, per<T2>>{};
@@ -399,7 +399,7 @@ template<typename T, typename OneType, template<typename...> typename To>
[[nodiscard]] consteval auto expr_invert() [[nodiscard]] consteval auto expr_invert()
{ {
if constexpr (is_specialization_of<T, To>) if constexpr (is_specialization_of<T, To>)
return expr_expression<typename T::den, typename T::num, OneType, To>{}; return expr_expression<typename T::_den_, typename T::_num_, OneType, To>{};
else else
return To<OneType, per<T>>{}; return To<OneType, per<T>>{};
} }