我现在必须new一个对象!!!

简介: C++内存管理,手动开辟空间,我现在必须new一个对象!!!

目录

前言

1.new

2.delete

3.底层逻辑

4.定位new

5.对比


前言

🎃之前在使用C语言的时候,我们便使用 malloc calloc 等函数进行动态内存的开辟。但 C++ 之中又引入了两个操作符 new delete 来代替C语言中的函数进行动态内存的管理。下面就一起来学习如何使用吧。

image.gif编辑

1.new

🎃使用 new 比使用 malloc 方便许多,只需要 new+ 类型即可完成空间申请。而随着后面加的操作不同,能达到不一样的效果。

🎃不仅如此使用 new 之后不需要像 malloc 那样检查是否开辟成功,new 失败会自动抛异常(具体如何,以后再进行讲解)。

int main()
{
  int* p1 = new int;        //申请一个int大小的空间
  int* p2 = new int(3);     //申请一个int大小的空间并初始化成3
  int* p3 = new int[5];     //申请五个int大小的空间
    int* p4 = new int[5]{ 1,2,3,4,5 };  //申请五个int大小的空间并初始化
  return 0;
}

image.gif

🎃虽然说 C++ 中同样支持使用C语言的 malloc ,但在有些情况下会显得有些捉襟见肘,比如以下代码:

class A                //定义类A
{
public:
  A(int a = 0, int b = 0)
    :_a(a)
    , _b(b)
  {}
private:
  int _a;
  int _b;
};
int main()
{
  A* p1 = new A(2, 3);   //用new动态开辟
  A* p2 = (A*)malloc(sizeof(A));  //用malloc动态开辟
  if (p2 == NULL)
  {
    perror("malloc");
    return 0;
  }
  return 0;
}

image.gif

🎃通过调试我们可以看到,使用 new 开辟出来的空间是已经初始化好的,而使用 malloc 开辟的空间中则是随机值

image.gif编辑

🎃这是由于 new 对于自定义类型会调用其构造函数进行对象的初始化。若一次申请 n 个对象的连续,便会调用 n 次构造函数进行初始化。image.gif编辑

2.delete

🎃有开辟就有释放,delete 就是进行释放这个工作。只需要 delete 加空间的首指针便可完成释放,若释放多个对象的空间则需要使用 delete[ ]

int main()
{
  int* p1 = new int;        //申请一个int大小的空间
  int* p2 = new int(3);     //申请一个int大小的空间并初始化成3
  int* p3 = new int[5];     //申请五个int大小的空间
  delete p1;                //正常申请空间则直接delete
  delete p2;
  delete[] p3;              //带[]申请则也需要用delete[]进行释放
  return 0;
}

image.gif

🎃直接使用 delete[ ] ,没有告诉系统空间多大那系统是如何释放空间的呢?

🎃编译器在 new 的时候,若遇上多组开辟的情形时,会在开辟的空间前额外增加一个位置用于存储开辟空间的大小

image.gif编辑

🎃根据上文推导,delete 应该会调用类的析构函数进行回收。我们可以使用下面的代码进行验证一下。

class A
{
public:
  A(int a = 7, int b = 8)
    :_a(a)
    , _b(b)
  {
    cout << "A()" << endl;
  }
  ~A()
  {
    cout << "~A()";
  }
private:
  int _a;
  int _b;
};
int main()
{
  A* p1 = new A();
    delete p1;
  return 0;
}

image.gif

image.gif编辑image.gif编辑

🎃在当前代码中,只有使用了 delete 才会调用析构函数,而 free 只是单纯的释放空间。若在类之中再次进行动态开辟,而不调用析构函数进行回收时,便会出现内存泄漏

class A
{
public:
  A(int a = 0, int b = 0)
    :_a(a)
    , _b(new int(b))
  {
    cout << "A()" << endl;
  }
  ~A()
  {
    delete _b;
    cout << "~A()";
  }
private:
  int _a;
  int* _b;
};
int main()
{
  A* p1 = new A();
  return 0;
}

image.gif

🎃若在平时的工程之中引发内存泄漏,便会降低代码的运行效率。因此切记,new delete 必须要配合使用

3.底层逻辑

