# std::ratio_greater_equal

< cpp‎ | numeric‎ | ratio

定义于头文件 `<ratio>` |  |
template< class R1, class R2 > struct ratio_greater_equal : std::integral_constant<bool, /* see below */> { }; |  | (C++11 起)

若比例 `R1` 大于或等于比例 `R2` ，则提供等于 true 的成员常量 `value` 。否则 `value` 等于 false 。

### 辅助变量模板

template< class R1, class R2 > inline constexpr bool ratio_greater_equal_v = ratio_greater_equal<R1, R2>::value; |  | (C++17 起)

## 继承自 std::integral_constant

### 成员常量

value [静态] | 若 R1::num * R2::den >= R2::num * R1::den 或避免溢出的等价表达式成立，则为 true ，否则为 false (公开静态成员常量)

### 成员函数

operator bool | 转换对象为 bool ，返回 `value` (公开成员函数)
operator() (C++14) | 返回 `value` (公开成员函数)

### 成员类型

类型 | 定义
`value_type` | `bool`
`type` | std::integral_constant<bool, value>

### 示例

    #include <ratio>
    #include <iostream>

    auto main() -> int
    {
        static_assert(std::ratio_greater_equal<
            std::ratio<2, 3>,
            std::ratio<2, 3>>::value, "2/3 >= 2/3");

        if (std::ratio_greater_equal<
            std::ratio<2,1>, std::ratio<1, 2>>::value) {
            std::cout << "2/1 >= 1/2" "\n";
        }

        if (std::ratio_greater_equal<
            std::ratio<1,2>, std::ratio<1, 2>>::value) {
            std::cout << "1/2 >= 1/2" "\n";
        }

        // C++17 起
        static_assert(std::ratio_greater_equal_v<
            std::ratio<999'999, 1'000'000>,
            std::ratio<999'998, 999'999>> );

        if constexpr (std::ratio_greater_equal_v<
            std::ratio<999'999, 1'000'000>,
            std::ratio<999'998, 999'999>>) {
            std::cout << "999'999/1'000'000 >= 999'998/999'999" "\n";
        }
        if constexpr (std::ratio_greater_equal_v<
            std::ratio<999'999, 1'000'000>,
            std::ratio<999'999, 1'000'000>>) {
            std::cout << "999'999/1'000'000 >= 999'999/1'000'000" "\n";
        }
    }

输出：

    2/1 >= 1/2
    1/2 >= 1/2
    999'999/1'000'000 >= 999'998/999'999
    999'999/1'000'000 >= 999'999/1'000'000

### 参阅