C++ 实现一个简易的内存池

下面是一个简单的内存池思想的版本，实现的思想如下：

  1. 通过维护一个freeNodeHeader链表。当要申请空间的时候，就从链表上面摘下一个结点；要释放一个空间的时候，就从将释放的结点重新插入到链表里面。

  2. 每个结点的大小是提前通过template传入的，就是要分配的对象的大小。

Q1 : 为什么要写一个内存池，默认的malloc不挺好的吗？
A1 :new 和 delete 是一个成本比较高的操作，因为需要到堆上开辟和释放空间。如果可以提前开辟好一大块空间，然后，下次使用的时候，就不需要可以直接使用内存池里面的空间，而不是去调用new和delete。这样可以会更加高效。（使用线程池的目的也是这样的）

Q2 : 自己设计的内存池会比malloc好吗？会不会是负优化?
A2 : 这个问题，我也在思考。下面是我的思考（不一定是正确的答案）

  1. 自己设计内存池一定是基于一个特定的一个场景，如果在这个特定的场景下面，一个针对这个场景下设计出来的内存池也许会比默认的更好，但是如果这个场景是一个通用的场景，那我觉得默认的也许是更好的。
    就像使用STL一样，如果知道了里面存放的元素是int，然后知道了元素数量，知道了对元素常用的操作。那么完全可以设计出一个比STL更高效的函数。但是如果这是一个通用的，可以大范围被使用的场景，那么可能STL是平均下来最好的结果。

  2. 作为一个初学者，了解内存池的工作原理，可以更好的理解一门编程语言的内存分配机制。这对深入的学习非常有必要。我觉得还是应该学习学习的。哪怕你写的内存池是一个垃圾。

#include <iostream>
using namespace std;

template<int ObjectSize, int NumofObjects = 20>   
class MemPool {
private:
    struct FreeNode {
        FreeNode* pNext;
        char data[ObjectSize];
    };

    FreeNode * freeNodeHeader;     //表示空闲链表
public:
    MemPool() {
        //init freeNodeHeader
        this->freeNodeHeader = new FreeNode[NumofObjects];
        for (int i = 0; i < NumofObjects - 1; i++) {
            freeNodeHeader[i].pNext = &freeNodeHeader[i + 1];
        }
        freeNodeHeader[NumofObjects-1].pNext = NULL;

    }

    ~MemPool() {
        cout << " ~ 析构函数 " << endl;
        delete[] freeNodeHeader;
    }

    //函数的实现在下面
    void* malloc() {
        if (freeNodeHeader==NULL) {  //空间没有了
            //分配一段新的空间
            cout << "重新添加了空间" << endl;
            FreeNode * newfreeNodeHeader = new FreeNode[NumofObjects];
            for (int i = 0; i < NumofObjects - 1; i++) {
                newfreeNodeHeader[i].pNext = &newfreeNodeHeader[i + 1];
            }
            newfreeNodeHeader[NumofObjects-1].pNext = NULL;   
            
            //于是又有了空间
            freeNodeHeader = newfreeNodeHeader;
        }
        cout << "分配一个空间" << endl;
        FreeNode * ret = freeNodeHeader;
        freeNodeHeader = freeNodeHeader->pNext;
        ret->pNext = NULL;
        return ret;
    }

    void free(void* p) {
        cout << "释放一个空间" << endl;
        FreeNode* pNode = (FreeNode*)p;
        pNode->pNext = freeNodeHeader;//将释放的节点插入空闲节点头部
        freeNodeHeader = pNode;
    }
};

//一个实例类，用来作为测试
class ActualClass {
    static int count;
    int No;

public:
    ActualClass() {
        No = count;
        count++;
    }

    void print() {
        cout << this << ": ";
        cout << "the " << No << " object" << endl;
    }

    void* operator new(size_t size);
    void operator delete(void* p);


    void* operator new[](size_t size);
    void operator delete[](void *p,size_t size);
};

MemPool<4, 5> mp;

void* ActualClass::operator new(size_t size) {
    cout << "size " << size << endl;
    return mp.malloc();
}

void ActualClass::operator delete(void* p) {
    mp.free(p);
}

