std:: ratio_divide

别名模板 std::ratio_divide 表示由 std::ratio 特化 R1 和 R2 所表示的两个精确有理分数相除的结果。

结果是 std::ratio 的特化 std:: ratio < U, V > ，其中给定 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

参见