std::ratio_subtract

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

Шаблон псевдонима std::ratio_subtract обозначает результат вычитания двух точных рациональных дробей, представленных специализациями std::ratio R1 и 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

См. также