STL 源码剖析——内存基本处理工具

STL定义有五个全局函数，这五个函数分别是construct(),destory(),uninitialized_copy(),uninitialized_fill(),uninitialized_fill_n(),都作用与未初始化的内存空间上。

首先让我们了解下用与构造对象和析构对象的基本工具：construct()和destory()。

• construct()为对象开辟内存空间。其接受两个形参，指针指向一块内存空间，并对内存空间进行构造。

template<typename T1,typename T2>
void construct(const T1* p, const T2& value) {
	::new(p)T2(value);   //placement new 非正式的new  T2::T2(value)
}

• destroy() 将指针指向的对象原位销毁，但是不会释放内存的存储空间。

template<typename T>
void destory(const T* p) {
	p->~T();
}

现在让我们了解下三个低层次的函数，它们都能够将内存的配置和对象的构造行为分离开来。

• uninitialized_copy() 首先会在内存中分配一片内存（未构造哦），然后接受输入端的开始迭代器和输入端结束迭代器，对此输入的对象进行copy，然后放进分配的未构造的内存中。

template<typename InputIterator,typename ForwardIterator>
ForwardIterator uninitialized_copy(InputIterator first, InputIterator last, ForwardIterator result) {
	//........
       //........
}

如果construct()是trivial,也就说是由隐式构造出来的,显示构造出来的和隐式构造出来的，uninitialized_copy()函数执行的做法是完全不同，这里就不一一列举了。可以参考《STL源码剖析》。

• uninitialized_fill()接受输入端的开始迭代器和输入端的结束迭代器（此范围内的迭代器指向未构造的内存），然后接受一个对象，把对象copy到此迭代器指向的未初始化的内存，也就是它会个指定范围内的未构造的内存指定相同的对象。

template<typename ForwardInterator,typename T>
ForwardInterator uninitialized_fill(ForwardInterator first, ForwardInterator last, const T& x) {
	//......
       //......
}

如果construct()是trivial,也就说是由隐式构造出来的,显示构造出来的和隐式构造出来的，uninitialized_fill()函数执行的做法是完全不同，这里就不一一列举了。可以参考《STL源码剖析》。

• uniniyialized_fill_n()接受输入端的开始处的迭代器(此分配的内存是未构造的)和初始化空间的大小，最重要的是它会给指定范围内的未构造的内存指定相同的对象。

template<typename ForwardInterator,typename Size,typename T>
ForwardInterator uninitialized_fill_n(ForwardInterator first, Size n, const T& x) {
     //.....
    //.....
}

如果construct()是trivial,也就说是由隐式构造出来的,显示构造出来的和隐式构造出来的，uninitialized_fill_n()函数执行的做法是完全不同，这里就不一一列举了。可以参考《STL源码剖析》。