std::ratio_greater_equal

Определено в заголовке `<ratio>`
template< class R1, class R2 > struct ratio_greater_equal : std::integral_constant<bool, /* see below */> { };		(с C++11)

Если отношение R1 больше или равно отношению R2, предоставляет член-константу value, равную true. В противном случае, 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

[статический]

true если R1::num * R2::den >= R2::num * R1::den, или эквивалентное выражение, которое избегает переполнения, false в противном случае
(публичная статическая константа-член)

Члены-функции

operator bool	преобразует объект в bool, возвращает `value` (публичная функция-член)
operator() (C++14)	возвращает `value` (публичная функция-член)

Типы членов

Тип	Определение
`value_type`	bool
`type`	std::integral_constant<bool, value>

Пример

#include <iostream>
#include <ratio>
 
int main()
{
    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";
 
    // Since 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

См. также

ratio_equal (C++11)	сравнивает два объекта `ratio` на равенство во время компиляции (шаблон класса)
ratio_less (C++11)	сравнивает два объекта `ratio` на меньше чем во время компиляции (шаблон класса)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/numeric/ratio/ratio_greater_equal