...one of the most highly
regarded and expertly designed C++ library projects in the
world.

— Herb Sutter and Andrei
Alexandrescu, C++
Coding Standards

boost::units::static_rational

// In header: <boost/units/static_rational.hpp> template<integer_type N, integer_type D = 1> class static_rational { public: // types typedefunspecifiedtag; typedef static_rational< Numerator, Denominator > type; // static_rational<N,D> reduced by GCD // construct/copy/destruct static_rational(); // public static functions static integer_type numerator(); static integer_type denominator(); static const integer_type Numerator; const integer_type Denominator; };

This is an implementation of a compile time rational number, where `static_rational<N,D>`

represents a rational number with numerator `N`

and denominator `D`

. Because of the potential for ambiguity arising from multiple equivalent values of `static_rational`

(e.g. `static_rational<6,2>==static_rational<3>`

), static rationals should always be accessed through `static_rational<N,D>::type`

. Template specialization prevents instantiation of zero denominators (i.e. `static_rational<N,0>`

). The following compile-time arithmetic operators are provided for static_rational variables only (no operators are defined between long and static_rational):

`mpl::negate`

`mpl::plus`

`mpl::minus`

`mpl::times`

`mpl::divides`

Neither `static_power`

nor `static_root`

are defined for `static_rational`

. This is because template types may not be floating point values, while powers and roots of rational numbers can produce floating point values.