std::ratio_multiply

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

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

Результат является специализацией std::ratio std::ratio<U, V>, такая, что при заданных значениях Num == R1::num * R2::num и Denom == R1::den * R2::den (вычисленных без арифметического переполнения), 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_multiply<R1, R2> был уже приведен к наименьшим членам; например, std::ratio_multiply<std::ratio<1, 6>, std::ratio<4, 5>> является тем же типом, что и std::ratio<2, 15>.

Пример

#include <iostream>
#include <ratio>
 
int main()
{
    using two_third = std::ratio<2, 3>;
    using one_sixth = std::ratio<1, 6>;
    using product = std::ratio_multiply<two_third, one_sixth>;
    static_assert(std::ratio_equal_v<product, std::ratio<13, 117>>);
    std::cout << "2/3 * 1/6 = " << product::num << '/' << product::den << '\n';
}

2/3 * 1/6 = 1/9

См. также