std::async的非阻塞调用：这个版本有多危险？

前段时间我正在寻找一种std::async无需存储即可调用的方法std::future，从而不会在作用域末尾阻塞执行。我发现这个答案使用捕获std::shared_ptr的std::future，因此允许对 进行非阻塞调用std::async。

推迟析构函数调用的另一种方法是完全阻止它被调用。这可以通过就地构造来实现operator new。

考虑使用静态线程本地存储进行就地构造的这个版本std::future<void>：

template <class F>
void call_async(F&& fun) {
    thread_local uint8_t buf[sizeof(std::future<void>)] = {0};
    auto fut = new(buf) std::future<void>();
    *fut = std::async(std::launch::async, [fun]() {
        fun();
    });
}

这个版本不会产生任何与堆分配相关的开销，但它似乎非常非法，虽然我不确定为什么特别。

我知道在构造对象之前使用它是 UB，但事实并非如此。我不确定为什么delete在这种情况下不调用会在 UB 中解决（对于堆分配，它不是 UB）。

我看到的可能问题：

• 多次调用一个对象的构造函数
• 修改状态时的竞争条件（std::promise我想是内部的）

https://ideone.com/C44cfe

更新

每次调用移动分配时，直接在静态存储中构造一个对象（如 IlCapitano 所述）将阻塞（共享状态将被破坏，阻塞已删除对它的最后一个引用的线程）。

由于未释放对共享状态的引用，不调用析构函数会导致泄漏。