15 Timers [timer]

15.4 Class template basic_waitable_timer [timer.waitable]

15.4.1 basic_waitable_timer constructors [timer.waitable.cons]

explicit basic_waitable_timer(io_context& ctx);

1

Effects: Equivalent to basic_waitable_timer(ctx, time_point()).

basic_waitable_timer(io_context& ctx, const time_point& t);

2

Postconditions:

  • (2.1)

    get_executor() == ctx.get_executor().

  • (2.2)

    expiry() == t.

basic_waitable_timer(io_context& ctx, const duration& d);

3

Effects: Sets the expiry time as if by calling expires_after(d).

4

Postconditions: get_executor() == ctx.get_executor().

basic_waitable_timer(basic_waitable_timer&& rhs);

5

Effects: Move constructs an object of class basic_waitable_timer<Clock, WaitTraits> that refers to the state originally represented by rhs.

6

Postconditions:

  • (6.1)

    get_executor() == rhs.get_executor().

  • (6.2)

    expiry() returns the same value as rhs.expiry() prior to the constructor invocation.

  • (6.3)

    rhs.expiry() == time_point().