void* ActualClass::operator new[](size_t size) {
    cout << "size " << size << endl;
    cout << "自定义的内存池并不支持申请多个空间,所以调用默认的malloc" << endl;
    return malloc(size);
}

void ActualClass::operator delete[](void *p , size_t size)
{
    cout << "调用默认的free" << endl;
    cout<<"delete [] size : "<<size<<endl;
    free(p);
}

int ActualClass::count = 0;



int main()
{
    for (int i = 0; i < 3; i++) {
        ActualClass* p = new ActualClass;
        p->print();
    }

    ActualClass* p1 = NULL;
    p1 = new ActualClass;
    p1->print();

    ActualClass* p2 = new ActualClass;
    p2->print();

    delete(p1);

    ActualClass* p3 = new ActualClass;
    p3->print();

    //to-do
    //目前内存池只能分配固定大小的空间，
        //对于new[5] , 他申请内存的大小是 5*sizeof(ActualClass) + 4 
        // 但是实现的内存池只能分配固定大小，于是就使用malloc分配了
        ActualClass* p4 = new ActualClass[5];
    delete [] p4;
        //ActualClass* p5 = new ActualClass[5];
    //ActualClass* p6 = new ActualClass[5];

    system("pause");
    return 0;
};

分享另外一个版本:

基本的实现是和上面的一个相同的：


#include <iostream>
#include <windows.h>

using namespace std;

#include "MemoryPool.h"
#include "MTMemoryPool.h"

class CTest
{
public:
    int m_n;
    int m_n1;

    void* operator new(size_t size)
    {
        void* p = s_pool->Alloc(size);
        return p;
    }

    void operator delete(void* p, size_t size)
    {
        s_pool->Free(p);
    }

    static void NewPool()
    {
        s_pool = new CMemoryPool<CTest>;
        //s_pool = new CMTMemoryPool<CMemoryPool<CTest>, CCriticalSection>;
    }

    static void DeletePool()
    {
        delete s_pool;
        s_pool = NULL;
    }

    static CMemoryPool<CTest>* s_pool;
    //static CMTMemoryPool<CMemoryPool<CTest>, CCriticalSection>* s_pool;
};

CMemoryPool<CTest>* CTest::s_pool = NULL;
//CMTMemoryPool<CMemoryPool<CTest>, CCriticalSection>* CTest::s_pool = NULL;

void testFun()
{
    int i;
    const int nLoop = 10;
    const int nCount = 10000;

    for (int j = 0; j<nLoop; ++j)
    {
        typedef CTest* LPTest;
        LPTest arData[nCount];
        for (i = 0; i <nCount; ++i)
        {
            arData[i] = new CTest;
        }

        for (i = 0; i <nCount; ++i)
        {
            delete arData[i];
        }
    }
}

int main(int argc, char* argv[])
{
    {
        unsigned int dwStartTickCount = GetTickCount();

        CTest::NewPool();

        testFun();

        CTest::DeletePool();

        cout << "total cost" << GetTickCount() - dwStartTickCount << endl;
    }


    system("pause");

    return 0;
    
}

//http://www.cppblog.com/weiym/archive/2012/05/05/173785.html

Memory.h

template<typename T>   //这里的T指的是 ： CTest类
class CMemoryPool
{
private:
    CMemoryPool<T>* m_pFreeList;

public:
    enum { EXPANSION_SIZE = 32 };

    CMemoryPool(unsigned int nItemCount = EXPANSION_SIZE)
    {
        ExpandFreeList(nItemCount);
    }

    ~CMemoryPool()
    {
        //free all memory in the list
        CMemoryPool<T>* pNext = NULL;
        for (pNext = m_pFreeList; pNext != NULL; pNext = m_pFreeList)
        {
            m_pFreeList = m_pFreeList->m_pFreeList;
            delete[](char*)pNext;
        }
    }

    void* Alloc(unsigned int /*size*/)
    {
        if (m_pFreeList == NULL)
        {
            ExpandFreeList();
        }

        //get free memory from head
        CMemoryPool<T>* pHead = m_pFreeList;
        m_pFreeList = m_pFreeList->m_pFreeList;
        return pHead;
    }

