mp-units/test/unit_test/static/quantity_point_test.cpp

// The MIT License (MIT)
//
// Copyright (c) 2018 Mateusz Pusz
//
// Permission is hereby granted, free of charge, to any person obtaining a copy
// of this software and associated documentation files (the "Software"), to deal
// in the Software without restriction, including without limitation the rights
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the Software is
// furnished to do so, subject to the following conditions:
//
// The above copyright notice and this permission notice shall be included in all
// copies or substantial portions of the Software.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
// SOFTWARE.

#include "units/math.h"
#include "units/physical/si/area.h"
#include "units/physical/si/frequency.h"
#include "units/physical/si/speed.h"
#include "units/physical/si/volume.h"
#include "units/physical/us/length.h"
#include "units/quantity_point.h"
#include <chrono>
#include <utility>

namespace {

using namespace units;
using namespace units::physical::si;

// class invariants

template<typename DimLength>
concept invalid_types = 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
  // quantity point used as Rep
  !requires { typename quantity_point<DimLength, metre, quantity_point<DimLength, metre, int>>; };
  !requires { typename quantity<metre, DimLength, double>; };  // reordered arguments
};

static_assert(invalid_types<physical::si::dim_length>);

// member types

static_assert(is_same_v<quantity_point<dim_length, metre, int>::rep, int>);
static_assert(is_same_v<quantity_point<dim_length, metre, double>::rep, double>);
static_assert(is_same_v<quantity_point<dim_length, metre, int>::unit, metre>);
static_assert(is_same_v<quantity_point<dim_length, kilometre, int>::unit, kilometre>);

// constructors

static_assert(quantity_point<dim_length, metre, int>().relative() == 0q_m);
constexpr quantity_point<dim_length, metre, int> km{1000q_m};
static_assert(km.relative() == 1000q_m);
static_assert(quantity_point<dim_length, metre, int>(km).relative() == km.relative());

static_assert(quantity_point<dim_length, metre, int>(1q_m).relative() == 1q_m);
static_assert(!std::is_constructible_v<quantity_point<dim_length, metre, int>, double>); // truncating conversion
static_assert(quantity_point<dim_length, metre, double>(1.0q_m).relative() == 1.0q_m);
static_assert(quantity_point<dim_length, metre, double>(1q_m).relative() == 1q_m);
static_assert(quantity_point<dim_length, metre, long double>(3.14q_m).relative() == 3.14q_m);

static_assert(quantity_point<dim_length, metre, int>(km).relative() == 1000q_m);
static_assert(!std::is_constructible_v<quantity_point<dim_length, metre, int>,
                                       quantity_point<dim_length, metre, double>>);  // truncating conversion
static_assert(quantity_point<dim_length, metre, double>(quantity_point(1000.0q_m)).relative() == 1000.0q_m);
static_assert(quantity_point<dim_length, metre, double>(km).relative() == 1000.0q_m);
static_assert(quantity_point<dim_length, metre, int>(quantity_point(1q_km)).relative() == 1000q_m);
static_assert(!std::is_constructible_v<quantity_point<dim_length, metre, int>,
                                       quantity_point<dim_time, second, int>>);  // different dimensions
static_assert(!std::is_constructible_v<quantity_point<dim_length, kilometre, int>,
                                       quantity_point<dim_length, metre, int>>);  // truncating conversion

// assignment operator

static_assert([]() { quantity_point<dim_length, metre, int> l1(1q_m), l2{}; return l2 = l1; }().relative() == 1q_m);

// static member functions

static_assert(quantity_point<dim_length, metre, int>::min().relative().count() == std::numeric_limits<int>::lowest());
static_assert(quantity_point<dim_length, metre, int>::max().relative().count() == std::numeric_limits<int>::max());
static_assert(quantity_point<dim_length, metre, double>::min().relative().count() ==
              std::numeric_limits<double>::lowest());
static_assert(quantity_point<dim_length, metre, double>::max().relative().count() ==
              std::numeric_limits<double>::max());

// unary member operators

