D.6.2. Псевдоним шаблона std::ratio_add

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

Определение

template <class R1, class R2>

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

Предусловия

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

Результат

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