`std :: future :: then`会分配内存吗？自定义分配器可能吗？

Question

std::promise有constructor，用于分配用于存储共享状态的内存。在我到目前为止看到的.then的实现中，一个以类型擦除方式存储函数，类似于共享状态中的std::function 。 stlab的Concurrency库甚至可以放一个

using then_t = std::vector<std::pair<executor_t, task<void()>>>;

进入共享状态（启用可拆分期货）。

是否有意指定是否可以为延期指定分配器？

在P0443R3中他们在1.2.9属性中说自定义内存分配

  

执行程序实现应使用提供的分配器进行分配   存储提交的函数对象所需的任何内存。

我认为这仅表示通过execute函数提交的代理的存储，而不是 std::future共享状态中指针的存储。

我查看了最近的期货或执行人提案，我找不到任何东西。最近的论文似乎倾向于将执行者置于未来的共享状态。如果执行者有一个关联的自定义分配器，是否应该使用它？

我觉得我错过了什么。

-

编辑：我更多地想到这一点，我想我可以理解为什么人们想要留下这个未指明的内容。如果期货由执行者进行参​​数化，那么它们的共享状态可能看起来像这样

template <typename Executor, typename T>
struct shared_state_t {
    // some prevention from race condition, for example
    std::atomic<unsigned> flags;
    // some sort of exception or value representation, for example
    std::variant<std::exception_ptr, T> maybe_value;
    // some handle to continuation
    continuation_t<Executor, T> continuation;
};

其中continuation_t<Executor, T>不需要分配内存。它可以是指向一个执行者Executor的内部执行代理的指针，或者是std::function<void(T&&)>的另一个执行者的指针。