Энтони Уильямс - Параллельное программирование на С++ в действии. Практика разработки многопоточных программ

Определение класса

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

Псевдоним шаблона 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

Псевдоним шаблона 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

Псевдоним шаблона 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

Псевдоним шаблона 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.

Примеры

std::ratio_divide, std::ratio<2,5> >::num == 5

std::ratio_divide, std::ratio<2,5> >::den == 6

std::ratio_divide, std::ratio<15,7> >::num == 7

std::ratio_divide, std::ratio<15,7> >::den == 45

Шаблон класса std::ratio_equalпредоставляет механизм сравнения двух значений std::ratioна этапе компиляции с применением правил арифметических операций с рациональными числами.

Определение класса

template

class ratio_equal:

public std::integral_constant<

bool, (R1::num == R2::num) && (R1::den == R2::den)> {};

Предусловия

R1и R2должны быть конкретизациями шаблона std::ratio.

Примеры

std::ratio_equal, std::ratio<2,6> >::value

== true

std::ratio_equal, std::ratio<1,6> >::value

== false

std::ratio_equal, std::ratio<2,3> >::value

== false

std::ratio_equal, std::ratio<1,3> >::value

== true

Шаблон класса std::ratio_not_equalпредоставляет механизм сравнения двух значений std::ratioна этапе компиляции с применением правил арифметических операций с рациональными числами.

Определение класса

template

class ratio_not_equal:

public std::integral_constant<

bool, !ratio_equal::value> {};

Предусловия

R1и R2должны быть конкретизациями шаблона std::ratio.

Примеры

std::ratio_not_equal<

std::ratio<1,3>, std::ratio<2,6> >::value == false

std::ratio_not_equal<

std::ratio<1,3>, std::ratio<1,6> >::value == true

std::ratio_not_equal<

std::ratio<1,3>, std::ratio<2,3> >::value == true

std::ratio_not_equal<

std::ratio<1,3>, std::ratio<1,3> >::value == false

Шаблон класса std::ratio_lessпредоставляет механизм сравнения двух значений std::ratioна этапе компиляции с применением правил арифметических операций с рациональными числами.

Определение класса

template

class ratio_less:

public std::integral_constantсм. ниже > {};