13 Asynchronous model [async]

13.25 Class template strand [async.strand]

13.25.1 strand constructors [async.strand.cons]

strand();

1

Effects: Constructs an object of class strand<Executor> that represents a unique ordered, non-concurrent state. Initializes inner_ex_ as inner_ex_().

2

Remarks: This overload shall not participate in overload resolution unless Executor satisfies the DefaultConstructible requirements (C++ 2014 [defaultconstructible]).

explicit strand(Executor ex);

3

Effects: Constructs an object of class strand<Executor> that represents a unique ordered, non-concurrent state. Initializes inner_ex_ as inner_ex_(ex).

template<class ProtoAllocator> strand(allocator_arg_t, const ProtoAllocator& a, Executor ex);

4

Effects: Constructs an object of class strand<Executor> that represents a unique ordered, non-concurrent state. Initializes inner_ex_ as inner_ex_(ex). A copy of the allocator argument a is used to allocate memory, if necessary, for the internal data structures of the constructed strand object.

strand(const strand& other) noexcept;

5

Effects: Initializes inner_ex_ as inner_ex_(other.inner_ex_).

6

Postconditions:

  • (6.1)

    *this == other

  • (6.2)

    get_inner_executor() == other.get_inner_executor()

strand(strand&& other) noexcept;

7

Effects: Initializes inner_ex_ as inner_ex_(std::move(other.inner_ex_)).

8

Postconditions:

  • (8.1)

    *this is equal to the prior value of other

  • (8.2)

    get_inner_executor() == other.get_inner_executor()

template<class OtherExecutor> strand(const strand<OtherExecutor>& other) noexcept;

9

Requires: OtherExecutor is convertible to Executor.

10

Effects: Initializes inner_ex_ as inner_ex_(other.inner_ex_).

11

Postconditions: *this == other.

template<class OtherExecutor> strand(strand<OtherExecutor>&& other) noexcept;

12

Requires: OtherExecutor is convertible to Executor.

13

Effects: Initializes inner_ex_ as inner_ex_(std::move(other.inner_ex_)).

14

Postconditions: *this is equal to the prior value of other.