C++ 指向lambda的智能指针

我试图创建一个函数，它接受指向某个函子的共享指针。使用手工制作的函子没有问题，但是使用lambda就有问题。我知道我不能对lambda使用

decltype

——每个新的lambda声明都会创建一个新类型。现在我在写：

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

shared_ptr<LambdaType> ptr{ new LambdaType{ lambda } };

auto lambda=[]（整数a，浮点b）->整数
{
返回42；
};
使用LambdaType=decltype（lambda）；
共享_ptr ptr{new LambdaType{lambda}}；

---

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

可以用作类型。

可以用作类型。

lambda仅仅是自动编写的可调用对象，用于简化简单代码。如果您想要超出默认自动存储行为的内容，请编写他们自己编写的类型

在未计算的上下文中使用lambda类型是非法的。在已评估的上下文中，它在自动存储中创建lambda。你想在免费商店买到它。这至少在逻辑上需要一个副本

这是一个可怕的黑客攻击，涉及违反未计算的上下文规则、sizeof/alignof、aligned\u storage\t、placement new、可能无限的编译时递归（或者可能是带有

静态断言的递归）、返回局部变量的指针以及共享ptr的别名构造函数，要求调用方编写疯狂的代码可能会避免调用复制/移动。但这不是一个好主意，简单地使用可调用对象更容易

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

您声明不想强制用户使用
std:：function
；但是
std:：function
会隐式地将兼容的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));
}

模板
std:：共享的ptr
自动共享（T&T）{
返回std:：make_shared（std:：forward（t））；
}

然后
autoptr=auto_共享（[x=0]（）可变{return x++；}）是指向计数λ的非类型擦除共享指针。lambda被复制（也就是移动）到共享存储中

如果要避免该复制，客户端可以编写一个手动函数对象，并对其调用
make\u shared（ctor\u args）

在C++中，没有一种合理的方法来分离lambdas类型与其构造。
 lambdas只是自动编写的可调用对象，使简单代码简单。如果您想要超出默认自动存储行为的内容，请编写他们自己编写的类型

在未计算的上下文中使用lambda类型是非法的。在已评估的上下文中，它在自动存储中创建lambda。你想在免费商店买到它。这至少在逻辑上需要一个副本

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

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

您声明不想强制用户使用
std:：function
；但是
std:：function
会隐式地将兼容的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));
}

模板
std:：共享的ptr
自动共享（T&T）{
返回std:：make_shared（std:：forward（t））；
}

然后
autoptr=auto_共享（[x=0]（）可变{return x++；}）是指向计数λ的非类型擦除共享指针。lambda被复制（也就是移动）到共享存储中

如果要避免该复制，客户端可以编写一个手动函数对象，并对其调用
make\u shared（ctor\u args）

在C++中，没有一种合理的方法将lambdas类型与其构造分开。
 如果在lambda中捕获了一些东西，它就变成了与<>代码> STD::函数< /C> >的算法，因此可以自由使用。另外，
std:：function
实现捕获值内存管理，因此不需要在其上使用
std:：shared_ptr

如果未捕获任何内容，lambda可转换为简单函数指针：

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

函数是静态分配的，绝对不应该删除。因此，您实际上不需要
std:：shared\u ptr
如果您在lambda中捕获某些内容，它在算法上与
std:：function
相同，因此可以自由使用它。另外，
std:：function
实现捕获值内存管理，因此不需要在其上使用
std:：shared_ptr

如果未捕获任何内容，lambda可转换为简单函数指针：

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

函数是静态分配的，绝对不应该删除。所以，您实际上不需要
std:：shared\u ptr
是的，我知道。正如我写的，“普通”函子没有问题。但是lambda有点不同。并且
std:：function
创建了一个更高级别的间接寻址。您需要间接寻址来进行类型擦除，并且需要类型擦除来隐藏lambda的特殊类型。所以，你不会比
std:：function
做得更好，它对lambda和functor都同样有效。是的，我知道。正如我写的，“普通”函子没有问题。但是lambda有点不同。并且
std:：function
创建了一个更高级别的间接寻址。您需要间接寻址来进行类型擦除，并且需要类型擦除来隐藏lambda的特殊类型。因此，您不会比
std:：function
做得更好，它对lambda和functor都同样有效