【C++学习】C++的动态内存管理 | new和delete的底层 | 初识模板

简介: 【C++学习】C++的动态内存管理 | new和delete的底层 | 初识模板

1. C++的动态内存管理

上一篇文章已经大致介绍完new和delete的用法,


以及C++和C语言两种动态内存管理方式的区别,这里简单总结一下:


1. 动态申请内置类型的数据:


new/malloc除了用法上面,其他方面没什么区别。


2. 动态申请自定义类型的数据:


new/malloc除了用法上面,new/delete还会调用构造函数初识化和析构函数。


2. new和delete的底层

来看:




我们可以看到,new和delete实际上是调用这两个全局函数:


operator new 和 operator delete,而这两个库函数其实我们也可以直接使用


来看代码:



#include 
using namespace std;
int main()
{
  int* p1 = new int;
  delete p1;
  int* p2 = (int*)operator new(sizeof(int));
  operator delete(p2);
  return 0;
}

我们可以看到,从用法上来看,这两个函数的用法是和malloc和free是一样的,


我这里在来看:


new的malloc之间的区别,


new的功能:开空间 + 构造函数


malloc功能:开空间


实际上,new的底层开空间就是直接使用的malloc,但是


面向对象的语言处理失败,不喜欢用返回值,更建议用抛异常,而malloc失败返回的是空,


所以实际上operator new是对malloc的一个封装,如果申请失败,operator new就会抛异常,


所以new就是使用operator new开空间 + 调用构造函数。


3. 定位new

定位new的作用是显示调用构造函数,


在平时,构造函数都是自动调用的,在创建对象的时候自动调用,


在使用new的时候也会自动调用构造函数,


来看这段代码:


#include 
using namespace std;
class A {
public:
  A()
  {
  cout << "A()" << endl;
  }
  ~A()
  {
  cout << "~A()" << endl;
  }
};
int main()
{
  A* p1 = new A;
  delete p1;
  //使用定位new模拟new的功能
  A* p2 = (A*)malloc(sizeof(A));
  new(p2)A; 
  p2->~A();
  free(p2);
  return 0;
}

输出:


A()
~A()
A()
~A()

定位new的用法就是这样:new(p2)A;new(指针)类型。


当然,如果需要传参也可以:new(p2)A(1),这样给构造函数传参。


4. new和malloc 的区别总结

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在释放空间前会调用析构函数完成空间中资源的清理。


总结:


前四个是特性和用法之间的不同,


后面两个是底层实现的不同:返回值/抛异常,调用构造和析构函数


5. 模板

模板是个好东西,


我先来看这样一段代码:


#include 
using namespace std;
void Swap(int& x, int& y) {
  int tmp = x;
  x = y;
  y = tmp;
}
void Swap(double& x, double& y) {
  double tmp = x;
  x = y;
  y = tmp;
}
void Swap(char& x, char& y) {
  char tmp = x;
  x = y;
  y = tmp;
}
int main()
{
  return 0;
}


我们在学了函数重载之后,可以通过这种方式,


让我们对这几个类型都能使用交换操作,但是,这样全部写一遍也太麻烦了,


这还只是三个类型,如果有更多的类型呢?


那该怎么办呢?


来看代码:

#include 
using namespace std;
//也可以这样写:template
template
void Swap(T& x, T& y) {
  T tmp = x;
  x = y;
  y = tmp;
}
int main()
{
  int a1 = 10, b1 = 20;
  double a2 = 1.1, b2 = 2.2;
  char a3 = 'a', b3 = 'b';
  Swap(a1, b1);
  Swap(a2, b2);
  Swap(a3, b3);
  return 0;
}



使用了模板之后,就能支持所有类型的交换了,


模板的那个T就是模板参数,它定义的是类型。


这个时候又有一个问题了,那这三个Swap调用的是同一个函数吗?


我们来看看汇编怎么说:



发现没有,三个函数的地址是不同的,他们是调用的是三个不一样的函数,


因为这个Swap只是一个模板,他会根据你的调用生成对应的函数,


而这个过程称之为模板的实例化。


就像这张图一样:



所以实际上我们调用的还是这些具体的函数,


最终是编译器承担了这一切,承担了我们需要干的活。


写在最后:

以上就是本篇文章的内容了,感谢你的阅读。


如果感到有所收获的话可以给博主点一个赞哦。


