cross_unit_operations.h

Go to the documentation of this file.

 
#pragma once
 
#include "detail.h"
 
namespace SI::detail {
// forward declaration
template <char _symbol, typename _exponent, typename _type, typename _ratio>
struct unit_t;
 
template <template <typename...> typename _resulting_unit, typename _unit_lhs,
          typename _unit_rhs>
constexpr auto cross_unit_divide(const _unit_lhs &lhs, const _unit_rhs &rhs) {
  // do not use for the same unit as this should result in decreasing the
  // exponent
  static_assert(!std::is_same<_unit_lhs, _unit_rhs>::value);
  static_assert(is_unit_t_v<_unit_lhs>, "lhs parameter is a unit_t");
  static_assert(is_unit_t_v<_unit_rhs>, "rhs parameter is a unit_t");
 
  using resulting_ratio = typename std::ratio_divide<typename _unit_lhs::ratio,
                                                     typename _unit_rhs::ratio>;
  return _resulting_unit<typename _unit_lhs::internal_type, resulting_ratio>(
      lhs.value() / rhs.value());
}
 
template <template <typename...> typename _resulting_unit, typename _unit_lhs,
          typename _unit_rhs>
constexpr auto cross_unit_multiply(const _unit_lhs &lhs, const _unit_rhs &rhs) {
  // do not use for the same unit as this should result in increasing the
  // exponent
  static_assert(!std::is_same<_unit_lhs, _unit_rhs>::value);
  static_assert(is_unit_t_v<_unit_lhs>, "lhs parameter is a unit_t");
  static_assert(is_unit_t_v<_unit_rhs>, "rhs parameter is a unit_t");
  using resulting_ratio =
      typename std::ratio_multiply<typename _unit_lhs::ratio,
                                   typename _unit_rhs::ratio>;
  return _resulting_unit<typename _unit_lhs::internal_type, resulting_ratio>(
      lhs.value() * rhs.value());
}
 
} // namespace SI::detail