allocator class

当分配一大块内存时，我们通常计划在这块内存上按需构造对象，这样的我们希望将内存分配和对象构造分离。但是通常的new关键字的分配的动态空间，有时候会造成一些浪费，更致命的是“如果一个类没有默认构造函数，那么这个类就不能动态分配数组了”。

这时我们需要一个能将内存分配和对象构造分离的机制，allocator很好地帮助我们解决了这个问题。

#include 《memory》，allocator提供了一种类型感知的内存分配方法，它分配的内存是原始的，未构造的。我们可以利用allocator提供的操作对这些内存进行操作，

allocator<string> alloc;
auto const p = alloc.allcoate(n);

auto q = p;
alloc.construct(q++);//*q is a null string
alloc.construct(q++,10,‘c‘)// *q is cccccccccc
alloc.construct(q++,"hi")//*q is hi

在未构造对象的情况下,就使用原始内存是错误的
例如
cout<<*p<<endl;
cout<<*q<<endl;//这个是非法的

记住,为了使用allcocate返回的内存,我们必须用construct构造对象,使用未构造的函数,其行为是未定义的.
党我们使用完对象后,必须堆每个构造函数调用destroy来销毁
while(q!=p){
  alloc.destroy(--q);
}//我们只能堆真正构造了的元素进行destroy操作

//一旦元素被销毁后,我们重新使用这部分内存来保存其他string,//也可以将内存归还给os,释放内存是通过deallocate(p,n)来完成的

alloc.deallocate(p,n);

拷贝/填充未初始化的算法,STL还定义了两个伴随算法,可以在未初始化内存中创建对象

/*
假定有一个例子,希望将其内容拷贝到动态内存中,我们将分配一块比vector中元素空间大一倍的动态内存,然后将原vector中的元素拷贝到前一半空间,后一半空间利用一个给定值进行填充
*/

auto p = alloc.allocate(vi.size()*2);

auto q = uninitiated_copy(vi.begin(),vi.end(),p);

uninitiated_fill(q,vi.size(),42);