指向lambda的智能指针

Smart pointer to lambda

本文关键字：指针 智能 lambda 指向      更新时间：2023-10-16

我正在尝试创建一个函数，该函数接受指向某个函子的共享指针。使用手工编制的函数没有问题，但使用lambda则有问题。我知道我不能将decltype与lambda一起使用——每个新的lambda声明都会创建一个新的类型。现在我正在写：

auto lambda = [](int a, float b)->int
{
    return 42;
};
using LambdaType = decltype(lambda);
shared_ptr<LambdaType> ptr{ new LambdaType{ lambda } };

它有效，但看起来很难看。此外，还有一个复制构造函数调用！有什么方法可以简化吗？

您可以使用std:：function作为类型。

Lambdas只是自动编写的可调用对象，使简单的代码变得简单。如果您想要超出其默认自动存储行为的内容，请编写他们自己编写的类型。

在未求值的上下文中包含lambda类型是非法的。在经过求值的上下文中，它在自动存储中创建一个lambda。你想把它放在免费商店里。这至少在逻辑上需要一个副本。

一个可怕的黑客攻击涉及违反未评估的上下文规则，sizeof/alignof，aligned_storage_t，placement new，可能是无限制的编译时递归（或者可能是具有static_assert的递归），返回指向局部变量的指针，以及共享ptr的别名构造函数，并要求调用方编写疯狂的代码，这可能会避免调用复制/移动。但这不是一个好主意，简单地使用可调用对象更容易。

当然，接受拷贝/移动会让它变得微不足道。但在这一点上，只需使用std::function，除非您需要类似varargs的东西。

您表示不希望强制用户使用std::function；但是CCD_ 5将隐式地将兼容的lambda转换为其自身。

如果您愿意接受副本，我们可以这样做：

template<class T>
std::shared_ptr<std::decay_t<T>>
auto_shared( T&& t ) {
  return std::make_shared<std::decay_t<T>>(std::forward<T>(t));
}

则CCD_ 6是指向计数lambda的非类型擦除共享指针。lambda被复制（好吧，移动）到共享存储中。

如果你想避免这种复制，客户端可以编写一个手动函数对象，并在上面调用make_shared<X>(ctor_args)

在这一点上，没有合理的方法将lambdas类型与其在C++中的构造分开。

如果您在lambda中捕获了一些东西，它在算法上与std::function相同，所以可以自由使用。此外，std::function实现捕获值内存管理，因此不需要在其上使用std::shared_ptr。

如果什么都没捕获，lambda可以转换为简单的函数指针：

int(*ptr)(int,int) = [](int a, int b) -> int {
    return a+b;
};

函数是静态分配的，绝对不应该被删除。因此，您实际上并不需要std::shared_ptr

相关文章：