search

executors / futures

A proposal for a futures programming model for ISO C++
22 stars 7 forks source link

proper type erasure for `*_promise_contract_t` #97

Closed dhollman closed 6 years ago

dhollman commented 6 years ago

In order to properly type-erase the executor in the second part of the promise contract return, invocation of then_execute on the type-erased executor needs to be part of that type's interface (i.e., the executor and the future token or whatever need to be type-erased at the same time). Including this in the interface for the promise contract also has the advantage that we no longer have to add the promise contract to the requirements for ThenExecutor

LeeHowes commented 6 years ago

David, is #96 and our discussion yesterday enough to satisfy you and close this issue or is there something further we need to discuss?

dhollman commented 6 years ago

Yes, I think so.

LeeHowes commented 6 years ago

Wonderful. Closing issues makes me happy.