Читать «Параллельное программирование на С++ в действии. Практика разработки многопоточных программ» онлайн - страница 434
Энтони Уильямс
ratio_add<R1,R2>
определяется как псевдоним конкретизации std::ratio
, представляющий сумму дробей, представленных параметрами R1
и R2
, если эту сумму можно вычислить без переполнения. Если при вычислении возникает переполнение, то программа считается некорректной. В отсутствии переполнения std::ratio_add<R1, R2>
будет иметь такие же значения num
и den
, как в конкретизации std::ratio<R1::num * R2::den + R2::num * R1::den, R1::den * R2::den>
.
std::ratio_add<std::ratio<1,3>, std::ratio<2,5> >::num == 11
std::ratio_add<std::ratio<1,3>, std::ratio<2,5> >::den == 15
std::ratio_add<std::ratio<1,3>, std::ratio<7,6> >::num == 3
std::ratio_add<std::ratio<1,3>, std::ratio<7,6> >::den == 2
D.6.3. Псевдоним шаблона std::ratio_subtract
Псевдоним шаблона std::ratio_subtract
предоставляет механизм вычитания двух значений std::ratio
на этапе компиляции с применением правил арифметических операций с рациональными числами.
template <class R1, class R2>
using ratio_subtract = std::ratio<с
R1
и R2
должны быть конкретизациями шаблона std::ratio
.
ratio_subtract<R1, R2>
определяется как псевдоним конкретизации std::ratio
, представляющий разность дробей, представленных параметрами R1
и R2
, если эту разность можно вычислить без переполнения. Если при вычислении возникает переполнение, то программа считается некорректной. В отсутствии переполнения std::ratio_subtract<R1, R2>
будет иметь такие же значения num
и den
, как в конкретизации std::ratio<R1::num * R2::den - R2::num * R1::den, R1::den * R2::den>
.
std::ratio_subtract<std::ratio<1,3>, std::ratio<1,5> >::num == 2
std::ratio_subtract<std::ratio<1,3>, std::ratio<1,5> >::den == 15
std::ratio_subtract<std::ratio<1,3>, std::ratio<7,6> >::num == -5
std::ratio_subtract<std::ratio<1,3>, std::ratio<7,6> >::den == 6
D.6.4. Псевдоним шаблона std::ratio_multiply
Псевдоним шаблона std::ratio_multiply
предоставляет механизм умножения двух значений std::ratio
на этапе компиляции с применением правил арифметических операций с рациональными числами.
template <class R1, class R2>
using ratio_multiply = std::ratio<
R1
и R2
должны быть конкретизациями шаблона std::ratio
.
ratio_multiply<R1, R2>
определяется как псевдоним конкретизации std::ratio
, представляющий произведение дробей, представленных параметрами R1
и R2
, если это произведение можно вычислить без переполнения. Если при вычислении возникает переполнение, то программа считается некорректной. В отсутствии переполнения std::ratio_multiply<R1, R2>
будет иметь такие же значения num
и den
, как в конкретизации std::ratio<R1::num * R2::num, R1::den * R2::den>
.