    void Free(void* p)
    {
        //push the free memory back to list
        CMemoryPool<T>* pHead = static_cast<CMemoryPool<T>*>(p);
        pHead->m_pFreeList = m_pFreeList;
        m_pFreeList = pHead;
    }

protected:
    //allocate memory and push to the list
    void ExpandFreeList(unsigned nItemCount = EXPANSION_SIZE)
    {
        unsigned int nSize = sizeof(T) > sizeof(CMemoryPool<T>*) ? sizeof(T) : sizeof(CMemoryPool<T>*);     //取大的

        //申请一段空间
        CMemoryPool<T>* pLastItem = static_cast<CMemoryPool<T>*>(static_cast<void*>(new char[nSize]));
        m_pFreeList = pLastItem;

        for (int i = 0; i<nItemCount - 1; ++i)
        {
            pLastItem->m_pFreeList = static_cast<CMemoryPool<T>*>(static_cast<void*>(new char[nSize]));
            pLastItem = pLastItem->m_pFreeList;
        }

        pLastItem->m_pFreeList = NULL;
    }
};

MTMemoryPool.h (加锁的版本)

#pragma once
class CCriticalSection
{
public:
    CCriticalSection()
    {
        InitializeCriticalSection(&m_cs);
    }

    ~CCriticalSection()
    {
        DeleteCriticalSection(&m_cs);
    }

    void Lock()
    {
        EnterCriticalSection(&m_cs);
    }

    void Unlock()
    {
        LeaveCriticalSection(&m_cs);
    }

protected:
    CRITICAL_SECTION m_cs;
};

template<typename POOLTYPE, typename LOCKTYPE>
class CMTMemoryPool
{
public:
    void* Alloc(unsigned int size)
    {
        void* p = NULL;
        m_lock.Lock();
        p = m_pool.Alloc(size);
        m_lock.Unlock();

        return p;
    }

    void Free(void* p)
    {
        m_lock.Lock();
        m_pool.Free(p);
        m_lock.Unlock();
    }

private:
    POOLTYPE m_pool;
    LOCKTYPE m_lock;
};

read more ：
深入探究C++的new/delete操作符：
https://kelvinh.github.io/blog/2014/04/19/research-on-operator-new-and-delete/

C++ 实现高性能内存池 ：
https://blog.csdn.net/xjtuse2014/article/details/52302083

最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
  • 人面猴
    序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
    沈念sama阅读 220,492评论 6赞 513
  • 死咒
    序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
    沈念sama阅读 94,048评论 3赞 396
  • 救了他两次的神仙让他今天三更去死
    文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
    开封第一讲书人阅读 166,927评论 0赞 358
  • 道士缉凶录：失踪的卖姜人
    文/不坏的土叔 我叫张陵，是天一观的道长。 经常有香客问我，道长，这世上最难降的妖魔是什么？ 我笑而不...
    开封第一讲书人阅读 59,293评论 1赞 295
  • 港岛之恋（遗憾婚礼）
    正文 为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
    茶点故事阅读 68,309评论 6赞 397
  • 恶毒庶女顶嫁案：这布局不是一般人想出来的
    文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
    开封第一讲书人阅读 52,024评论 1赞 308
  • 城市分裂传说
    那天，我揣着相机与录音，去河边找鬼。 笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。 我是一名探鬼主播，决...
    沈念sama阅读 40,638评论 3赞 420
  • 双鸳鸯连环套：你想象不到人心有多黑
    文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
    开封第一讲书人阅读 39,546评论 0赞 276
  • 万荣杀人案实录
    序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
    沈念sama阅读 46,073评论 1赞 319
  • 护林员之死
    正文 独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 38,188评论 3赞 340
  • 白月光启示录
    正文 我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 40,321评论 1赞 352
  • 活死人
    序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
    沈念sama阅读 35,998评论 5赞 347
  • 日本核电站爆炸内幕
    正文 年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
    茶点故事阅读 41,678评论 3赞 331
  • 男人毒药：我在死后第九天来索命
    文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 32,186评论 0赞 23
  • 一桩弑父案，背后竟有这般阴谋
    文/苍兰香墨 我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 33,303评论 1赞 272
  • 情欲美人皮
    我被黑心中介骗来泰国打工， 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。 一个月前我还...
    沈念sama阅读 48,663评论 3赞 375
  • 代替公主和亲
    正文 我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
    茶点故事阅读 45,330评论 2赞 358