Description

Concept that is satisfied when a processor handles flushing.

Determines whether the processor Proc handles flush() (which all processors should).

If flush() exists but has a return type other than void, the concept is not satisfied.

Note: A satisfied concept indicates that Proc handles flush() provided that Proc and Proc::flush() can be instantiated (if Proc is a template class). It is possible that instantiation will fail (due to static_assert failures or other issues) even if the concept is satisfied.

Concept definition

template<typename Proc>
concept flushable = requires(Proc &p) {
    { p.flush() } -> std::same_as<void>;
}