c++ - 从作用域分配器适配器构造内部分配器

Question

最近我开始使用 C++11 作用域分配器概念的 boost 实现。现在我对如何将作用域分配器适配器与嵌套级别超过一个的容器一起使用感到困惑。特别是如何将作用域分配器适配器中的分配器正确传播到嵌套分配器，以及如何检索正确的内部分配器以传递给稍后要移入的对象？

更准确地说。我遇到的问题如下。有一个vector<vector<int>> ，我可以做类似的事情

namespace bco = boost::container;
typedef std::allocator<int> Alloc1;
typedef bco::vector<int, Alloc1 > Vec1;

typedef bco::scoped_allocator_adaptor<std::allocator<Vec1>, 
std::allocator<Vec1>> Alloc2;

typedef bco::vector<Vec1, Alloc2 > Vec2;

并使用 Vec2 中的 Vec1 移动

Alloc2 alloc2;
Vec2 vec2(alloc2);
vec2.push_back(boost::move(Vec1(alloc2.inner_allocator())));

但如果我再增加一个级别并尝试同样的操作，它将不再有效

typedef bco::scoped_allocator_adaptor<std::allocator<Vec2>,
std::allocator<Vec2>, std::allocator<Vec2> > Alloc3;

typedef bco::vector<Vec2, Alloc3 > Vec3;

 Alloc3 alloc3;
 Vec3 vec3(alloc3);
 vec3.push_back(Vec2(alloc3.inner_allocator()));

推送不会编译，因为 Vec2 构造中的分配器不是预期的类型。这并不奇怪，因为分配器不知道它。例如，以下也是传播分配器的有效代码。

typedef bco::scoped_allocator_adaptor< std::allocator<Vec2> > Alloc3b;
typedef bco::vector<Vec2, Alloc3b > Vec3b;

到目前为止一切顺利，但我看不出有什么办法可以将分配器转换为所需的类型。使用重新绑定(bind)只会更改分配的类型，但不会更改分配器类型本身。所以我错过了将作用域分配器适配器转换为另一个的魔法。通常人们不关心，因为分配器特征构造函数会处理它。但是可以肯定的是，要移入的对象使用正确的分配器，我需要以某种方式从“主”作用域分配器适配器获取相应的内部分配器。感谢您的帮助!

Answer 1

简短形式，更改 Alloc3 的 typedef:

typedef bco::scoped_allocator_adaptor< std::allocator<Vec2>, 
                                       std::allocator<Vec1>, 
                                       std::allocator<int> > Alloc3;

Alloc3 alloc3;
Vec3 vec3(alloc3);
vec3.push_back(Vec2(alloc3.inner_allocator()));

如果不进行更改就无法工作的原因是您的原始实现的内部分配器是 bco::scoped_allocator_adaptor< std::allocator<Vec2>, std::allocator<Vec2>> . build 一个时 scoped_allocator_adaptor从另一个角度来看，除了第一个模板参数外，所有模板参数都必须相同。在最初给您带来问题的情况下，实际情况并非如此，因此出现了编译器错误。