std::ratio_greater_equal

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

数值库

常用数学函数

数学特殊函数 (C++17)

数学常数 (C++20)

浮点环境 (C++11)

复数

数值数组

伪随机数生成

编译时有理数算术 (C++11)

因数运算

gcd (C++17)

lcm (C++17)

插值

midpoint (C++20)

lerp (C++20)

泛型数值运算

iota (C++11)

accumulate

inner_product

adjacent_difference

partial_sum

位操作

bit_cast (C++20)

byteswap (C++23)

has_single_bit (C++20)

bit_ceil (C++20)

bit_floor (C++20)

bit_width (C++20)

rotl (C++20)

rotr (C++20)

countl_zero (C++20)

countl_one (C++20)

countr_zero (C++20)

countr_one (C++20)

popcount (C++20)

endian (C++20)

 

编译时有理数算术

ratio (C++11)

算术

ratio_add (C++11)

ratio_subtract (C++11)

ratio_multiply (C++11)

ratio_divide (C++11)

比较

ratio_equal (C++11)

ratio_not_equal (C++11)

ratio_less (C++11)

ratio_less_equal (C++11)

ratio_greater (C++11)

ratio_greater_equal (C++11)

 

定义于头文件 <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