std:: ratio

Шаблон класса std::ratio предоставляет поддержку рациональной арифметики на этапе компиляции . Каждая инстанциация этого шаблона точно представляет любое конечное рациональное число при условии, что его числитель Num и знаменатель Denom представимы в виде констант этапа компиляции типа std::intmax_t . Кроме того, Denom не может быть равен нулю, и ни Num , ни Denom не могут быть равны минимальному отрицательному значению.

Статические члены данных num и den , представляющие числитель и знаменатель, вычисляются путём деления Num и Denom на их наибольший общий делитель. Однако два std::ratio с разными Num или Denom являются различными типами, даже если они представляют одно и то же рациональное число (после сокращения). Тип std::ratio может быть приведён к несократимому виду через свой член type : std :: ratio < 3 , 6 > :: type это std :: ratio < 1 , 2 > .

Стандартная библиотека предоставляет следующие удобные определения типов, соответствующие соотношениям СИ:

1. ↑ ^{1.0 1.1 1.2 1.3} Эти typedef объявляются только если std::intmax_t может представить знаменатель.
2. ↑ ^{2.0 2.1 2.2 2.3} Эти typedef объявляются только если std::intmax_t может представить числитель.

Вложенные типы

Члены данных

В приведенных ниже определениях,

• sign ( Denom ) равен - 1 если Denom отрицателен, или 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() {}

Смотрите также