深入理解 STL allocator

由于std::set，std::multiset，std::map，std::multimap四种容器的插入删除操作性能高并且自动排序，在很多时候比如需要动态操作时往往会使用它们，然后由于容器内部使用的是节点，每次的插入或删除都要调用new或delete，往往容易造成碎片和性能下降，于是自定义的allocator出现了。

这篇文章的目的就是详细讲解std::allocator的内部结构，为实现自定义的allocator奠基。

 

贴出STL源码，通过增加注释讲解

// xmemory internal header (from <memory>) #pragma once #ifndef _XMEMORY_ #define _XMEMORY_ #ifndef RC_INVOKED #include <cstdlib> #include <new> #include <xutility> // 说明：std::allocator将内存分配与释放、对象的构造与销毁独立出来， // 分别为内存分配、对象构造、对象销毁、内存释放。 #pragma pack(push,_CRT_PACKING) #pragma warning(push,3) #define _ALLOCATOR allocator // 由于下方使用了operator new函数，因此需要先取消new的宏定义 #pragma push_macro("new") #undef new #pragma warning(disable: 4100) #ifndef _FARQ /* specify standard memory model */ #define _FARQ #define _PDFT ptrdiff_t #define _SIZT size_t #endif /* _FARQ */ _STD_BEGIN // 这里是内存分配 // TEMPLATE FUNCTION _Allocate template<class _Ty> inline _Ty _FARQ *_Allocate(_SIZT _Count, _Ty _FARQ *) { // allocate storage for _Count elements of type _Ty void *_Ptr = 0; if (_Count <= 0) _Count = 0; else if (((_SIZT)(-1) / sizeof (_Ty) < _Count) || (_Ptr = ::operator new(_Count * sizeof (_Ty))) == 0) _THROW_NCEE(bad_alloc, 0); return ((_Ty _FARQ *)_Ptr); } // 使用 placement new 进行对象的拷贝构造放置 // TEMPLATE FUNCTION _Construct template<class _Ty1, class _Ty2> inline void _Construct(_Ty1 _FARQ *_Ptr, _Ty2&& _Val) { // construct object at _Ptr with value _Val void _FARQ *_Vptr = _Ptr; ::new (_Vptr) _Ty1(_STD forward<_Ty2>(_Val)); } // 使用 placement new 进行对象的默认构造放置 template<class _Ty1> inline void _Construct(_Ty1 _FARQ *_Ptr) { // construct object at _Ptr with default value void _FARQ *_Vptr = _Ptr; ::new (_Vptr) _Ty1();