std::ratio_subtract

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

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

Результат является специализацией std::ratio std::ratio<U, V>, такой, что при заданных Num == R1::num * R2::den - R2::num * R1::den и 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_subtract<R1, R2> уже сокращён до наименьших членов; например, std::ratio_subtract<std::ratio<1, 2>, std::ratio<1, 6>> имеет тот же тип, что и std::ratio<1, 3>.

Пример

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

2/3 - 1/6 = 1/2

См. также