pw::async2::Future Concept Reference

Overview

A Future is an abstract handle to an asynchronous operation that is polled to completion. On completion, futures may return a value representing the result of the operation.

The Future concept describes the future API. All future implementations must satisfy this concept.

Concept definition

template<typename T>
concept pw::async2::Future =  requires {
  
  typename T::value_type;
 
  
  static_cast<bool (T::*)() const>(&T::is_pendable);
 
  
  static_cast<bool (T::*)() const>(&T::is_complete);
 
  
  static_cast<Poll<typename T::value_type> (T::*)(Context&)>(&T::Pend);
 
  
} && std::default_initializable<T> && std::destructible<T> && std::movable<T>