xo-unit: streamlined ex1

This commit is contained in:
Roland Conybeare 2024-05-03 18:45:08 -04:00
commit 90031b2296
2 changed files with 33 additions and 10 deletions

View file

@ -11,6 +11,5 @@ xo_include_options2(${SELF_EXE})
xo_self_headeronly_dependency(${SELF_EXE} xo_unit)
xo_dependency(${SELF_EXE} xo_flatstring)
#xo_dependency(${SELF_EXE} reflect)
# end CMakeLists.txt

View file

@ -7,23 +7,47 @@
int
main () {
namespace q = xo::qty::qty;
namespace su = xo::qty::su;
using xo::qty::quantity;
using xo::flatstring;
using namespace std;
constexpr auto t = q::milliseconds(10);
constexpr auto m = q::kilograms(2.5);
constexpr auto t = q::minutes(2);
constexpr auto d = q::kilometers(2.5);
constexpr auto t2 = t*t;
#ifdef NOT_YET
constexpr auto a = m / (t*t);
constexpr auto a = d / (t*t);
static_assert(same_as<decltype(t), quantity<u::millisecond, int>>);
#endif
cerr << "t: " << t << ", m: " << m
cerr << "t: " << t << ", d: " << d
<< ", t^2: " << t2
//<< ", m.t^-2: " << a
<< ", d.t^-2: " << a
<< endl;
static_assert(std::same_as<decltype(t)::repr_type, double>);
static_assert(sizeof(t) == sizeof(double));
static_assert(t.scale() == 2);
static_assert(t.abbrev() == flatstring("min"));
static_assert(std::same_as<decltype(d)::repr_type, double>);
static_assert(sizeof(d) == sizeof(double));
static_assert(d.scale() == 2.5);
static_assert(d.abbrev() == flatstring("km"));
static_assert(std::same_as<decltype(t2)::repr_type, double>);
static_assert(sizeof(t2) == sizeof(double));
static_assert(t2.scale() == 4);
static_assert(t2.abbrev() == flatstring("min^2"));
static_assert(std::same_as<decltype(a)::repr_type, double>);
static_assert(sizeof(a) == sizeof(double));
static_assert(a.scale() == 0.625);
static_assert(a.abbrev() == flatstring("km.min^-2"));
constexpr auto a2 = a.rescale<(su::meter / (su::second * su::second))>();
cerr << "d.t^-2: " << a2 << endl;
static_assert(a2.abbrev() == flatstring("m.s^-2"));
}
/** end ex1.cpp **/