假设我有一个名为MyAlloc的自定义分配器，并已成功地将其与std::vector<int>一起使用，以节省一些代码，如下所示：
std::vector<int,MyAlloc<int>> vec;
现在我希望使用自定义分配器将lambda保存到std :: function中，我该怎么做？
我的尝试失败了：
int i[100];
std::function<void(int)> f(MyAlloc<void/*what to put here?*/>{},[i](int in){
//...
});
更新： C++标准库中的std::function分配器已经被弃用
根据标准，您需要提供一个标签类型作为第一个参数，以表明您想使用自定义分配器：
std::function<void(int)> f(std::allocator_arg, MyAlloc<char>{}, [i](int in){
//...
});
正如评论中 @Casey 和 @Potatoswatter 所指出的那样，分配器模板参数提供的类型并不重要，只要它是一个对象类型。所以在这里使用char就可以了。
针对 C++17 的更新：原来的std::function分配器支持存在一些根本性问题，在C++17中已经被弃用。如果仍然坚持使用，请务必在使用之前仔细检查您的实现。 GCC的标准库从未实现过这些函数，但即使您的标准库实现了这些函数，它也可能不会按照您的预期运行。
std::function会重新绑定分配器到另一个（内部）类型。 - Matthieu M.std::function 将立即重新绑定分配器到其实际分配所需的任何内部类型，并且您传递给构造函数的分配器仅用于复制构造该重新绑定的分配器。 - Caseyallocator_arg_t的函数构造函数时，第二个参数应该具有符合Allocator要求的类型(Table 17.6.3.5)。如果需要，将使用分配器参数的副本来为构造的function对象内部数据结构分配内存。” 因此，任何符合要求的分配器类型都是适当的。 - Caseyvoid 不是一个有效的分配器类型参数。虽然 std::allocator<void> 被定义了，但是通常的分配器需要对象类型。由于任何随意的对象类型都可以使用，因此使用 char 更好。 - Potatoswatter #include <functional>
MyAllocType g_myAlloc; // declared somewhere and globally instantiated to persist
// sample of a member function that takes an int parameter
class MyClassType
{
public:
void TestFunction( int param )
{
}
};
MyClassType MyClass; // instantiated object
// example without allocator
// note the pointer to the class type that must precede function parameters since
// we are using a method. Also std::mem_fn is require to compile in VS2012 :/
std::function<void(MyClassType*, int)> f( std::mem_fn( &MyClassType::TestFunction ) );
// usage of function needs an instantiated object (perhaps there is a way around this?)
f( &MyClass, 10 );
// example with allocator
std::function<void(MyClassType*, int)> f(std::allocator_arg, g_myAlloc, std::mem_fn( &MyClassType::TestFunction ) );
// usage of function is the same as above and needs an instantiated object
f( &MyClass, 10 );
//or a non member function, which is much cleaner looking
void NonMemberFunction( int param )
{
}
std::function<void(int)> f(std::allocator_arg, g_myAlloc, NonMemberFunction);
std::function<void(MyClassType*, int)> f(std::allocator_arg, g_myAlloc, std::mem_fn( &MyClassType::TestFunction ) );
void FunctionTakeParam( std::function<void(MyClassType*, int)> &FunctionIn )
{
// this results in a reallocation using your allocator
std::function<void(MyClassType*, int)> MyLocalFunction.assign( std::allocator_arg, g_myAlloc, FunctionIn );
// the below results in a shallow copy which will likely cause bad things
//std::function<void(MyClassType*, int)> MyLocalFunction( std::allocator_arg, g_myAlloc, FunctionIn );
...
}
struct person { void raise_hand(){} }; 然后你调用 person::raise_hand()。谁举手了？ - Mooing Duckstd::function（以及std::shared_ptr等几个类）只在堆栈上分配一个对象。因此，它唯一可能需要分配器的另一件事情是清除分配的内存。因此，它可以轻松地使用类型擦除，而不会增加额外开销。它仍然包含一个分配器的实例，但可以用另一个分配器给它另一个函数，它将在运行时切换分配器（没有额外开销）。因此，分配器的类型不会影响函数的类型。 - Mooing Duck
std::function构造函数的文档，而你链接的是类本身。分配器仅在构造std::function时需要，而不是在使用它时需要。因此，只有构造函数对分配器类型进行了模板化，而不是类本身。 - ComicSansMSstd::function中删除分配器支持：http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0302r0.html，其中列出了一些已知问题。 - Andriy Tylychko