STL中的内存分配方式——2

今天又看了点stl源码分析，记下学到的知识

构造和析构：（这个跟前面说的方式是一样的）

在stl 中 内存分配和构造是分为两个部分的，而精髓是在内存分配中的特别是第二级内存分配，不过这里不涉及到内存分配，只是重复下前面说到的构造和析构：

构造：通过 placement new  在给定的一块空间上构造一个新的对象或者赋予新的值。

析构：通过调用析构函数来析构掉对象，如果这块空间的内容是has_trivial_destructor类型，那么直接就忽略掉析构。

构造：

template<class T,class E>inline void my_construct(T* p,E value){new(p) T(value);}

析构：

单个元素空间析构：

template<class T>inline void my_destroy(T* p){p->~T();}

如果是一段空间：

template<typename ForwardIterator>inline void __my_destroy(ForwardIterator first,ForwardIterator end){for(;first!=end;++first)my_destroy(&*first);}

我这里省掉了 对元素类型的识别，因为有些类型的析构函数是不需要调用的，或者像内置类型就根本没有析构函数。但是因为现在还不知道怎么判断元素的数值性别，所以就省掉了很多处理。

如果是一段字符空间：

就直接忽略。

template<>inline void __my_destroy(char* first,char* end){}template<>inline void __my_destroy(wchar_t* first,wchar_t* end){}

空间分配的问题在STL中有2级处理方式，这要看分配空间的大小，如果大于128bytes就用第一级方式，这里说下第一级处理方式，第二级后面再说。

分配空间：

static void* allocate(size_t n){void *result=(void*)malloc(n);if(result==NULL)exit(0);return result;}

是直接用malloc来完成的，但是我这里没有写明如果分配失败的情况，而是直接exit出来，书上模拟了一个set_new_handler方法，然后不停的循环malloc。

因为set_new_handler这个实现方式看不懂，所以就不能自己实现。

重新分配空间：

static void* reallocate(void* p,size_t /*old_sz*/,size_t n){void *result=realloc(p,n);if(result=NULL)exit(0);return result;}

然后是释放空间，调用 free 来直接释放。

static void deallocate(void* p,size_t /*n*/){free(p);}

好了，上面就是今天看到的书上面的知识，感觉上面都是浮云，精髓是在第二级分配方式上面的。