std::ratio_divide

template< class R1, class R2 >
using ratio_divide = /* see below */;

Шаблон псевдонима std::ratio_divide обозначает результат деления двух точных рациональных дробей, представленных специализациями R1 и R2 шаблона std::ratio.

Результатом является специализация std::ratio<U, V> шаблона std::ratio, такая, что при заданных Num == R1::num * R2::den и Denom == R1::den * R2::num (вычисленных без арифметического переполнения) U равно std::ratio<Num, Denom>::num, а V равно std::ratio<Num, Denom>::den.

Примечания

Если U или V не представимо в std::intmax_t, программа некорректна. Если Num или Denom не представимо в std::intmax_t, программа некорректна, если только реализация не возвращает корректные значения для U и V.

Приведённое выше определение требует, чтобы результат std::ratio_divide<R1, R2> уже был сокращён до несократимого вида; например, std::ratio_divide<std::ratio<1, 12>, std::ratio<1, 6>> является тем же типом, что и std::ratio<1, 2>.

Пример

#include <iostream>
#include <ratio>

int main()
{
    using two_third = std::ratio<2, 3>;
    using one_sixth = std::ratio<1, 6>;
    using quotient = std::ratio_divide<two_third, one_sixth>;
    static_assert(std::ratio_equal_v<quotient, std::ratio<0B100, 0X001>>);
    std::cout << "(2/3) / (1/6) = " << quotient::num << '/' << quotient::den << '\n';
}

(2/3) / (1/6) = 4/1

См. также