17 Language support library [support]

17.12 Coroutines [support.coroutine]

17.12.5 No-op coroutines [coroutine.noop]

17.12.5.2 Class coroutine_handle<noop_coroutine_promise> [coroutine.handle.noop]

namespace std { template<> struct coroutine_handle<noop_coroutine_promise> { // [coroutine.handle.noop.conv], conversion constexpr operator coroutine_handle<>() const noexcept; // [coroutine.handle.noop.observers], observers constexpr explicit operator bool() const noexcept; constexpr bool done() const noexcept; // [coroutine.handle.noop.resumption], resumption constexpr void operator()() const noexcept; constexpr void resume() const noexcept; constexpr void destroy() const noexcept; // [coroutine.handle.noop.promise], promise access noop_coroutine_promise& promise() const noexcept; // [coroutine.handle.noop.address], address constexpr void* address() const noexcept; private: coroutine_handle(unspecified); void* ptr; // exposition only }; }

17.12.5.2.1 Conversion [coroutine.handle.noop.conv]

🔗

constexpr operator coroutine_handle<>() const noexcept;

Effects: Equivalent to: return coroutine_handle<>::from_address(address());

17.12.5.2.2 Observers [coroutine.handle.noop.observers]

🔗

constexpr explicit operator bool() const noexcept;

Returns: true.

🔗

constexpr bool done() const noexcept;

Returns: false.

17.12.5.2.3 Resumption [coroutine.handle.noop.resumption]

🔗

constexpr void operator()() const noexcept;
constexpr void resume() const noexcept;
constexpr void destroy() const noexcept;

Effects: None.

Remarks: If noop_coroutine_handle is converted to coroutine_handle<>, calls to operator(), resume and destroy on that handle will also have no observable effects.

17.12.5.2.4 Promise access [coroutine.handle.noop.promise]

🔗

noop_coroutine_promise& promise() const noexcept;

Returns: A reference to the promise object associated with this coroutine handle.

17.12.5.2.5 Address [coroutine.handle.noop.address]

🔗

constexpr void* address() const noexcept;

Returns: ptr.

Remarks: A noop_coroutine_handle's ptr is always a non-null pointer value.