Параллельное программирование на С++ в действии. Практика разработки многопоточных программ - [209]

и den, как в конкретизации std::ratio.

Примеры

std::ratio_multiply, std::ratio<2,5> >::num == 2
std::ratio_multiply, std::ratio<2,5> >::den == 15
std::ratio_multiply, std::ratio<15,7> >::num == 5
std::ratio_multiply, std::ratio<15,7> >::den == 7

D.6.5. Псевдоним шаблона >std::ratio_divide

Псевдоним шаблона std::ratio_divide предоставляет механизм деления двух значений std::ratio на этапе компиляции с применением правил арифметических операций с рациональными числами.

Определение

template
using ratio_divide = std::ratio<см. ниже>;

Предусловия

R1 и R2 должны быть конкретизациями шаблона std::ratio.

Результат

ratio_divide определяется как псевдоним конкретизации std::ratio, представляющий частное дробей, представленных параметрами R1 и R2, если это частное можно вычислить без переполнения. Если при вычислении возникает переполнение, то программа считается некорректной. В отсутствии переполнения std::ratio_divide будет иметь такие же значения num и den, как в конкретизации std::ratio.

Примеры

std::ratio_divide, std::ratio<2,5> >::num == 5
std::ratio_divide, std::ratio<2,5> >::den == 6
std::ratio_divide, std::ratio<15,7> >::num == 7
std::ratio_divide, std::ratio<15,7> >::den == 45

D.6.6. Шаблон класса >std::ratio_equal

Шаблон класса std::ratio_equal предоставляет механизм сравнения двух значений std::ratio на этапе компиляции с применением правил арифметических операций с рациональными числами.

Определение класса

template
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<2,6> >::value
 == true
std::ratio_equal, std::ratio<1,6> >::value
 == false
std::ratio_equal, std::ratio<2,3> >::value
 == false
std::ratio_equal, std::ratio<1,3> >::value
 == true

D.6.7. Шаблон класса >std::ratio_not_equal

Шаблон класса std::ratio_not_equal предоставляет механизм сравнения двух значений std::ratio на этапе компиляции с применением правил арифметических операций с рациональными числами.

Определение класса

template
class ratio_not_equal:
 public std::integral_constant<
  bool, !ratio_equal::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 ratio_less:
 public std::integral_constantсм. ниже> {};

Предусловия

R1 и R2 должны быть конкретизациями шаблона std::ratio.

Результат

std::ratio_less наследует шаблону std::integral_constant, где value — это (R1::num*R2::den) < (R2::num*R1::den). Если возможно, реализация должна использовать такой метод вычисления результата, при котором не возникает переполнения. Если при вычислении возникает переполнение, то программа считается некорректной.

Примеры

std::ratio_less, std::ratio<2,6> >::value
 == false
std::ratio_less, std::ratio<1,3> >::value
 == true
std::ratio_less<
 std::ratio<999999999,1000000000>,
 std::ratio<1000000001,1000000000> >::value == true
std::ratio_less<
 std::ratio<1000000001,1000000000>,
 std::ratio<999999999,1000000000> >::value == false

D.6.9. Шаблон класса >std::ratio_greater

Шаблон класса std::ratio_greater предоставляет механизм сравнения двух значений std::ratio на этапе компиляции с применением правил арифметических операций с рациональными числами.

Определение класса

template
class ratio_greater:
 public std::integral_constant<
  bool, ratio_less::value> {};

Предусловия

R1 и R2 должны быть конкретизациями шаблона std::ratio.

D.6.10. Шаблон класса >std::ratio_less_equal

Шаблон класса std::ratio_less_equal предоставляет механизм сравнения двух значений std::ratio на этапе компиляции с применением правил арифметических операций с рациональными числами.

Определение класса

template
class ratio_less_equal:
 public std::integral_constant<
  bool, !ratio_less::value> {};

Предусловия

R1 и R2 должны быть конкретизациями шаблона std::ratio.

D.6.11. Шаблон класса >std::ratio_greater_equal

Шаблон класса std::ratio_greater_equal предоставляет механизм сравнения двух значений std::ratio на этапе компиляции с применением правил арифметических операций с рациональными числами.