static_assert([](auto v) {
  auto vv = v++;
  return std::pair(v, vv);
}(km) == std::pair(quantity_point<dim_length, metre, int>(1001q_m), quantity_point<dim_length, metre, int>(1000q_m)));
static_assert([](auto v) {
  auto vv = ++v;
  return std::pair(v, vv);
}(km) == std::pair(quantity_point<dim_length, metre, int>(1001q_m), quantity_point<dim_length, metre, int>(1001q_m)));
static_assert([](auto v) {
  auto vv = v--;
  return std::pair(v, vv);
}(km) == std::pair(quantity_point<dim_length, metre, int>(999q_m), quantity_point<dim_length, metre, int>(1000q_m)));
static_assert([](auto v) {
  auto vv = --v;
  return std::pair(v, vv);
}(km) == std::pair(quantity_point<dim_length, metre, int>(999q_m), quantity_point<dim_length, metre, int>(999q_m)));

// compound assignment

static_assert((quantity_point(1q_m) += 1q_m).relative().count() == 2);
static_assert((quantity_point(2q_m) -= 1q_m).relative().count() == 1);

// non-member arithmetic operators

static_assert(is_same_v<decltype(quantity_point<dim_length, metre, int>() + length<metre, double>()),
                             quantity_point<dim_length, metre, double>>);
static_assert(is_same_v<decltype(length<metre, int>() + quantity_point<dim_length, metre, double>()),
                             quantity_point<dim_length, metre, double>>);
static_assert(is_same_v<decltype(quantity_point<dim_length, kilometre, int>() + length<metre, double>()),
                             quantity_point<dim_length, metre, double>>);
static_assert(is_same_v<decltype(length<kilometre, int>() + quantity_point<dim_length, metre, double>()),
                             quantity_point<dim_length, metre, double>>);
static_assert(is_same_v<decltype(quantity_point<dim_length, metre, double>() - length<metre, int>()),
                             quantity_point<dim_length, metre, double>>);
static_assert(is_same_v<decltype(quantity_point<dim_length, kilometre, double>() - length<metre, int>()),
                             quantity_point<dim_length, metre, double>>);
static_assert(
    is_same_v<decltype(quantity_point<dim_length, metre, double>() - quantity_point<dim_length, metre, int>()),
                   length<metre, double>>);
static_assert(
    is_same_v<decltype(quantity_point<dim_length, kilometre, double>() - quantity_point<dim_length, metre, int>()),
                   length<metre, double>>);

static_assert((1q_m + km).relative().count() == 1001);
static_assert((quantity_point(1q_m) + 1q_km).relative().count() == 1001);
static_assert((km - 1q_m).relative().count() == 999);
static_assert((quantity_point(1q_km) - quantity_point(1q_m)).count() == 999);

// comparators

static_assert(quantity_point(2q_m) + 1q_m == quantity_point(3q_m));
static_assert(!(2q_m + quantity_point(2q_m) == quantity_point(3q_m)));
static_assert(quantity_point(2q_m) + 2q_m != quantity_point(3q_m));
static_assert(!(2q_m + quantity_point(2q_m) != quantity_point(4q_m)));
static_assert(quantity_point(2q_m) > quantity_point(1q_m));
static_assert(!(quantity_point(1q_m) > quantity_point(1q_m)));
static_assert(quantity_point(1q_m) < quantity_point(2q_m));
static_assert(!(quantity_point(2q_m) < quantity_point(2q_m)));
static_assert(quantity_point(2q_m) >= quantity_point(1q_m));
static_assert(quantity_point(2q_m) >= quantity_point(2q_m));
static_assert(!(quantity_point(2q_m) >= quantity_point(3q_m)));
static_assert(quantity_point(1q_m) <= quantity_point(2q_m));
static_assert(quantity_point(2q_m) <= quantity_point(2q_m));
static_assert(!(quantity_point(3q_m) <= quantity_point(2q_m)));

static_assert(quantity_point(3q_m) == quantity_point(3.0q_m));
static_assert(quantity_point(3q_m) != quantity_point(3.14q_m));
static_assert(quantity_point(2q_m) > quantity_point(1.0q_m));
static_assert(quantity_point(1.0q_m) < quantity_point(2q_m));
static_assert(quantity_point(2.0q_m) >= quantity_point(1q_m));
static_assert(quantity_point(1q_m) <= quantity_point(2.0q_m));

