33 Thread support library [thread]

33.3 Threads [thread.threads]

33.3.2 Class thread [thread.thread.class]

33.3.2.5 thread members [thread.thread.member]

void swap(thread& x) noexcept;

Effects: Swaps the state of *this and x.

bool joinable() const noexcept;

Returns: get_­id() != id().

void join();

Effects:  Blocks until the thread represented by *this has completed.

Synchronization: The completion of the thread represented by *this synchronizes with the corresponding successful join() return. [Note: Operations on *this are not synchronized. end note]

Postconditions: The thread represented by *this has completed. get_­id() == id().

Throws: system_­error when an exception is required ([thread.req.exception]).

Error conditions:

  • resource_­deadlock_­would_­occur — if deadlock is detected or get_­id() == this_­thread​::​​get_­id().

  • no_­such_­process — if the thread is not valid.

  • invalid_­argument — if the thread is not joinable.

void detach();

Effects: The thread represented by *this continues execution without the calling thread blocking. When detach() returns, *this no longer represents the possibly continuing thread of execution. When the thread previously represented by *this ends execution, the implementation shall release any owned resources.

Postconditions: get_­id() == id().

Throws: system_­error when an exception is required ([thread.req.exception]).

Error conditions:

  • no_­such_­process — if the thread is not valid.

  • invalid_­argument — if the thread is not joinable.

id get_id() const noexcept;

Returns: A default constructed id object if *this does not represent a thread, otherwise this_­thread​::​get_­id() for the thread of execution represented by *this.