从C语言到C++⑨(第三章_C&C++内存管理)详解new和delete+面试题笔试题(中)

简介: 从C语言到C++⑨(第三章_C&C++内存管理)详解new和delete+面试题笔试题

从C语言到C++⑨(第三章_C&C++内存管理)详解new和delete+面试题笔试题(上):https://developer.aliyun.com/article/1513661

3. operator newoperator delete函数详解

3.1 operator newoperator delete函数

new delete 是用户进行 动态内存申请和释放的操作符

operator new 和 operator delete是 系统提供的全局函数,(不是运算符重载)

new 在底层调用 operator new 全局函数来申请空间,

delete 在底层通过 operator delete 全局函数来释放空间。

看看源码:(看不懂的部分跳过就行)

/*
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;
}
/*
free的实现
*/
#define   free(p)               _free_dbg(p, _NORMAL_BLOCK)

通过上述两个全局函数的实现可以知道:

① operator new 实际上也是通过 malloc 来申请空间的。

② operator delete 最终也是通过 free 来释放空间的。

如果 malloc 申请空间成功就直接返回,否则执行用户提供的空间不足的应对措施,

如果用户提供该措施就继续申请,否则就抛异常。

面向过程的语言处理错误的方式:

返回值 + 错误码解决(这个之前博客讲过):

#include <stdio.h>
#include <stdlib.h>
 
int main()
{
  char* p1 = (char*)malloc(1024u * 1024u * 1024u * 2u);
  if (p1 == nullptr) 
  {
    printf("%d\n", errno);
    perror("malloc fail");
    exit(-1);
  }
  else 
  {
    printf("%p\n", p1);
  }
 
  return 0;
}

而面向对象语言处理错误的方式:

一般是抛异常,C++中也要求出错抛异常 —— try catch(后面会细讲)。

#include <iostream>
using namespace std;
 
int main()
{
  char* p2 = nullptr;
  try
  {
    char* p2 = new char[1024u * 1024u * 1024u * 2u - 1];
  }
  catch (const exception& e) 
  {
    cout << e.what() << endl;
  }
  printf("%p\n", p2);
 
  return 0;
}

C++ 提出 new 和 delete,主要是解决两个问题:

① 自定义类型对象自动申请的时候,初始化合清理的问题。

    new / delete 会调用构造函数和析构函数。

② new 失败了以后要求抛异常,这样才符合面向语言的出错处理机制。

(delete 和 free 一般不会失败,如果失败了,就是释放空间上存在越界或者释放指针位置不对)


3.2  重载operator new 与 operator delete(了解)

默认情况下operator new 与 operator delete使用全局库里面

如果我们自己重载operator new 与 operator delete了,

那么编译器就会调我们自己重载的,而不会调原来的:

#include<iostream>
using namespace std;
 
class A
{
public:
  A(int a = 0)
    : _a(a)
  {
    cout << "A():" << this << endl;
  }
 
  ~A()
  {
    cout << "~A():" << this << endl;
  }
 
private:
  int _a;
};
 
// 重载operator delete,在申请空间时:打印在哪个文件、哪个函数、第多少行,申请了多少个字节
void* operator new(size_t size, const char* fileName, const char* funcName, size_t lineNo)
{
  void* p = ::operator new(size);
  cout << "new:" << fileName << "||" << funcName << "||" << lineNo << "||" << p << "||" << size << endl;
  return p;
}
 
 重载operator delete,在释放空间时:打印再那个文件、哪个函数、第多少行释放,不实现这个,不然使用要加()
//void operator delete(void* p, const char* fileName, const char* funcName, size_t lineNo)
//{
//  cout << "delete:" << fileName << "||" << funcName << "||" << lineNo << "||" << p << endl;
//  ::operator delete(p);
//}
 
// 重载operator delete
void operator delete(void* p)
{
  cout << "delete:" << endl;
  free(p);
}
 
#ifdef _DEBUG
     #define new new(__FILE__, __FUNCTION__, __LINE__)
     // #define delete(p) operator delete(p, __FILE__, __FUNCTION__, __LINE__) 不实现这个宏,不然使用要加()
#endif
 
int main()
{
  A* p1 = new A;
  delete p1;
 
  A* p2 = new A[4];
  delete[] p2;
 
  A* p3 = new A;
  delete p3;
 
  A* p4 = new A;
  delete p4;
 
  A* p5 = new A;
  delete p5;
 
    return 0;
}

