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

feat: ScalableWith isolated from Scalar and added as a constraint to Complex and Vector

Browse Source
This commit is contained in:
Mateusz Pusz
2024-12-01 14:08:05 +01:00
parent 4831928802
commit c582801d84
1 changed files with 11 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/core/include/mp-units/framework/representation_concepts.h
View File

@@ -74,14 +74,19 @@ namespace detail {
template<typename T> template<typename T>
concept WeaklyRegular = std::copyable<T> && std::equality_comparable<T>; concept WeaklyRegular = std::copyable<T> && std::equality_comparable<T>;
template<typename T, typename S>
concept ScalableWith = WeaklyRegular<T> && requires(T v, S s) {
{ v* s / s } -> std::common_with<T>;
{ s* v / s } -> std::common_with<T>;
{ v / s* s } -> std::common_with<T>;
};
template<typename T> template<typename T>
concept Scalar = (!disable_scalar<T>) && WeaklyRegular<T> && requires(T a, T b, T c) { concept Scalar = (!disable_scalar<T>) && WeaklyRegular<T> && requires(T a, T b) {
{ -a } -> std::common_with<T>; { -a } -> std::common_with<T>;
{ a + b } -> std::common_with<T>; { a + b } -> std::common_with<T>;
{ a - b } -> std::common_with<T>; { a - b } -> std::common_with<T>;
{ a* b / c } -> std::common_with<T>; } && ScalableWith<T, T>;
{ a / b* c } -> std::common_with<T>;
};
namespace real_impl { namespace real_impl {
@@ -177,6 +182,7 @@ concept Complex = (!disable_complex<T>) && WeaklyRegular<T> && requires(T a, T b
::mp_units::real(a); ::mp_units::real(a);
::mp_units::imag(a); ::mp_units::imag(a);
::mp_units::modulus(a); ::mp_units::modulus(a);
requires ScalableWith<T, decltype(::mp_units::modulus(a))>;
requires std::constructible_from<T, decltype(::mp_units::real(a)), decltype(::mp_units::imag(a))>; requires std::constructible_from<T, decltype(::mp_units::real(a)), decltype(::mp_units::imag(a))>;
}; };
@@ -234,6 +240,7 @@ concept Vector = (!disable_vector<T>) && WeaklyRegular<T> && requires(T a, T b)
{ a + b } -> std::common_with<T>; { a + b } -> std::common_with<T>;
{ a - b } -> std::common_with<T>; { a - b } -> std::common_with<T>;
::mp_units::magnitude(a); ::mp_units::magnitude(a);
requires ScalableWith<T, decltype(::mp_units::magnitude(a))>;
// TODO should we also check for the below (e.g., when `size() > 1` or `2`) // TODO should we also check for the below (e.g., when `size() > 1` or `2`)
// { zero_vector<T>() } -> Vector; // { zero_vector<T>() } -> Vector;
// { unit_vector(a) } -> Vector; // { unit_vector(a) } -> Vector;