static_assert(quantity_point(1000q_m) == quantity_point(1q_km));
static_assert(quantity_point(1001q_m) != quantity_point(1q_km));
static_assert(quantity_point(1001q_m) > quantity_point(1q_km));
static_assert(quantity_point(999q_m) < quantity_point(1q_km));
static_assert(quantity_point(1000q_m) >= quantity_point(1q_km));
static_assert(quantity_point(1000q_m) <= quantity_point(1q_km));

// alias units

static_assert(quantity_point(2q_l) + 2q_ml == quantity_point(2002q_ml));
static_assert(2q_l + quantity_point(2q_ml) == quantity_point(2002q_cm3));
static_assert(quantity_point(2q_l) + 2q_cm3 == quantity_point(2002q_ml));
static_assert(2q_dm3 + quantity_point(2q_cm3) == quantity_point(2002q_ml));

// is_quantity_point

static_assert(QuantityPoint<quantity_point<dim_length, millimetre, int>>);

// common_quantity_point

static_assert(is_same_v<
              common_quantity_point<quantity_point<dim_length, metre, int>, quantity_point<dim_length, kilometre, int>>,
              quantity_point<dim_length, metre, int>>);
static_assert(is_same_v<common_quantity_point<quantity_point<dim_length, kilometre, long long>,
                                                   quantity_point<dim_length, metre, int>>,
                             quantity_point<dim_length, metre, long long>>);
static_assert(is_same_v<common_quantity_point<quantity_point<dim_length, kilometre, long long>,
                                                   quantity_point<dim_length, millimetre, double>>,
                             quantity_point<dim_length, millimetre, double>>);

// common_type

using namespace units::physical::us::literals;

static_assert(std::equality_comparable<decltype(quantity_point(1q_m))>);
static_assert(std::equality_comparable_with<decltype(quantity_point(1q_m)), decltype(quantity_point(1q_km))>);
static_assert(quantity_point(0q_m) == quantity_point(0q_ft_us));
static_assert(std::equality_comparable_with<decltype(quantity_point(1q_m)), decltype(quantity_point(1q_ft_us))>);

// quantity_cast

static_assert(
    is_same_v<decltype(quantity_point_cast<scaled_unit<ratio(1), metre>>(quantity_point(2q_km)))::unit, metre>);

static_assert(quantity_point_cast<quantity_point<dim_length, metre, int>>(quantity_point(2q_km)).relative().count() ==
              2000);
static_assert(
    quantity_point_cast<quantity_point<dim_length, kilometre, int>>(quantity_point(2000q_m)).relative().count() == 2);
static_assert(quantity_point_cast<quantity_point<dim_length, metre, int>>(quantity_point(1.23q_m)).relative().count() ==
              1);
static_assert(quantity_point_cast<length<metre, int>>(quantity_point(2q_km)).relative().count() == 2000);
static_assert(quantity_point_cast<length<kilometre, int>>(quantity_point(2000q_m)).relative().count() == 2);
static_assert(quantity_point_cast<length<metre, int>>(quantity_point(1.23q_m)).relative().count() == 1);
static_assert(quantity_point_cast<metre>(quantity_point(2q_km)).relative().count() == 2000);
static_assert(quantity_point_cast<kilometre>(quantity_point(2000q_m)).relative().count() == 2);
static_assert(quantity_point_cast<int>(quantity_point(1.23q_m)).relative().count() == 1);

// time

#if __GNUC__ >= 10
static_assert(!std::equality_comparable_with<quantity_point<dim_time, second, int>,
                                             quantity_point<dim_length, metre, int>>);  // different dimensions
#endif
static_assert(quantity_point{1q_h} == quantity_point{3600q_s});

// length

static_assert(quantity_point(1q_km) == quantity_point(1000q_m));
static_assert(quantity_point(1q_km) + 1q_m == quantity_point(1001q_m));
static_assert(1q_km + quantity_point(1q_m) == quantity_point(1001q_m));

template<class T>
concept dimensional_analysis = requires(T t)
{
  pow<2>(t);
};

static_assert(!dimensional_analysis<quantity_point<dim_length, metre, int>>);

}  // namespace