反转类型擦除，即事后取回类型

我有一个相当通用的工作队列。它需要一些std::function<void(void)>并在 N 个工作线程上执行它们。闭合+类型擦除效果很好。

但是，现在我希望函数"返回"某种状态，并且我希望队列对类型可能一无所知。为此，我正在考虑使用队列

std::function <std::function<void(void)>(void)>

如果我能保持语法直截了当，这是一个采用 void 并返回一个采用 void 并返回 void 的函数。这个想法是添加第二个工作队列以返回任务执行的结果。

但这并不能严格解决问题 - 然后我可以调用返回的值，但这显然不允许我检索状态。

any，它似乎没有告诉我包含的类型是什么，或者 boost：：variant 这意味着为任务库提供所有可能的返回类型的列表。两者似乎都不理想。

我想做的是对在函子中解释函数调用结果所需的信息进行编码，但我没有看到实现这一点的干净方法。将 execute（） 和 extract（） 方法捆绑到单个 void（void） 函子中超出了我的狡猾范围。

另一种解决方法是异构工作队列，但这样的事情在C++中编写也很痛苦。我感到乐观的是，有一种惯用的解决方案可以获取执行类型擦除代码产生的未知类型，但猜测搜索关键字对我来说并不顺利。如能提供指导，将不胜感激。

edit：应用程序代码的预期工作流的大纲，不同于工作队列/线程池层

1. 构造一个或多个要异步执行的任务
2. 将任务打包为std::function</*consistent type*/>
3. 推送到库提供的队列
4. 做一些其他的事情一段时间
5. 从队列中检索某种不透明类型
6. 将此不透明类型传递给函数，该函数可以计算出它的实际含义
7. 从这里开始一切都很好

编辑：如评论中所建议的，类型擦除是双向的。设泛型函子为：

struct functor 
{
  typedef std::function<void(void)> functype;
  functype async;
  functype result;
};

然后使用 queue<functor> 实例进行发送和接收。异步在远程线程上运行。当函子实例返回时，我们不知道它代表什么，但是 result（） 成员确实可以执行任何被认为是合理的下一步。这可能就足够了。