无法将智能 ptr 移动到 std::function

Question

我想创建一个std::function，将auto_ptr/unique_ptr 捕获到但无法正确执行。我需要一个适用于 c++11 的解决方案，但我什至不知道如何在 c++14 上做到这一点

以下示例适用于 c++11 (IncByTwenty) abd c++14 (IncByThirty)。但是，当我将那些 auto 更改为 Func 时，它不再编译。

typedef std::function<int( int )> Func;
Func IncByTen = std::bind( []( const int& p, int t ) -> int
{
    return p + t;  
}, 10, std::placeholders::_1 );

std::unique_ptr< int > pTwenty(new int(20));
// should have work in c++11 i think? cant assign to Func type
auto IncByTwenty = std::bind( []( const std::unique_ptr< int >& p, int t ) -> int
{
    return ( *p ) + t;  
}, std::move( pTwenty ), std::placeholders::_1 );

std::unique_ptr< int > pThirty = std::make_unique< int >( 30 );
// c++14  cant assign to Func type
auto IncByThirty  = [p{std::move(pThirty) }]( int t ) -> int
{
    return ( *p ) + t;  
};

std::cout << IncByTen(3) << " "  << IncByTwenty(4) << " " << IncByThirty(5);

我做错了吗？否则，我需要创建可分配给std::function 的东西，并且它需要使用移动运算符捕获一些局部变量。有什么建议吗？

Answer 1

无法将 [std::unique_ptr] 移动到 std::function

您不能，因为std::unique_ptr 不可复制。 （否则它不可能是唯一的）。 std::function 要求函数对象是可复制的。

有人提议为不可复制（特别是只能移动）函数对象添加函数包装器：P0228rX，但这样的提议还不是语言的一部分。

Answer 2

由于std::function是一个可复制类型的擦除容器，它只能包含可复制类型。

std::function documentation 声明它需要这个（F 是发送给构造函数的类型）：

类型要求

• F 必须满足Callable 和CopyConstructible 的要求。
• Alloc 必须满足Allocator 的要求。

您的 lambda 必须可复制才能包含在 std::function 中

您可以改用std::shared_ptr 或简单地使用非拥有指针：

auto pThirty = std::make_unique<int>(30);

auto IncByThirty = [p = pThirty.get()](int t) -> int {
    return *p + t;  
};

但是，您必须确保指向的数据与 lambda 以及包含它的所有 std::function 一样长。