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

    技术2022-05-19  23

    今天又看了点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); }

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


    最新回复(0)