#### post (2 of 3 overloads)

Submits a completion token or function object for execution.

    template<
        typename Executor,
        typename CompletionToken = DEFAULT>
    DEDUCED post(
        const Executor & ex,
        CompletionToken && token = DEFAULT,
        typename enable_if< execution::is_executor< Executor >::value||is_executor< Executor >::value >::type *  = 0);

This function submits an object for execution using the specified executor. The function object is queued for execution, and is never called from the current thread prior to returning from `post()`.

The use of `post()`, rather than `defer` , indicates the caller's preference that the function object be eagerly queued for execution.

This function has the following effects:

- Constructs a function object handler of type `Handler`, initialized with `handler(forward<CompletionToken>(token))`.
- Constructs an object `result` of type `async_result<Handler>`, initializing the object as `result(handler)`.
- Obtains the handler's associated executor object `ex1` by performing `get_associated_executor(handler)`.
- Creates a work object `w` by performing `make_work(ex1)`.
- Obtains the handler's associated allocator object `alloc` by performing `get_associated_allocator(handler)`.
- Constructs a function object `f` with a function call operator that performs `ex1.dispatch(std::move(handler), alloc)` followed by `w.reset()`.
- Performs `Executor(ex).post(std::move(f), alloc)`.
- Returns `result.get()`.