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

fix: broken requires expressions fixed

Browse Source
This commit is contained in:
Mateusz Pusz
2020-09-23 16:38:40 +02:00
parent a098f97c08
commit c6a5d9e222
2 changed files with 19 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
test/unit_test/static/quantity_point_test.cpp
View File

@ -38,11 +38,11 @@ using namespace units::physical::si;
template<typename DimLength> template<typename DimLength>
concept invalid_types = requires concept invalid_types = requires
{ {
!requires { typename quantity_point<DimLength, second, int>; }; // unit of a different dimension requires !requires { typename quantity_point<DimLength, second, int>; }; // unit of a different dimension
!requires { typename quantity_point<DimLength, metre, quantity<DimLength, metre, int>>; }; // quantity used as Rep requires !requires { typename quantity_point<DimLength, metre, quantity<DimLength, metre, int>>; }; // quantity used as Rep
// quantity point used as Rep // quantity point used as Rep
!requires { typename quantity_point<DimLength, metre, quantity_point<DimLength, metre, int>>; }; requires !requires { typename quantity_point<DimLength, metre, quantity_point<DimLength, metre, int>>; };
!requires { typename quantity<metre, DimLength, double>; }; // reordered arguments requires !requires { typename quantity<metre, DimLength, double>; }; // reordered arguments
}; };
static_assert(invalid_types<dim_length>); static_assert(invalid_types<dim_length>);

30
test/unit_test/static/quantity_test.cpp
View File

@ -37,9 +37,9 @@ using namespace units::physical::si;
template<typename DimLength> template<typename DimLength>
concept invalid_types = requires concept invalid_types = requires
{ {
!requires { typename quantity<DimLength, second, int>; }; // unit of a different dimension requires !requires { typename quantity<DimLength, second, int>; }; // unit of a different dimension
!requires { typename quantity<DimLength, metre, quantity<DimLength, metre, int>>; }; // quantity used as Rep requires !requires { typename quantity<DimLength, metre, quantity<DimLength, metre, int>>; }; // quantity used as Rep
!requires { typename quantity<metre, DimLength, double>; }; // reordered arguments requires !requires { typename quantity<metre, DimLength, double>; }; // reordered arguments
}; };
static_assert(invalid_types<dim_length>); static_assert(invalid_types<dim_length>);
@ -131,14 +131,14 @@ static_assert((2.5_q_m *= 3.5).count() == 8.75);
template<typename Metre> template<typename Metre>
concept invalid_compound_assignments = requires() concept invalid_compound_assignments = requires()
{ {
!requires(length<Metre, double> l) { l %= 2.; }; requires !requires(length<Metre, double> l) { l %= 2.; };
!requires(length<Metre, double> l) { l %= 2; }; requires !requires(length<Metre, double> l) { l %= 2; };
!requires(length<Metre, int> l) { l %= 2.; }; requires !requires(length<Metre, int> l) { l %= 2.; };
!requires(length<Metre, double> l) { l %= 2._q_m; }; requires !requires(length<Metre, double> l) { l %= 2._q_m; };
!requires(length<Metre, double> l) { l %= 2_q_m; }; requires !requires(length<Metre, double> l) { l %= 2_q_m; };
!requires(length<Metre, int> l) { l %= 2._q_m; }; requires !requires(length<Metre, int> l) { l %= 2._q_m; };
!requires(length<Metre, int> l) { l += 3.5_q_m; }; requires !requires(length<Metre, int> l) { l += 3.5_q_m; };
!requires(length<Metre, int> l) { l *= 3.5_q_m; }; requires !requires(length<Metre, int> l) { l *= 3.5_q_m; };
}; };
static_assert(invalid_compound_assignments<metre>); static_assert(invalid_compound_assignments<metre>);
@ -301,10 +301,10 @@ static_assert(dimensionless<one, int>(1) + 1 == 2);
template<typename Int> template<typename Int>
concept invalid_dimensionless_operations = requires concept invalid_dimensionless_operations = requires
{ {
!requires(dimensionless<one, Int> d) { d + 1.23; }; requires !requires(dimensionless<one, Int> d) { d + 1.23; };
!requires(dimensionless<one, Int> d) { 1.23 + d; }; requires !requires(dimensionless<one, Int> d) { 1.23 + d; };
!requires(dimensionless<scaled_unit<ratio(1, 1, 1), one>, Int> d) { 1 + d; }; requires !requires(dimensionless<scaled_unit<ratio(1, 1, 1), one>, Int> d) { 1 + d; };
!requires(dimensionless<scaled_unit<ratio(1, 1, 1), one>, Int> d) { d + 1; }; requires !requires(dimensionless<scaled_unit<ratio(1, 1, 1), one>, Int> d) { d + 1; };
}; };
static_assert(invalid_dimensionless_operations<int>); static_assert(invalid_dimensionless_operations<int>);