C++ 内存管理

小泥巴2022

已于 2022-07-06 15:18:08 修改

阅读量292

点赞数

分类专栏： C++ 文章标签： c++

于 2022-07-05 23:04:25 首次发布

C++ 专栏收录该内容

3 篇文章 0 订阅

订阅专栏

1. C / C++ 内存分布

int globalVar = 1;
static int staticGlobalVar = 1;
void Test()
{
    static int staticVar = 1;
    int localVar = 1;
    int num1[10] = {1, 2, 3, 4};
    char char2[] = "abcd";
    char* pChar3 = "abcd";
    int* ptr1 = (int*)malloc(sizeof (int)*4);
    int* ptr2 = (int*)calloc(4, sizeof(int));
    int* ptr3 = (int*)realloc(ptr2, sizeof(int)*4);
    free (ptr1);
    free (ptr3);
}

选项: A.栈 B.堆 C.数据段 D.代码段
globalVar在哪里？C staticGlobalVar在哪里？_C_
staticVar在哪里？_C___ localVar在哪里？__A__
num1 在哪里？_A___
char2在哪里？_A___ *char2在哪里？_A__ // char2 是个数组
pChar3在哪里？_A___ *pChar3在哪里？_D___
ptr1在哪里？_A___ *ptr1在哪里？__B__

sizeof(num1) = _40___;

sizeof(char2) = __5__// 加上 \0 ;

strlen(char2) = __4__;
sizeof(pChar3) = _4___;// 32位

strlen(pChar3) = _4___;
sizeof(ptr1) = _4___; // 32位

2. C语言中动态内存管理方式

malloc 堆上动态开空间

calloc 堆上动态开空间 + 初始化成0 等价于 malloc+ memset

realloc 针对已有的空间扩容原地扩容 (后面有足够的连续空间) 或异地扩容(后面没有足够的连续空间)

new 操作符

new / delete 和 malloc / free 针对内置类型没有任何差别, 只是用法不一样
new / delete new[] / delete [] 一定要匹配 ,否则可能会出错

对于自定义类型

new 开空间+构造函数初始化

总结 :

1. C++中如果是申请内置类型对象或者数组,malloc 和 new 没什么区别

2. 如果是自定义类型,区别很大,new 和 delete 是开空间 + 初始化 , 析构函数 + 释放空间 , malloc 和 free 仅仅是开空间 + 释放空间

3.建议在c++中,无论是内置类型还是自定义类型的申请释放,尽量使用new 和delete.

operator new 和 operator delete

new 和 delete 是用户进行动态内存申请和释放的操作符 ,operator new 和operator delete是系统提供的全局函数,new底层调用operator new全局函数来申请空间,delete 在底层通过operator delete全局函数来释放空间

list_node* p = new list_node(1);
new list_node(1) = operator new + list_node 构造函数
operator new = malloc + 失败抛异常机制

/*
operator new：该函数实际通过malloc来申请空间，当malloc申请空间成功时直接返回；申请空间失败，
尝试执行空 间不足应对措施，如果改应对措施用户设置了，则继续申请，否则抛异常。
*/
void *__CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
{
    // try to allocate size bytes
    void *p;
    while ((p = malloc(size)) == 0)
        if (_callnewh(size) == 0)
        {
        // report no memory
        // 如果申请内存失败了，这里会抛出bad_alloc 类型异常
            static const std::bad_alloc nomem;
            _RAISE(nomem);
        }
return (p);
}

/*
operator delete: 该函数最终是通过free来释放空间的
*/
void operator delete(void *pUserData)
{
    _CrtMemBlockHeader * pHead;
    RTCCALLBACK(_RTC_Free_hook, (pUserData, 0));
    if (pUserData == NULL)
        return;

    _mlock(_HEAP_LOCK); /* block other threads */
    __TRY

        /* get a pointer to memory block header */
        pHead = pHdr(pUserData);

        /* verify block type */
        _ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse));

        _free_dbg( pUserData, pHead->nBlockUse );

    __FINALLY
        _munlock(_HEAP_LOCK); /* release other threads */
    __END_TRY_FINALLY
return;
}

operator new 实际也是通过malloc来申请空间如果malloc申请空间成功就直接返回,否则执行用户提供的空间不足应对措施,如果用户提供该措施继续申请,否则就抛异常.

operator delete 最终是通过free来释放空间

operator new 与 operator delete 的类专属重载 (了解一下)

下面代码演示了,针对链表的节点ListNode 通过重载类专属 operator new / operator delete 实现链表节点使用内存池申请和释放内存, 提高效率

struct ListNode
{
	ListNode* _next;
	ListNode* _prev;
	int _data;
	void* operator new(size_t n)
	{
		void* p = nullptr;
		p = allocator<ListNode>().allocate(1);  //STL中空间配置器 其中一个简单的内存池
		cout << "memory pool allocate" << endl;
		return p;
	}
	void operator delete(void* p)
	{
		allocator<ListNode>().deallocate((ListNode*)p, 1);
		cout << "memory pool deallocate" << endl;
}
};
class List
{
public:
	List()
	{
		_head = new ListNode;
		_head->_next = _head;
		_head->_prev = _head;
	}
	~List()
	{
		ListNode* cur = _head->_next;
		while (cur != _head)
		{
			ListNode* next = cur->_next;
			delete cur;
			cur = next;
		}
		delete _head;
		_head = nullptr;
	}
private:
	ListNode* _head;
};
int main()
{
	List l;
	return 0;
}

定位 new表达式(placement-new) 了解一下

定位new表达式是在已分配的原始内粗你空间中调用构造函数初始化一个对象

使用格式 : new(place_address)type 或者 new(place_address)type(initializer-list)

place_address 必须是一个指针.initializer-list 是类型的初始化列表

使用场景: 定位new 表达式在实际中一般是配合内存池使用.因为内存池分配出的内存没有初始化,所以如果是自定义类型的对象,需要使用new的定义表达式进行显示调用构造函数进行初始化.

常见面试题

malloc / free 和 new / delete 的区别

malloc / free 和 new /delete 的共同点是都是从堆上申请空间,并且需要用户手动释放.

不同点是:

1 malloc 和 free 是函数 new / delete 是操作符

2 malloc 申请空间不会初始化 , new 可以初始化

3 malloc 申请空间时需要手动计算空间大小并传递 ,new只需在其后跟上空间的类型即可,如果是多个对象, [] 中指定对象个数即可

4 malloc 返回值为 void * 在使用时必须强转 new不需要因为new后跟的是空间的类型

5 malloc申请空间失败时,返回的是 NULL, 因此使用时必须判空,new不需要 ,但是new需要捕获异常

6 申请自定义类型对象时,malloc/free 只会开辟空间,不会调用构造函数与析构函数,而new在申请空间后会调用构造函数完成对象的初始化,delete在释放空间前会调用析构函数完成空间中资源的清理

内存泄漏

什么是内存泄漏：内存泄漏指因为疏忽或错误造成程序未能释放已经不再使用的内存的情。内存泄漏并不是指内存在物理上的消失，而是应用程序分配某段内存后，因为设计错误，失去了对该段内存的控制，因而造成了内存的浪费。内存泄漏的危害：长期运行的程序出现内存泄漏，影响很大，如操作系统、后台服务等等，出现内存泄漏会导致响应越来越慢，最终卡死.

进程正常结束,没有释放的内存也会被释放掉

所以一般的程序内存泄漏也还好,危害并不是很大. 长期运行的程序除外