detail.h

Go to the documentation of this file.

 
#pragma once
 
#include "number_parser.h"
#include <cstdint>
#include <numeric>
#include <ratio>
 
namespace SI::detail {
 
template <typename _type> struct is_ratio : std::false_type {};
 
template <intmax_t _num, intmax_t _den>
struct is_ratio<std::ratio<_num, _den>> : std::true_type {};
 
template <typename _type>
inline constexpr bool is_ratio_v = is_ratio<_type>::value;
 
template <typename _ratio_lhs, typename _ratio_rhs> struct ratio_gcd {
private:
  using gcd_num = std::integral_constant<std::intmax_t,
                                         std::gcd<std::intmax_t, std::intmax_t>(
                                             _ratio_lhs::num, _ratio_rhs::num)>;
 
  using gcd_den = std::integral_constant<std::intmax_t,
                                         std::gcd<std::intmax_t, std::intmax_t>(
                                             _ratio_lhs::den, _ratio_rhs::den)>;
 
public:
  using ratio = std::ratio<gcd_num::value, (_ratio_lhs::den / gcd_den::value) *
                                               _ratio_rhs::den>;
};
 
// forward declaration
template <char _symbol, typename _exponent, typename _type, typename _ratio>
struct unit_t;
 
template <typename _unit> struct is_unit_t : std::false_type {};
 
template <char _symbol, typename _exponent, typename _ratio, typename _type>
struct is_unit_t<const unit_t<_symbol, _exponent, _type, _ratio>>
    : std::true_type {};
 
template <char _symbol, typename _exponent, typename _ratio, typename _type>
struct is_unit_t<unit_t<_symbol, _exponent, _type, _ratio>> : std::true_type {};
 
template <typename _type>
inline constexpr bool is_unit_t_v = is_unit_t<_type>::value;
 
} // namespace SI::detail