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

Примеры

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см. ниже > {};

Предусловия

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

Результат

std::ratio_lessнаследует шаблону std::integral_constant, где value— это (R1::num*R2::den) < (R2::num*R1::den). Если возможно, реализация должна использовать такой метод вычисления результата, при котором не возникает переполнения. Если при вычислении возникает переполнение, то программа считается некорректной.

Примеры

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

== false

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

== true

std::ratio_less<

std::ratio<999999999,1000000000>,

std::ratio<1000000001,1000000000> >::value == true

std::ratio_less<

std::ratio<1000000001,1000000000>,

std::ratio<999999999,1000000000> >::value == false

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

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

template

class ratio_greater:

public std::integral_constant<

bool, ratio_less::value> {};

Предусловия

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

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

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

template

class ratio_less_equal:

public std::integral_constant<

bool, !ratio_less::value> {};

Предусловия

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

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

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

template

class ratio_greater_equal:

public std::integral_constant<

bool, !ratio_less::value> {};

Предусловия

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

В заголовке объявлены средства для идентификации и управления потоками, а также функции для приостановки потоков.

Содержимое заголовка

namespace std {

class thread;

namespace this_thread {

thread::id get_id() noexcept;

void yield() noexcept;