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>.
Примеры
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