如果文章内容有遗漏或者错误的地方欢迎私信博主或者在评论区指出~


相关文章
|
16天前
|
算法 网络安全 区块链
2023/11/10学习记录-C/C++对称分组加密DES
本文介绍了对称分组加密的常见算法(如DES、3DES、AES和国密SM4)及其应用场景,包括文件和视频加密、比特币私钥加密、消息和配置项加密及SSL通信加密。文章还详细展示了如何使用异或实现一个简易的对称加密算法,并通过示例代码演示了DES算法在ECB和CBC模式下的加密和解密过程,以及如何封装DES实现CBC和ECB的PKCS7Padding分块填充。
40 4
2023/11/10学习记录-C/C++对称分组加密DES
|
3月前
|
编译器 C语言 C++
配置C++的学习环境
【10月更文挑战第18天】如果想要学习C++语言,那就需要配置必要的环境和相关的软件,才可以帮助自己更好的掌握语法知识。 一、本地环境设置 如果您想要设置 C++ 语言环境,您需要确保电脑上有以下两款可用的软件,文本编辑器和 C++ 编译器。 二、文本编辑器 通过编辑器创建的文件通常称为源文件,源文件包含程序源代码。 C++ 程序的源文件通常使用扩展名 .cpp、.cp 或 .c。 在开始编程之前,请确保您有一个文本编辑器,且有足够的经验来编写一个计算机程序,然后把它保存在一个文件中,编译并执行它。 Visual Studio Code:虽然它是一个通用的文本编辑器,但它有很多插
|
3月前
|
程序员 C语言 C++
C++入门5——C/C++动态内存管理(new与delete)
C++入门5——C/C++动态内存管理(new与delete)
94 1
|
3月前
|
Java 编译器 C++
c++学习,和友元函数
本文讨论了C++中的友元函数、继承规则、运算符重载以及内存管理的重要性,并提到了指针在C++中的强大功能和使用时需要注意的问题。
31 1
|
2月前
|
存储 编译器 C语言
【c++丨STL】string类的使用
本文介绍了C++中`string`类的基本概念及其主要接口。`string`类在C++标准库中扮演着重要角色,它提供了比C语言中字符串处理函数更丰富、安全和便捷的功能。文章详细讲解了`string`类的构造函数、赋值运算符、容量管理接口、元素访问及遍历方法、字符串修改操作、字符串运算接口、常量成员和非成员函数等内容。通过实例演示了如何使用这些接口进行字符串的创建、修改、查找和比较等操作,帮助读者更好地理解和掌握`string`类的应用。
59 2
|
2月前
|
存储 编译器 C++
【c++】类和对象(下)(取地址运算符重载、深究构造函数、类型转换、static修饰成员、友元、内部类、匿名对象)
本文介绍了C++中类和对象的高级特性,包括取地址运算符重载、构造函数的初始化列表、类型转换、static修饰成员、友元、内部类及匿名对象等内容。文章详细解释了每个概念的使用方法和注意事项,帮助读者深入了解C++面向对象编程的核心机制。
110 5
|
2月前
|
存储 编译器 C++
【c++】类和对象(中)(构造函数、析构函数、拷贝构造、赋值重载)
本文深入探讨了C++类的默认成员函数,包括构造函数、析构函数、拷贝构造函数和赋值重载。构造函数用于对象的初始化,析构函数用于对象销毁时的资源清理,拷贝构造函数用于对象的拷贝,赋值重载用于已存在对象的赋值。文章详细介绍了每个函数的特点、使用方法及注意事项,并提供了代码示例。这些默认成员函数确保了资源的正确管理和对象状态的维护。
109 4
|
2月前
|
存储 编译器 Linux
【c++】类和对象(上)(类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针)
本文介绍了C++中的类和对象,包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用,以及如何使用访问限定符控制成员的访问权限。此外,还讨论了对象的内存分配规则和this指针的使用场景,帮助读者深入理解面向对象编程的核心概念。
140 4
|
3月前
|
存储 编译器 对象存储
【C++打怪之路Lv5】-- 类和对象(下)
【C++打怪之路Lv5】-- 类和对象(下)
34 4
|
3月前
|
编译器 C语言 C++
【C++打怪之路Lv4】-- 类和对象(中)
【C++打怪之路Lv4】-- 类和对象(中)
33 4