13 Asynchronous model [async]

13.16 Class template executor_work_guard [async.exec.work.guard]

namespace std {
namespace experimental {
namespace net {
inline namespace v1 {

  template<class Executor>
  class executor_work_guard
  {
  public:
    // types:

    using executor_type = Executor;

    // construct / copy / destroy:

    explicit executor_work_guard(const executor_type& ex) noexcept;
    executor_work_guard(const executor_work_guard& other) noexcept;
    executor_work_guard(executor_work_guard&& other) noexcept;

    executor_work_guard& operator=(const executor_work_guard&) = delete;

    ~executor_work_guard();

    // executor work guard observers:

    executor_type get_executor() const noexcept;
    bool owns_work() const noexcept;

    // executor work guard modifiers:

    void reset() noexcept;

  private:
    Executor ex_; // exposition only
    bool owns_; // exposition only
  };

} // inline namespace v1
} // namespace net
} // namespace experimental
} // namespace std

13.16.1 executor_work_guard members [async.exec.work.guard.members]

explicit executor_work_guard(const executor_type& ex) noexcept;

1

Effects: Initializes ex_ with ex, and then performs ex_.on_work_started().

2

Postconditions: ex_ == ex and owns_ == true.

executor_work_guard(const executor_work_guard& other) noexcept;

3

Effects: Initializes ex_ with other.ex_. If other.owns_ == true, performs ex_.on_work_started().

4

Postconditions: ex_ == other.ex_ and owns_ == other.owns_.

executor_work_guard(executor_work_guard&& other) noexcept;

5

Effects: Initializes ex_ with std::move(other.ex_) and initializes owns_ with other.owns_, and sets other.owns_ to false.

~executor_work_guard();

6

Effects: If owns_ is true, performs ex_.on_work_finished().

executor_type get_executor() const noexcept;

7

Returns: ex_.

bool owns_work() const noexcept;

8

Returns: owns_.

void reset() noexcept;

9

Effects: If owns_ is true, performs ex_.on_work_finished().

10

Postconditions: owns_ == false.