🎃通过查看系统文档,我们便能够找到两个全局函数。

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)
    {
        static const std::bad_alloc nomem;
        _RAISE(nomem);
    }
    return (p);
}
void operator delete(void* pUserData)
{
  _CrtMemBlockHeader* pHead;
  RTCCALLBACK(_RTC_Free_hook, (pUserData, 0));
  if (pUserData == NULL)
    return;
  _mlock(_HEAP_LOCK); 
  __TRY
    pHead = pHdr(pUserData);
  _ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse));
  _free_dbg(pUserData, pHead->nBlockUse);
  __FINALLY
    _munlock(_HEAP_LOCK);
  __END_TRY_FINALLY
  return;
}
#define free(p) _free_dbg(p, _NORMAL_BLOCK)

image.gif

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

🎃由上述的底层代码我们发现,operator new 实际也是通过 malloc 来申请空间,如果申请空间成功就直接返回,否则就抛异常。而operator delete 最终是通过 free 来释放空间的

🎃值得注意的是,operator new operator delete 是系统提供的全局函数,并不是运算符重载,只是恰好与其用了相同的名字。

🎃new delete 的本质上就是对 malloc free 的封装。

🎃new 便是先开辟空间再调用构造函数,而 delete 则是先调用析构函数再释放空间

4.定位new

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

class A
{
public:
  A(int a = 0)
    :_a(a)
  {}
  ~A()
  {}
private:
  int _a;
};
int main()
{
  A* p = (A*)malloc(sizeof(A));
  p = new(p)A;           //如果构造函数有参数则需要传参2
  return 0;
}

image.gif

🎃这个操作一般是不会用到的,因为正常情况下我们直接使用 new 就能达到这个结果,没有必要特意 malloc 一次再使用 new 。真正需要使用定位 new 的情况是当我们从内存池中申请空间后,由于这种申请出来的空间是未初始化的,因此需要调用构造函数,所以使用定位new进行初始化。

5.对比

    • malloc free函数new delete 操作符
    • malloc 申请的空间不会初始化,new 可以初始化。
    • malloc 申请空间时,需要手动计算空间大小并传递new 只需在其后跟上空间的类型即可,如果是多个对象,即在[ ]中指定对象个数。
    • malloc 的返回值为 void* , 在使用时必须强转new 不需要。
    • malloc 申请空间失败时,返回的是 NULL ,因此使用时必须判空new 不需要,new 失败则会进行抛异常。
    • 申请自定义类型对象时,malloc/free 只会开辟和清理空间,不会调用构造函数与析构函数,而 new 申请空间后调用构造函数完成对象的初始化delete 释放空间前调用析构函数完成空间中资源的清理

    🎃不要将 new/delete/malloc/free 混在一起使用,否则在特定的情况下便会导致程序崩溃。因此,最好将其区分使用,使用 new 就用 delete 使用 malloc 就用 free 释放。

    🎃好了,今天C++内存管理的讲解到这里就结束了,如果这篇文章对你有用的话还请留下你的三连加关注。

    目录
    相关文章
    |
    1月前
    |
    JSON 程序员 C#
    使用 C# 比较两个对象是否相等的7个方法总结
    比较对象是编程中的一项基本技能,在实际业务中经常碰到,比如在ERP系统中,企业的信息非常重要,每一次更新,都需要比较记录更新前后企业的信息,直接比较通常只能告诉我们它们是否指向同一个内存地址,那我们应该怎么办呢?分享 7 个方法给你!
    |
    7月前
    |
    C++
    C++中的对象
    C++中的对象
    58 2
    |
    7月前
    |
    测试技术 索引
    v-for 与对象
    v-for 与对象
    |
    前端开发
    67 # 对象的处理
    67 # 对象的处理
    37 0
    |
    存储 程序员 编译器
    C++都有对象了,你还没有吗?
    C++都有对象了,你还没有吗?
    89 0
    |
    Java 开发者 容器
    你有对象吗?
    你有对象吗?
    123 0
    |
    存储 JSON Java
    谈“对象“
    谈“对象“
    |
    算法 Java
    对象的比较
    本篇文章是对Java中一些常见的比较的总结,在涉及到比较方面,有元素的比较与对象的比较,下边博主来带领大家一起了解这些比较方式。
    114 0