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

test: more unit tests for unit conversions

Browse Source
This commit is contained in:
Mateusz Pusz
2023-09-28 09:01:52 +02:00
parent d427849477
commit caf0e66cb2
1 changed files with 19 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -206,10 +206,27 @@ static_assert(quantity<isq::length[m]>(2000. * m).in(km).numerical_value_ == 2.)
static_assert(quantity<isq::length[km], int>(2 * km).in(km).numerical_value_ == 2);
static_assert(quantity<isq::length[km], int>(2 * km).in(m).numerical_value_ == 2000);
static_assert(is_of_type<(2. * km).force_in(m), quantity<si::metre>>);
static_assert(is_of_type<isq::length(2. * km).force_in(m), quantity<isq::length[m]>>);
static_assert(is_of_type<isq::height(2. * km).force_in(m), quantity<isq::height[m]>>);
static_assert(quantity<isq::length[km]>(2. * km).force_in(km).numerical_value_ == 2.);
static_assert(quantity<isq::length[km]>(2. * km).force_in(m).numerical_value_ == 2000.);
static_assert(quantity<isq::length[m]>(2000. * m).force_in(km).numerical_value_ == 2.);
static_assert(quantity<isq::length[km], int>(2 * km).force_in(km).numerical_value_ == 2);
static_assert(quantity<isq::length[km], int>(2 * km).force_in(m).numerical_value_ == 2000);
static_assert(quantity<isq::length[m], int>(2000 * m).force_in(km).numerical_value_ == 2);
template<template<auto, typename> typename Q>
concept invalid_unit_conversion = requires {
requires !requires { Q<isq::length[m], int>(2000 * m).in(km); }; // truncating conversion
requires !requires { Q<isq::length[m], int>(2 * m).in(s); }; // invalid unit
requires !requires { Q<isq::length[m], int>(2000 * m).in(km); }; // truncating conversion
requires !requires { Q<isq::length[m], int>(2 * m).in(s); }; // unit of a different quantity & dimension
requires !requires { Q<isq::frequency[Hz], int>(60 * Hz).in(Bq); }; // unit of a different kind (same dimension)
requires !requires { Q<isq::length[m], int>(2 * m).force_in(s); }; // unit of a different quantity & dimension
requires !requires {
Q<isq::frequency[Hz], int>(60 * Hz).force_in(Bq);
}; // unit of a different kind (same dimension)
};
static_assert(invalid_unit_conversion<quantity>);