c++ - 如何存储多态闭包？

Question

C++1y 提供多态 lambda(即使用 auto 作为参数类型的一部分):

int         f(int);
double      f(double);
std::string f(const std::string&);

auto funcObj = [](const auto& param){ return f(param); }

存储 lambda 生成的闭包很容易，如图所示:只需使用 auto 变量即可。但假设我想创建此类对象的 vector。 vector 包含什么类型？通常的答案是使用 std::function，但这在这种情况下不起作用，因为据我所知，没有多态 std::function 这样的东西>，也就是说，这在 C++1y 中是不合法的:

std::vector<std::function<auto(const auto&)>> vecOfPolymorphicClosures;

如果这是合法的，那么您可以做一些事情，比如创建一个回调容器，每个回调都可以用任何一组参数调用，每个回调都可以返回一个类型，该类型取决于传递的参数的类型。至少在理论上，任何给定回调的结果都可以存储在 auto 变量中。

两个问题:

• 在 C++1y 中有没有一种方法可以声明一个变量或容器来容纳不同类型的多态 lambda(除了 boost::any 之类的东西)？
• 希望这样的事情成为可能是否合理，或者这种事情是否与静态类型不兼容？

Answer 1

没有。也许吧。

对于您的特定情况，您的 lambda 只是单个函数的覆盖集 f在实例化时已知。可以通过类型删除创建和传递重写集对象，没有太大问题。您只需要手动枚举覆盖并将其提供给覆盖集。

因此，如果您的目标只是拥有一个作为 f 的覆盖集的对象，是的，你可以做到这一点。参见 "Manual" signature overload resolution -- 在此困惑之上添加一些类型删除，bob 就是你的叔叔。

一般情况下，您有一些 auto带有任意代码的 lambda，不。

设想这个问题的方法是想象一个用你的 lambda 编译的 DLL 或共享库，第二个 DLL 或共享库持有 function例如对象，以及其他一些想要调用它的 DLL 或共享库。

调用 function 时发生的行为取决于 lambda 的定义和您想在任意程度上调用它的类型。

为了让它工作，一个几乎完整的运行时编译模型必须在创建 lambda 的 DLL 和调用它的类型的 DLL 中可用，并且该运行时编译模型将必须兼容。

这既不是 C++ 标准所要求的，又会使事情变得更加复杂，并且会消除优化机会。

现在，并非一切都没有希望。

如果有一些你想支持的固定类型列表，一个多态的function可以写签名。这基本上是上面“覆盖集”解决方案的一个特例，甚至可以使用它来编写。

另一方面，如果您愿意键入删除 lambda 参数的属性，然后键入删除，并返回一些统一类型(可能是 boost::any 或 boost::variant 或其他)，您可以这样做某物。您编写了一个类型删除对象类型，并将其公开。然后你有一个std::function< boost::any(type_erasure_object) > ，并且转换发生在调用之外，并且在您处理所述类型删除对象的调用中。

使用类型删除对象选择重载很棘手，因为 C++ 编译器无法帮助您生成要考虑的重载列表。如果您手动收集该列表，您甚至可以键入删除您将选择的过载。

把它拉下来是可能的，但我以前没有写过。对此的替代方案要容易得多。

我不考虑类型删除的情况来解决这个问题，因为它会阻止某些类型的优化。但从理论上讲，这意味着您可以使用几乎任意类型。

类型删除对象必须向最终用户公开，并且它必须删除您向 std::vector 中插入的每个 lambda 的类型信息。需要知道。因此，这可以显着限制您在 std::vector 中存储的 lambda。在某些情况下。

有关如何对几乎任意对象进行类型删除的示例，请查看提升类型删除。

最后，您所要求的很少是问题的实际要求。您最好描述您的实际问题，几乎可以肯定，该问题的解决方案并不像上述那些问题那么深奥。