一般来说，C++中根据需要逐个构建对象的情况比较多。例如我们有下面的Tracer（曳光弹）类：
这个类只是在构造函数，析构函数中输出了表示构造函数和析构函数被执行的字符串。之所以叫曳光弹，是希望通过它确认对象构建和销毁的过程，其作用就像曳光弹一样。
构建，销毁对象的代码如下：
以下是输出结果，和我们预想的结果一样，构造函数，析构函数各被调用一次。
如果希望同时创建、销毁多个对象，可以使用如下代码：
以下输出结果，依然很完美。
上述两种情况中，new(new[])在分配内存之后会调用构造函数；相对地，delete(delete[])在调用析构函数之后还会释放内存。
placement new
如 果需要多个对象，但是事先不知道具体需要多少个，或者不能确定应该如何初始化，事情就比较难办：重复使用new来构建对象当然可以满足上述要求，但是多次 从堆中申请内存会影响效率。所以就希望找到一种办法，能够将内存的分配/释放和对象的构造/析构动作分离，从而实现一次分配内存，自由构建对象的目的。
早期的C++中，可以使用placement new来解决这个问题，实例代码如下:
输出如下：
构造函数，析构函数都按照我们期待的那样被调用，但是有点小问题：一个是语法比较特殊，另外就是内存管理比较麻烦。
allocator
稍微晚一点的C++在标准库中，增加了allocator模板类，使得同样的事情变得更加简单：
输出结果完全相同：
和placement new比较起来，allocator使用了相同的逻辑结构的同时，很好地解决了placement new存在的问题。
作者总结
属于C++11的新特性实际上就是在调用construct方法是允许调用Tracer的任意构造函数这一点，但是由于这小小的一点改变，使得alloctor变得更加完美。
觉得本文有帮助？请分享给更多人。
阅读更多更新文章，请扫描下面二维码，关注微信公众号【面向对象思考】
