Определение класса
template
class ratio {
public:
typedef ratio type;
static constexpr intmax_t num = см. ниже ;
static constexpr intmax_t den = см. ниже ;
};
Требования
Dне может быть равно нулю.
Описание
numи den— соответственно числитель и знаменатель дроби N/Dпосле сокращения без общих множителей. Значение denвсегда положительно. Если Nи Dодного знака, то numположительно, иначе numотрицательно.
Примеры
ratio<4,6>::num == 2
ratio<4,6>::den == 3
ratio<4,-6>::num == -2
ratio<4,-6>::den == 3
D.6.2. Псевдоним шаблона std::ratio_add
Псевдоним шаблона std::ratio_addпредоставляет механизм сложения двух значений std::ratioна этапе компиляции с применением правил арифметических операций с рациональными числами.
Определение
template
using ratio_add = std::ratio< см. ниже >;
Предусловия
R1и R2должны быть конкретизациями шаблона std::ratio.
Результат
ratio_addопределяется как псевдоним конкретизации std::ratio, представляющий сумму дробей, представленных параметрами R1и R2, если эту сумму можно вычислить без переполнения. Если при вычислении возникает переполнение, то программа считается некорректной. В отсутствии переполнения std::ratio_addбудет иметь такие же значения numи den, как в конкретизации std::ratio.
Примеры
std::ratio_add, std::ratio<2,5> >::num == 11
std::ratio_add, std::ratio<2,5> >::den == 15
std::ratio_add, std::ratio<7,6> >::num == 3
std::ratio_add, std::ratio<7,6> >::den == 2
D.6.3. Псевдоним шаблона std::ratio_subtract
Псевдоним шаблона std::ratio_subtractпредоставляет механизм вычитания двух значений std::ratioна этапе компиляции с применением правил арифметических операций с рациональными числами.
Определение
template
using ratio_subtract = std::ratio<���с м. ниже >;
Предусловия
R1и R2должны быть конкретизациями шаблона std::ratio.
Результат
ratio_subtractопределяется как псевдоним конкретизации std::ratio, представляющий разность дробей, представленных параметрами R1и R2, если эту разность можно вычислить без переполнения. Если при вычислении возникает переполнение, то программа считается некорректной. В отсутствии переполнения std::ratio_subtractбудет иметь такие же значения numи den, как в конкретизации std::ratio.
Примеры
std::ratio_subtract, std::ratio<1,5> >::num == 2
std::ratio_subtract, std::ratio<1,5> >::den == 15
std::ratio_subtract, std::ratio<7,6> >::num == -5
std::ratio_subtract, std::ratio<7,6> >::den == 6
D.6.4. Псевдоним шаблона std::ratio_multiply
Псевдоним шаблона std::ratio_multiplyпредоставляет механизм умножения двух значений std::ratioна этапе компиляции с применением правил арифметических операций с рациональными числами.
Определение
template
using ratio_multiply = std::ratio< см. ниже >;
Предусловия
R1и R2должны быть конкретизациями шаблона std::ratio.
Результат
ratio_multiplyопределяется как псевдоним конкретизации std::ratio, представляющий произведение дробей, представленных параметрами R1и R2, если это произведение можно вычислить без переполнения. Если при вычислении возникает переполнение, то программа считается некорректной. В отсутствии переполнения std::ratio_multiplyбудет иметь такие же значения numи den, как в конкретизации std::ratio.
Примеры
std::ratio_multiply, std::ratio<2,5> >::num == 2
std::ratio_multiply, std::ratio<2,5> >::den == 15
std::ratio_multiply, std::ratio<15,7> >::num == 5
std::ratio_multiply, std::ratio<15,7> >::den == 7
D.6.5. Псевдоним шаблона std::ratio_divide
Псевдоним шаблона std::ratio_divideпредоставляет механизм деления двух значений std::ratioна этапе компиляции с применением правил арифметических операций с рациональными числами.
Определение
template
using ratio_divide = std::ratio< см. ниже >;
Предусловия
R1и R2должны быть конкретизациями шаблона std::ratio.
Результат
ratio_divideопределяется как псевдоним конкретизации std::ratio, представляющий частное дробей, представленных параметрами R1и R2, если это частное можно вычислить без переполнения. Если при вычислении возникает переполнение, то программа считается некорректной. В отсутствии переполнения std::ratio_divideбудет иметь такие же значения numи den, как в конкретизации std::ratio.
Читать дальше