13 Asynchronous model [async]

13.25 Class template strand [async.strand]

13.25.2 strand assignment [async.strand.assign]

strand& operator=(const strand& other) noexcept;

1

Requires: Executor is CopyAssignable (C++ 2014 [copyassignable]).

2

Postconditions:

  • (2.1)

    *this == other

  • (2.2)

    get_inner_executor() == other.get_inner_executor()

3

Returns: *this.

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

4

Requires: Executor is MoveAssignable (C++ 2014 [moveassignable]).

5

Postconditions:

  • (5.1)

    *this is equal to the prior value of other

  • (5.2)

    get_inner_executor() == other.get_inner_executor()

6

Returns: *this.

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

7

Requires: OtherExecutor is convertible to Executor. Executor is CopyAssignable (C++ 2014 [copyassignable]).

8

Effects: Assigns other.inner_ex_ to inner_ex_.

9

Postconditions: *this == other.

10

Returns: *this.

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

11

Requires: OtherExecutor is convertible to Executor. Executor is MoveAssignable (C++ 2014 [moveassignable]).

12

Effects: Assigns std::move(other.inner_ex_) to inner_ex_.

13

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

14

Returns: *this.