Читать «Параллельное программирование на С++ в действии. Практика разработки многопоточных программ» онлайн - страница 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>,