这里为了好看就不把文件名打印出来了:


类内重载operator new 与 operator delete:

我们知道:new -> operator new + 构造函数,默认情况下operator new使用全局库里面

每个类可以去实现自己专属operator new  new这个类对象,它就会先调自己实现这个operator new

上面我们提到:C语言内存管理方式在有些地方无能为力,而且使用起来比较麻烦

下面代码演示了,针对链表的节点 ListNode 通过重载类专属 operator new / operator delete,

实现链表节点使用内存池申请和释放内存,提高效率:

// new -> operator new + 构造函数
// 默认情况下operator new使用全局库里面
// 每个类可以去实现自己专属operator new  new这个类对象,他就会调自己实现这个operator new
 
// 实现一个类专属的operator new  -- 了解一下
 
#include<iostream>
using namespace std;
 
class A
{
public:
  A(int a = 0)
    : _a(a)
  {
    cout << "A():" << this << endl;
  }
 
  ~A()
  {
    cout << "~A():" << this << endl;
  }
 
private:
  int _a;
};
 
struct ListNode
{
  int _val;
  ListNode* _next;
 
  static allocator<ListNode> alloc;// 内存池
 
  void* operator new(size_t n)
  {
    cout << "operator new -> STL内存池allocator申请" << endl;
    void* obj = alloc.allocate(1);
    return obj;
  }
 
  void operator delete(void* ptr)
  {
    cout << "operator delete -> STL内存池allocator申请" << endl;
 
    alloc.deallocate((ListNode*)ptr, 1);
  }
 
  struct ListNode(int val)
    :_val(val)
    , _next(nullptr)
  {}
};
 
// allocator以后会讲,现在先了解即可
allocator<ListNode> ListNode::alloc;
 
int main()
{
  // 频繁申请ListNode. 想提高效率 -- 申请ListNode时,不去malloc,而是自己定制内存池
  ListNode* node1 = new ListNode(1);
  ListNode* node2 = new ListNode(2);
  ListNode* node3 = new ListNode(3);
 
  delete node1;
  delete node2;
  delete node3;
 
  A* p1 = new A;
 
  return 0;
}


4. new 和 delete 的实现原理

4.1 对于内置类型

如果申请的是内置类型的空间,new 和 malloc,delete 和 free 基本相似。

不同的地方是,new / delete 申请和释放的是单个元素的空间,

new[ ] 和 delete[ ] 申请的是连续空间。

而且 new 再申请空间失败时会抛异常,malloc会返回NULL。

operator new 和 operator delete 就是对 malloc 和 free 的封装。

operator new 中调用 malloc 后申请内存,失败以后,改为抛异常处理错误,

这样符合C++面向对象语言处理错误的方式。

4.2 对于自定义类型

new 的原理:

① 调用 operator new 函数申请空间。

② 在申请空间上执行构造函数,完成对象的构造。

delete 的原理:

① 在空间上执行析构函数,完成对象中资源的清理工作。

② 调用 operator delete 函数释放对象的空间。


new T[N] 的原理:

① 调用 operator new[] 函数,在 operator new[] 中实际调用

operator new 函数完成 N 个对象空间的申请。

② 在申请的空间上调用 N 次构造函数,对它们分别初始化。

delete[] 的原理:

① 在释放的对象空间上执行 N 次析构函数,完成 N 个对象中资源的清理。

② 调用 operator delete[] 释放空间,实际在 operator delete[] 中调用

operator delete 来释放空间。

从C语言到C++⑨(第三章_C&C++内存管理)详解new和delete+面试题笔试题(下):https://developer.aliyun.com/article/1513663?spm=a2c6h.13148508.setting.23.5e0d4f0eimuY68

