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

thread(thread&& other) noexcept;

Результат

Конструирует экземпляр std::thread. Если с объектом otherперед вызовом конструктора был ассоциирован поток выполнения, то теперь этот поток оказывается ассоциирован с вновь созданным объектом std::thread. В противном случае с вновь созданным объектом std::thread не ассоциирован никакой поток.

Постусловия

Для вновь сконструированного объекта xтипа std::thread x.get_id()равно значению other.get_id()до вызова конструктора, other.get_id() == id().

Исключения

Нет.

Примечание. Объекты std::threadне удовлетворяют требованиям концепции CopyConstructible, поэтому копирующего конструктора не существует, существует только этот перемещающий конструктор.

STD::THREAD , ДЕСТРУКТОР

Уничтожает объект std::thread.

Объявление

~thread();

Результат

Уничтожает *this. Если с *thisассоциирован поток выполнения ( this->joinable()возвращает true), то вызывает std::terminate(), то есть аварийно завершает программу.

Исключения

Нет.

STD::THREAD , ПЕРЕМЕЩАЮЩИЙ ОПЕРАТОР ПРИСВАИВАНИЯ

Передает владение потоком выполнения от одного объекта std::threadдругому.

Объявление

thread& operator=(thread&& other) noexcept;

Результат

Если до вызова этого оператора this->joinable()возвращала true, то вызывает std::terminate()для аварийного завершения программы. Если с otherдо вызова оператора был ассоциирован поток выполнения, то после вызова он оказывается ассоциирован с *this. В противном случае с *thisне ассоциирован никакой поток выполнения.

Постусловия

this->get_id()равно значению other.get_id()до вызова конструктора. other.get_id() == id().

Исключения

Нет.

Примечание. Объекты std::threadне удовлетворяют требованиям концепции CopyAssignable, поэтому копирующего оператора присваивания не существует, существует только этот перемещающий оператор присваивания.

STD::THREAD::SWAP , ФУНКЦИЯ-ЧЛЕН

Обменивает владение ассоциированными потоками выполнения между двумя объектами std::thread.

Объявление

void swap(thread& other) noexcept;

Результат

Если с otherдо вызова функции был ассоциирован поток выполнения, то после вызова он оказывается ассоциирован с *this. В противном случае с *thisне ассоциирован никакой поток выполнения. Если с *thisдо вызова функции был ассоциирован поток выполнения, то после вызова он оказывается ассоциирован с other. В противном случае с otherне ассоциирован никакой поток выполнения.

Постусловия

this->get_id()равно значению other.get_id()до вызова функции. other.get_id()равно значению this->get_id()до вызова функции.

Исключения

Нет.

STD::THREAD::SWAP , ФУНКЦИЯ, НЕ ЯВЛЯЮЩАЯСЯ ЧЛЕНОМ КЛАССА

Обменивает владение ассоциированными потоками выполнения между двумя объектами std::thread.

Объявление

void swap(thread& lhs, thread& rhs) noexcept;

Результат

lhs.swap(rhs)

Исключения

Нет.

STD::THREAD::JOINABLE , ФУНКЦИЯ-ЧЛЕН

Опрашивает, ассоциирован ли с *thisпоток выполнения.

Объявление

bool joinable() const noexcept;

Возвращаемое значение

true, если с *thisассоциирован поток выполнения, иначе false.

Исключения

Нет.

STD::THREAD::JOIN , ФУНКЦИЯ-ЧЛЕН

Ожидает завершения потока выполнения, ассоциированного с *this.

Объявление

void jоin();

Предусловия

this->joinable()должна возвращать true.

Результат

Блокирует текущий поток, пока не завершится поток, ассоциированный с *this.

Постусловия

this->get_id() == id(). Поток выполнения, который был ассоциирован с *thisдо вызова этой функции, завершился.

Синхронизация

Завершение потока выполнения, который был ассоциирован с *thisдо вызова этой функции, происходит-раньше возврата из jоin().

Исключения

std::system_error, если требуемого эффекта добиться не удалось или если this->joinable()возвращает false.

STD::THREAD::DETACH , ФУНКЦИЯ-ЧЛЕН

Отсоединяет поток выполнения, ассоциированный с *this.

Объявление

void detach();

Предусловия