[thread.thread.constr] (original) (raw)

32 Concurrency support library [thread]

32.4 Threads [thread.threads]

32.4.3 Class thread [thread.thread.class]

32.4.3.3 Constructors [thread.thread.constr]

Effects: The object does not represent a thread of execution.

Postconditions: get_id() == id().

template<class F, class... Args> explicit thread(F&& f, Args&&... args);

Constraints: remove_cvref_t<F> is not the same type as thread.

Mandates: The following are all true:

• is_constructible_v<decay_t<F>, F>,
• (is_constructible_v<decay_t<Args>, Args> && ...), and
• is_invocable_v<decay_t<F>, decay_t<Args>...>.

Effects: The new thread of execution executesinvoke(auto(std::forward<F>(f)), auto(std::forward<Args>(args))...) with the values produced by autobeing materialized ([conv.rval]) in the constructing thread.

Any return value from this invocation is ignored.

[Note 1:

This implies that any exceptions not thrown from the invocation of the copy of f will be thrown in the constructing thread, not the new thread.

— _end note_]

If the invocation of invoke terminates with an uncaught exception,terminate is invoked ([except.terminate]).

Synchronization: The completion of the invocation of the constructor synchronizes with the beginning of the invocation of the copy of f.

Postconditions: get_id() != id().

*this represents the newly started thread.

Throws: system_error if unable to start the new thread.

Error conditions:

• resource_unavailable_try_again — the system lacked the necessary resources to create another thread, or the system-imposed limit on the number of threads in a process would be exceeded.

thread(thread&& x) noexcept;

Postconditions: x.get_id() == id() and get_id() returns the value of x.get_id() prior to the start of construction.