自定义分配器兼容性

Question

给定以下函数签名

void foo(std::vector<int> &bar);

还有一个自定义分配器CustomAlloc，使用std::vector<int, CustomAlloc> 的实例调用foo 会导致

could not convert ‘bar’ from ‘std::vector<int, CustomAlloc<int, [...] >}’ to ‘std::vector<int>’

我不是 C++ 模板专家，如果我错了，请纠正我，但我的理解是 std::vector<int> 默认为 std::vector<int, std::allocator<int> > (gcc 7.1.1.-3)，因此定义了一个完全不相关的类型。

---

这个beeing说我正在尝试找到一些解决方案来使foo可以使用std::vector<int, CustomAlloc>调用并附带以下内容。

template<typename Allocator>
void foo(std::vector<int, Allocator> &bar);

我不喜欢分配器规范传播模板的方式，但我猜这就是 STL 的工作方式。

所以我的问题是，鉴于foo 专门在int 上运行，您将如何解决这个问题？

PS：抱歉标题不好，我只是找不到好标题

Answer 1

标准中有一个全新的命名空间来解决这个问题 - namespace pmr。见polymorphic_allocator: when and why should I use it?

关于在没有pmr 解决方案的情况下，您可以采取哪些措施来避免使用模板传播此问题。答案是您不能，您需要硬指定分配器参数，或者您需要模板化向量以接受任何类型的分配器。