C++内存管理

简介: C++内存管理

1、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";
  const 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);
}



从左到右,从上到下一次为:C C C A A    A A A D A B


这张图很清晰的划分了C++的内存分布;



说明:


1.栈又叫做堆栈,存放的是:非静态局部变量/函数参数/返回值等等,栈是向下增长的;

2.内存映射段是高效的I/O映射方式,用于装载一个共享的动态内存库。用户可使用系统接口创建共享共享内存,做进程间通信。(Linux课程如果没学到这块,现在只需要了解一下)

3.堆用于程序运行时动态内存分配,堆是可以向上增长的;

4.数据段:储存全局数据和静态数据;

5.代码段:可执行的代码/只读常量。


2、C++中动态内存管理方式


       C语言内存管理方式在C++中可以继续使用,但有些地方就无能为力,而且使用起来比较麻烦,因 此C++又提出了自己的内存管理方式:通过new和delete操作符进行动态内存管理。

int main()
{
  int* p1 = new int(10);
  int* p2 = new int[10] {0};
 
  for (int i = 0; i < 10; i++)
  {
    cout << p2[i]<<" ";
  }
 
  cout << endl;
  cout << *p1 << endl;
  delete p1;
  delete[] p2;
 
  return 0;
}


对于内置类型,malloc和new,free和delete是一样的,没有区别,new和delete是专门对自定义类型实现的,下面是用new来开辟一个链表:

class ListNode
{
public:
  ListNode(int val)
    :next(nullptr)
    , _val(val)
  {}
//private:
  ListNode* next;
  int _val;
};
 
ListNode*CreatList(int n)
{
  ListNode head(-1);//new一个哨兵位
  ListNode* tail = &head;//用一个指针指向头节点的地址
  int val;
  printf("请输入节点的值:\n");
  for (int i = 0; i < n; i++)
  {
    cin >> val;
    tail->next = new ListNode(val);
    tail = tail->next;
  }
  return head.next;
}
int main()
{
  int n;
  printf("请输入你构建的节点个数:");
  cin >> n;
  ListNode* list1=CreatList(n);
  for (int i = 0; i < 5; i++)
  {
    cout << list1->_val << " ";
    list1 = list1->next;
  }
  cout << endl;
  return 0;
}


3、 operator new和operator delete函数


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


operator new : 该函数实际通过malloc来申请空间,当malloc申请成功时直接返回,申请空间失败,尝试执行空间不足应对措施,如果改应对措施用户设置了,则继续申请,否则抛异常


operator delete: 该函数最终是通过free来释放空间的

以后会细讲。


4、new和delete的实现原理

内置类型


如果申请的是内置类型的空间,new和malloc类似,delete和free类似,不同的地方是:new和delete申请和释放的是单个元素的空间,new[]和delete[]申请的是连续空间,而且new在申请空间失败时会抛异常,malloc会返回NULL;


自定义类型


new的原理:调用operator new申请空间,然后在申请的空间调用构造函数,完成对象的构造


delete的原理:在空间上执行析构函数,完成对象中资源的清理工作  ,然后调用operator  delete函数释放对象的空间


new T[]的原理:调用operator new[]函数,在operator new[]中实际调用operator new函数完成N个对象空间的申请(operator new 只调用一次),然后在申请的空间上执行N次构造函数;


delete []的原理:在释放的空间上执行N次析构函数,完成N个对象中的资源清理,然后调用operator delete[]释放空间,实际在operator delete[]中调用operator delete来释放空间

5、定位new表达式


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

语法如下:


new (placement_address) type(constructor_arguments);


placement_address是一个指针,指向你想要在其中构造对象的内存位置;

type是你想要构造的对象类型;

constructor_arguments是传递给对象构造函数的参数(如果存在的话)。

示例:

class A
{
public:
  A(int a = 0)
    : _a(a)
  {
    cout << "A():" << this << endl;
  }
  ~A()
  {
    cout << "~A():" << this << endl;
  }
private:
  int _a;
};
// 定位new/replacement new
int main()
{
  // p1现在指向的只不过是与A对象相同大小的一段空间,还不能算是一个对象,因为构造函数没有执行
    A* p1 = (A*)malloc(sizeof(A));
  new(p1)A; // 注意:如果A类的构造函数有参数时,此处需要传参
  p1->~A();
  free(p1);
  A* p2 = (A*)operator new(sizeof(A));
  new(p2)A(10);
  p2->~A();
  operator delete(p2);
  return 0;
}


注意事项:

1.定位new时,你必须确保你提供的内存地址时足够大的,并且对象的构造函数是兼容的;

2.定位new不会调用对象的析构函数来释放内存,因此你需要手动的管理对象的生命周期,并且显示调用析构函数;

3.定位new通常与低级内存操作相关,因此使用不当可能会导致内存泄露或程序崩溃。

这个点了解即可,后续会深入讲解。


6、malloc/freenew/delete的区别


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

不同点:


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

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

3.malloc申请空间需要手动计算 空间大小并传递,new只需在后面跟上空间的类型即可,如果是多个对象,[]中指定对象个数即可,但是这个指定对象个数的值一般是四个字节,需要额外开辟四个字节的大小,因为当我们需要调用析构函数时,delete[]会调用n次析构函数,这时候这个指定对象个数的值就发挥作用了,知道我们要调用多少次析构函数,所以new就会多开四个字节来存放这个值。

4. malloc的返回值为void*,使用时必须强制转换为我们需要的类型,new不需要,因为new后面跟的是空间的类型

5.malloc申请空间失败,会返回NULL,所以我们需要判空,new失败会抛异常;

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


7、内存泄露


    以后再说!

相关文章
|
4天前
|
存储 编译器 C语言
【C++】学习笔记——内存管理
【C++】学习笔记——内存管理
25 15
|
3天前
|
C++
C/C++内存管理(2):`new`和`delete`的实现原理
C/C++内存管理(2):`new`和`delete`的实现原理
|
10天前
|
安全 C++ 开发者
C++一分钟之-动态内存管理:new与delete
【6月更文挑战第19天】在C++中,`new`和`delete`用于动态内存管理,分配和释放堆内存。不正确使用可能导致内存泄漏和悬挂指针。要避免这些问题,确保每次`new`都有匹配的`delete`,释放内存后设指针为`nullptr`。使用`delete[]`释放数组,避免重复释放。智能指针如`std::unique_ptr`可自动管理内存,减少手动管理的风险。通过实例展示了如何使用智能指针进行安全的内存操作。
23 4
|
14天前
|
C语言 C++
【C++初阶】—— C++内存管理
【C++初阶】—— C++内存管理
16 1
|
3天前
|
程序员 编译器 C++
C++内存分区模型(代码区、全局区、栈区、堆区)
C++内存分区模型(代码区、全局区、栈区、堆区)
4 0
|
3天前
|
C++
C/C++内存管理(1):C/C++内存分布,C++内存管理方式
C/C++内存管理(1):C/C++内存分布,C++内存管理方式
|
3天前
|
存储 C语言 C++
【C++航海王:追寻罗杰的编程之路】C&C++内存管理你知道哪些?
【C++航海王:追寻罗杰的编程之路】C&C++内存管理你知道哪些?
7 0
|
4天前
|
存储 编译器 Linux
【C++】:C/C++内存管理
【C++】:C/C++内存管理
14 0
|
4天前
|
程序员 C语言 C++
【C语言】:柔性数组和C/C++中程序内存区域划分
【C语言】:柔性数组和C/C++中程序内存区域划分
9 0
|
9天前
|
存储 安全 程序员
c++理论篇——初窥多线程(一) 计算机内存视角下的多线程编程
c++理论篇——初窥多线程(一) 计算机内存视角下的多线程编程