Читать «Параллельное программирование на С++ в действии. Практика разработки многопоточных программ» онлайн - страница 436
Энтони Уильямс
== true
std::ratio_equal<std::ratio<1,3>, std::ratio<1,6> >::value
== false
std::ratio_equal<std::ratio<1,3>, std::ratio<2,3> >::value
== false
std::ratio_equal<std::ratio<1,3>, std::ratio<1,3> >::value
== true
D.6.7. Шаблон класса std::ratio_not_equal
Шаблон класса std::ratio_not_equal
предоставляет механизм сравнения двух значений std::ratio
на этапе компиляции с применением правил арифметических операций с рациональными числами.
template <class R1, class R2>
class ratio_not_equal:
public std::integral_constant<
bool, !ratio_equal<R1,R2>::value> {};
R1
и R2
должны быть конкретизациями шаблона std::ratio
.
std::ratio_not_equal<
std::ratio<1,3>, std::ratio<2,6> >::value == false
std::ratio_not_equal<
std::ratio<1,3>, std::ratio<1,6> >::value == true
std::ratio_not_equal<
std::ratio<1,3>, std::ratio<2,3> >::value == true
std::ratio_not_equal<
std::ratio<1,3>, std::ratio<1,3> >::value == false
D.6.8. Шаблон класса std::ratio_less
Шаблон класса std::ratio_less
предоставляет механизм сравнения двух значений std::ratio
на этапе компиляции с применением правил арифметических операций с рациональными числами.
template <class R1, class R2>
class ratio_less:
public std::integral_constant<bool,
R1
и R2
должны быть конкретизациями шаблона std::ratio
.
std::ratio_less<R1,R2>
наследует шаблону std::integral_constant<bool, value>
, где value
— это (R1::num*R2::den) < (R2::num*R1::den)
. Если возможно, реализация должна использовать такой метод вычисления результата, при котором не возникает переполнения. Если при вычислении возникает переполнение, то программа считается некорректной.
std::ratio_less<std::ratio<1,3>, std::ratio<2,6> >::value
== false
std::ratio_less<std::ratio<1,6>, std::ratio<1,3> >::value
== true
std::ratio_less<
std::ratio<999999999,1000000000>,