Here是关于cppreference的文档,here是工作草案。
我必须承认,我不明白polymorphic_allocator
的真正目的是什么,何时/为什么/如何使用它。
例如,pmr::vector
有以下签名:
namespace pmr {
template <class T>
using vector = std::vector<T, polymorphic_allocator<T>>;
}
polymorphic_allocator
提供什么? std::pmr::vector
在老式的std::vector
方面提供了什么?我现在能做什么才能做到现在为止?
分配器的真正目的是什么?我应该何时使用它?
来自cppreference的选择报价:
此运行时多态性允许使用polymorphic_allocator的对象在运行时使用不同的分配器类型,尽管相同的静态分配器类型
“常规”分配器的问题是它们改变了容器的类型。如果你想要一个带有特定分配器的vector
,你可以使用Allocator
模板参数:
auto my_vector = std::vector<int,my_allocator>();
现在的问题是这个向量与具有不同分配器的向量的类型不同。例如,您不能将它传递给需要默认分配器向量的函数,或者将具有不同分配器类型的两个向量分配给同一个变量/指针,例如:
auto my_vector = std::vector<int,my_allocator>();
auto my_vector2 = std::vector<int,other_allocator>();
auto vec = my_vector; // ok
vec = my_vector2; // error
多态分配器是单个分配器类型,其成员可以通过动态分派而不是通过模板机制来定义分配器行为。这允许您拥有使用特定的自定义分配但仍然是常见类型的容器。
分配器行为的定制是通过给分配器一个std::memory_resource *
来完成的:
// define allocation behaviour via a custom "memory_resource"
class my_memory_resource : public std::pmr::memory_resource { ... };
my_memory_resource mem_res;
auto my_vector = std::pmr::vector<int>(0, &mem_res);
// define a second memory resource
class other_memory_resource : public std::pmr::memory_resource { ... };
other_memory_resource mem_res_other;
auto my_other_vector = std::pmr::vector<int>(0, &mes_res_other);
auto vec = my_vector; // type is std::pmr::vector<int>
vec = my_other_vector; // this is ok -
// my_vector and my_other_vector have same type
正如我所看到的,主要的剩余问题是std::pmr::
容器仍然与使用默认分配器的等效std::
容器不兼容。您需要在设计与容器一起使用的界面时做出一些决定:
模板解决方案允许任何分配器,包括多态分配器,但有其他缺点(生成的代码大小,编译时间,代码必须暴露在头文件中,可能导致进一步的“类型污染”,从而不断向外推送问题)。另一方面,多态分配器解决方案规定必须使用多态分配器。这排除了使用使用默认分配器的std::
容器,并且可能会影响与遗留代码的接口。
与常规分配器相比,多态分配器确实具有一些较小的成本,例如memory_resource指针的存储开销(最可能忽略不计)和分配的虚拟函数调度的成本。实际上,主要问题可能是缺乏与不使用多态分配器的遗留代码的兼容性。
polymorphic_allocator
是自定义分配器,因为std::function
是直接函数调用。
它只是让你在容器中使用一个分配器,而不必在声明时决定哪一个。因此,如果你有一个适合多个分配器的情况,你可以使用polymorphic_allocator
。
也许您想要隐藏哪个分配器用于简化您的界面,或者您希望能够将其交换出来用于不同的运行时案例。
首先,您需要需要分配器的代码,然后在考虑pmr向量之前,您需要能够交换使用哪个代码。
多态分配器的一个缺点是polymorphic_allocator<T>::pointer
总是只是T*
。这意味着你不能将它们与fancy pointers一起使用。如果你想做一些事情,比如在共享内存中放置vector
的元素并通过boost::interprocess::offset_ptr
s访问它们,你需要使用常规的旧的非多态分配器。
因此,尽管多态分配器允许您在不更改容器的静态类型的情况下改变分配行为,但它们限制了分配的内容。