Читать «Параллельное программирование на С++ в действии. Практика разработки многопоточных программ» онлайн - страница 435
Энтони Уильямс
std::ratio_multiply<std::ratio<1,3>, std::ratio<2,5> >::num == 2
std::ratio_multiply<std::ratio<1,3>, std::ratio<2,5> >::den == 15
std::ratio_multiply<std::ratio<1,3>, std::ratio<15,7> >::num == 5
std::ratio_multiply<std::ratio<1,3>, std::ratio<15,7> >::den == 7
D.6.5. Псевдоним шаблона std::ratio_divide
Псевдоним шаблона std::ratio_divide
предоставляет механизм деления двух значений std::ratio
на этапе компиляции с применением правил арифметических операций с рациональными числами.
template <class R1, class R2>
using ratio_divide = std::ratio<
R1
и R2
должны быть конкретизациями шаблона std::ratio
.
ratio_divide<R1, R2>
определяется как псевдоним конкретизации std::ratio
, представляющий частное дробей, представленных параметрами R1
и R2
, если это частное можно вычислить без переполнения. Если при вычислении возникает переполнение, то программа считается некорректной. В отсутствии переполнения std::ratio_divide<R1, R2>
будет иметь такие же значения num
и den
, как в конкретизации std::ratio<R1::num * R2::den, R1::den * R2::num>
.
std::ratio_divide<std::ratio<1,3>, std::ratio<2,5> >::num == 5
std::ratio_divide<std::ratio<1,3>, std::ratio<2,5> >::den == 6
std::ratio_divide<std::ratio<1,3>, std::ratio<15,7> >::num == 7
std::ratio_divide<std::ratio<1,3>, std::ratio<15,7> >::den == 45
D.6.6. Шаблон класса std::ratio_equal
Шаблон класса std::ratio_equal
предоставляет механизм сравнения двух значений std::ratio
на этапе компиляции с применением правил арифметических операций с рациональными числами.
template <class R1, class R2>
class ratio_equal:
public std::integral_constant<
bool, (R1::num == R2::num) && (R1::den == R2::den)> {};
R1
и R2
должны быть конкретизациями шаблона std::ratio
.
std::ratio_equal<std::ratio<1,3>, std::ratio<2,6> >::value