目录
相关文章
|
5月前
|
存储 程序员 编译器
玩转C++内存管理:从新手到高手的必备指南
C++中的内存管理是编写高效、可靠程序的关键所在。C++不仅继承了C语言的内存管理方式,还增加了面向对象的内存分配机制,使得内存管理既有灵活性,也更加复杂。学习内存管理不仅有助于提升程序效率,还有助于理解计算机的工作原理和资源分配策略。
|
1月前
|
C语言 C++
c与c++的内存管理
再比如还有这样的分组: 这种分组是最正确的给出内存四个分区名字:栈区、堆区、全局区(俗话也叫静态变量区)、代码区(也叫代码段)(代码段又分很多种,比如常量区)当然也会看到别的定义如:两者都正确,记那个都选,我选择的是第一个。再比如还有这样的分组: 这种分组是最正确的答案分别是 C C C A A A A A D A B。
26 1
|
4月前
|
存储 Linux C语言
C++/C的内存管理
本文主要讲解C++/C中的程序区域划分与内存管理方式。首先介绍程序区域,包括栈(存储局部变量等,向下增长)、堆(动态内存分配,向上分配)、数据段(存储静态和全局变量)及代码段(存放可执行代码)。接着探讨C++内存管理,new/delete操作符相比C语言的malloc/free更强大,支持对象构造与析构。还深入解析了new/delete的实现原理、定位new表达式以及二者与malloc/free的区别。最后附上一句鸡汤激励大家行动缓解焦虑。
|
7月前
|
存储 缓存 编译器
【硬核】C++11并发:内存模型和原子类型
本文从C++11并发编程中的关键概念——内存模型与原子类型入手,结合详尽的代码示例,抽丝剥茧地介绍了如何实现无锁化并发的性能优化。
307 68
|
5月前
|
安全 C语言 C++
彻底摘明白 C++ 的动态内存分配原理
大家好,我是V哥。C++的动态内存分配允许程序在运行时请求和释放内存,主要通过`new`/`delete`(用于对象)及`malloc`/`calloc`/`realloc`/`free`(继承自C语言)实现。`new`分配并初始化对象内存,`delete`释放并调用析构函数;而`malloc`等函数仅处理裸内存,不涉及构造与析构。掌握这些可有效管理内存,避免泄漏和悬空指针问题。智能指针如`std::unique_ptr`和`std::shared_ptr`能自动管理内存,确保异常安全。关注威哥爱编程,了解更多全栈开发技巧。 先赞再看后评论,腰缠万贯财进门。
257 0
|
7月前
|
存储 编译器 程序员
【C语言】内存布局大揭秘 ! -《堆、栈和你从未听说过的内存角落》
在C语言中,内存布局是程序运行时非常重要的概念。内存布局直接影响程序的性能、稳定性和安全性。理解C程序的内存布局,有助于编写更高效和可靠的代码。本文将详细介绍C程序的内存布局,包括代码段、数据段、堆、栈等部分,并提供相关的示例和应用。
212 5
【C语言】内存布局大揭秘 ! -《堆、栈和你从未听说过的内存角落》
|
6月前
|
存储 程序员 编译器
什么是内存泄漏?C++中如何检测和解决?
大家好,我是V哥。内存泄露是编程中的常见问题,可能导致程序崩溃。特别是在金三银四跳槽季,面试官常问此问题。本文将探讨内存泄露的定义、危害、检测方法及解决策略,帮助你掌握这一关键知识点。通过学习如何正确管理内存、使用智能指针和RAII原则,避免内存泄露,提升代码健壮性。同时,了解常见的内存泄露场景,如忘记释放内存、异常处理不当等,确保在面试中不被秒杀。最后,预祝大家新的一年工作顺利,涨薪多多!关注威哥爱编程,一起成为更好的程序员。
174 0
|
7月前
|
存储 缓存 算法
【C语言】内存管理函数详细讲解
在C语言编程中,内存管理是至关重要的。动态内存分配函数允许程序在运行时请求和释放内存,这对于处理不确定大小的数据结构至关重要。以下是C语言内存管理函数的详细讲解,包括每个函数的功能、标准格式、示例代码、代码解释及其输出。
213 6
|
机器学习/深度学习 Java C语言
c语言基础学习08_关于内存管理的复习
=============================================================================对于c语言来讲,内存管理是一个很重要的内容,它与指针是息息相关的,因为内存的管理都是通过指针来实现的。
1046 0
|
6月前
|
存储 算法 C语言
【C语言程序设计——函数】素数判定(头歌实践教学平台习题)【合集】
本内容介绍了编写一个判断素数的子函数的任务,涵盖循环控制与跳转语句、算术运算符(%)、以及素数的概念。任务要求在主函数中输入整数并输出是否为素数的信息。相关知识包括 `for` 和 `while` 循环、`break` 和 `continue` 语句、取余运算符 `%` 的使用及素数定义、分布规律和应用场景。编程要求根据提示补充代码,测试说明提供了输入输出示例,最后给出通关代码和测试结果。 任务核心:编写判断素数的子函数并在主函数中调用,涉及循环结构和条件判断。
310 23