【STL源码解析】空间适配器allocator（一）构造和析构函数

1、为什么要引入空间配置器？

1、当我们在操作容器中的对象时，比如增加一个元素、删除一个元素或者初始化一个容器的时候，都会涉及内存的分配（todo：内存管理梳理）。因此引入空间配置器，用于配置内存空间。
2、C++中场常见的内存分配：

class Foo{
   ...}
Foo test = new Foo(); //1
delete Foo; //2

其中在执行new的时候，其实执行了两步骤（1）用::operator new定义一块内存空间（2）调用Foo的构造函数进行初始化。
在执行delete的时候，其实也执行了两步骤（1）调用Foo的析构函数～Foo，析构调对象（2）调用::operator delete释放内存空间。

在STL中为了精密分工，STL allocator决定将两个阶段分离开。用alloc::allocator()负责分配空间，alloc::deallocator进行内存释放。用::construct()负责对象的构造。::destroy()负责对象的析构。

2、构造和析构基本工具::construct()和::destroy()

STL中的源码：

/*这里对比源码调整了顺序*/
template <class _ForwardIterator>
inline void destroy(_ForwardIterator __first, _ForwardIterator __last) {
   
	_Destroy(__first, __last);                        //调用_Destroy()
}
 
//函数内部调用的函数__destroy()多了个参数，__VALUE_TYPE(__first)，用于找出元素的数值型别
template <class _ForwardIterator>
inline void _Destroy(_ForwardIterator __first, _ForwardIterator __last) {
   
	__destroy(__first, __last, __VALUE_TYPE(__first));    //调用__destroy()
	//通过__VALUE_TYPE获取类对象类别
}
 
//判断元素的数值型别是否有无用的析构函数(trivial_destructor)
template <class _ForwardIterator, class _Tp>
inline void
__destroy(_ForwardIterator __first, _ForwardIterator __last, _Tp*)
{
   
	typedef typename __type_traits<_Tp>::has_trivial_destructor
		_Trivial_destructor;
	__destroy_aux(__first, __last, _Trivial_destructor