std:: ratio

类模板 std::ratio 提供 编译期有理数运算 支持。只要其分子 Num 和分母 Denom 可表示为类型 std::intmax_t 的编译期常量，该模板的每个实例化都能精确表示任意有限有理数。此外， Denom 不可为零，且 Num 和 Denom 均不能等于其类型的最小负值。

表示分子和分母的静态数据成员 num 与 den 通过将 Num 和 Denom 除以其最大公约数计算得出。然而，两个具有不同 Num 或 Denom 的 std::ratio 属于不同类型，即使它们表示相同的有理数（约分后）。可通过 type 成员将 std::ratio 类型约分至最简形式： std :: ratio < 3 , 6 > :: type 即 std :: ratio < 1 , 2 > 。

标准库提供了以下与SI比率对应的便捷类型定义：

1. ↑ ^{1.0 1.1 1.2 1.3} 这些类型定义仅在 std::intmax_t 能够表示分母时声明。
2. ↑ ^{2.0 2.1 2.2 2.3} 这些类型定义仅在 std::intmax_t 能够表示分子时声明。

嵌套类型

数据成员

在以下定义中，

• sign ( Denom ) 在 Denom 为负数时等于 - 1 ，否则等于 1 ；且
• gcd ( Num, Denom ) 是 std :: abs ( Num ) 与 std :: abs ( Denom ) 的最大公约数。

注释

示例

#include <ratio>
static_assert
(
    std::ratio_equal_v<std::ratio_multiply<std::femto, std::exa>, std::kilo>
);
int main() {}

参见