C++学习总结——内存管理和模板初阶

简介: C++学习总结——内存管理和模板初阶



一、new和delete

1、首先需要明确的是:它们两个是操作符,并不是像malloc那样是一个函数。

new:

int* p1 = new int;
int* p2 = new int(5);
int* p3 = new int[5];
int* p4 = new int[5]{1,2,3};
int* p5 = (int*)malloc(sizeof(int) * 5);

说明:第一个是直接申请一个int,第二个是申请一个int并且初始化为5,第三个是申请5个int的数组,第四个是申请5个int的数组并且初始化。

delete:

delete p1;
delete p2;
delete[] p3;
delete[] p4;
free(p5);

2、

对于内置类型,new / delete与malloc / free 的作用完全相同,都是在堆上申请空间,只有用法的区别。

但是对于自定义类型new和delete中的new可以自动调用构造函数去初始化类。delete会先调用析构函数,再去释放空间。

new失败不需要检查返回值,它失败是抛异常。


二、operator new函数和operator delete 函数

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

系统提供的全局函数,new在底层调用operator new全局函数来申请空间,delete在底层通过

operator delete全局函数来释放空间。

//new -> operator + 构造函数
//默认情况下operator new使用全局库里的
//每个类可以去实现自己专属的operator new -> new这个类对象,就会调用自己的operator new。
struct ListNode
{
  int _val;
  ListNode* _next;
  //内存池:预先开辟好的空间,想要就可以直接拿来用
  static allocator<ListNode> alloc;
  void* operator new(size_t n)
  {
    void* obj = alloc.allocate(1);
    return obj;
  }
  void operator delete(void* ptr)
  {
    alloc.deallocate((ListNode*)ptr, 1);
  }
  struct ListNode(int val) : _val(val), _next(nullptr)
  {}
};
int main()
{
//频繁申请ListNode就可以自己写operator new,这样可以不去malloc,自己订制内存池,提高效率
  ListNode* p1 = new ListNode(1);
  ListNode* p2 = new ListNode(2);
  ListNode* p3 = new ListNode(3);
    return 0;
}

三、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在释放空间前会调用析构函数完成

空间中资源的清理。


四、模板

1、 泛型编程

泛型编程:编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础。

如何实现一个通用的交换函数呢?一般来说,我们能想到下面的方式。

void Swap(int& left, int& right)
{
     int temp = left;
     left = right;
     right = temp;
}
void Swap(double& left, double& right)
{
     double temp = left;
     left = right;
     right = temp;
}
void Swap(char& left, char& right)
{
     char temp = left;
     left = right;
     right = temp;
}

使用函数重载虽然可以实现,但是有一下几个不好的地方:

1、重载的函数仅仅是类型不同,代码复用率比较低,只要有新类型出现时,就需要用户自己增加对应的函数。

2、代码的可维护性比较低,一个出错可能所有的重载均出错。

那能否告诉编译器一个模子,让编译器根据不同的类型利用该模子来生成代码呢?于是C++就产生了模板。

2、函数模板

函数模板概念:函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本。

格式:

template<typename T1, typename T2,......,typename Tn>

返回值类型 函数名(参数列表){}

template<typename T>
void Swap( T& left, T& right)
{
     T temp = left;
     left = right;
     right = temp;
}
template<class T>
T Add(const T& left, const T& right)
{
     return left + right;
}
int main()
{
     int a = 10;
     double b = 20.0;
     // 显式实例化
     Add<int>(a, b);
     return 0;
}

在编译器编译阶段,对于模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如:当用double类型使用函数模板时,编译器通过对实参类型的推演,将T确定

为double类型,然后产生一份专门处理double类型的代码,对于字符类型也是如此。

注:注意:typename是用来定义模板参数关键字也可以使用class(切记:不能使用struct代替class)。

3、类模板

template<class T1, class T2, ..., class Tn>
class 类模板名
{
 // 类内成员定义
};

例如一个栈的模板:

template<typename T>
class Stack
{
public:
    Stack(int capacity = 4) : _a(nullptr), _capacity(0), _top(0)
    {
        if(capacity > 0)
        {
            _a = new T[capacity];
            _capacity = capacity;
            _top = 0;
        }
    }
    ~Stack()
    {
        delete[] _a;
        _capacity = 0;
        _top = 0;
    }
private:
    T* _a;
    int _top;
    int _capacity;
};
int main()
{
    Stack<int> s1;
    Stack<char> s2;
    return 0;
}

注:类模板都是显示实例化。

目录
相关文章
|
2天前
|
编译器 C++
㉿㉿㉿c++模板的初阶(通俗易懂简化版)㉿㉿㉿
㉿㉿㉿c++模板的初阶(通俗易懂简化版)㉿㉿㉿
|
1月前
|
C++ 开发者
C++学习之继承
通过继承,C++可以实现代码重用、扩展类的功能并支持多态性。理解继承的类型、重写与重载、多重继承及其相关问题,对于掌握C++面向对象编程至关重要。希望本文能为您的C++学习和开发提供实用的指导。
58 16
|
2月前
|
算法 网络安全 区块链
2023/11/10学习记录-C/C++对称分组加密DES
本文介绍了对称分组加密的常见算法(如DES、3DES、AES和国密SM4)及其应用场景,包括文件和视频加密、比特币私钥加密、消息和配置项加密及SSL通信加密。文章还详细展示了如何使用异或实现一个简易的对称加密算法,并通过示例代码演示了DES算法在ECB和CBC模式下的加密和解密过程,以及如何封装DES实现CBC和ECB的PKCS7Padding分块填充。
67 4
2023/11/10学习记录-C/C++对称分组加密DES
|
3月前
|
安全 编译器 C++
【C++11】可变模板参数详解
本文详细介绍了C++11引入的可变模板参数,这是一种允许模板接受任意数量和类型参数的强大工具。文章从基本概念入手,讲解了可变模板参数的语法、参数包的展开方法,以及如何结合递归调用、折叠表达式等技术实现高效编程。通过具体示例,如打印任意数量参数、类型安全的`printf`替代方案等,展示了其在实际开发中的应用。最后,文章讨论了性能优化策略和常见问题,帮助读者更好地理解和使用这一高级C++特性。
112 4
|
3月前
|
算法 编译器 C++
【C++】模板详细讲解(含反向迭代器)
C++模板是泛型编程的核心,允许编写与类型无关的代码,提高代码复用性和灵活性。模板分为函数模板和类模板,支持隐式和显式实例化,以及特化(全特化和偏特化)。C++标准库广泛使用模板,如容器、迭代器、算法和函数对象等,以支持高效、灵活的编程。反向迭代器通过对正向迭代器的封装,实现了逆序遍历的功能。
47 3
|
4月前
|
编译器 C语言 C++
配置C++的学习环境
【10月更文挑战第18天】如果想要学习C++语言,那就需要配置必要的环境和相关的软件,才可以帮助自己更好的掌握语法知识。 一、本地环境设置 如果您想要设置 C++ 语言环境,您需要确保电脑上有以下两款可用的软件,文本编辑器和 C++ 编译器。 二、文本编辑器 通过编辑器创建的文件通常称为源文件,源文件包含程序源代码。 C++ 程序的源文件通常使用扩展名 .cpp、.cp 或 .c。 在开始编程之前,请确保您有一个文本编辑器,且有足够的经验来编写一个计算机程序,然后把它保存在一个文件中,编译并执行它。 Visual Studio Code:虽然它是一个通用的文本编辑器,但它有很多插
|
3月前
|
编译器 C++
【c++】模板详解(1)
本文介绍了C++中的模板概念,包括函数模板和类模板,强调了模板作为泛型编程基础的重要性。函数模板允许创建类型无关的函数,类模板则能根据不同的类型生成不同的类。文章通过具体示例详细解释了模板的定义、实例化及匹配原则,帮助读者理解模板机制,为学习STL打下基础。
45 0
|
2天前
|
编译器 C语言 C++
类和对象的简述(c++篇)
类和对象的简述(c++篇)
|
1月前
|
C++ 芯片
【C++面向对象——类与对象】Computer类(头歌实践教学平台习题)【合集】
声明一个简单的Computer类,含有数据成员芯片(cpu)、内存(ram)、光驱(cdrom)等等,以及两个公有成员函数run、stop。只能在类的内部访问。这是一种数据隐藏的机制,用于保护类的数据不被外部随意修改。根据提示,在右侧编辑器补充代码,平台会对你编写的代码进行测试。成员可以在派生类(继承该类的子类)中访问。成员,在类的外部不能直接访问。可以在类的外部直接访问。为了完成本关任务,你需要掌握。
68 19
|
1月前
|
存储 编译器 数据安全/隐私保护
【C++面向对象——类与对象】CPU类(头歌实践教学平台习题)【合集】
声明一个CPU类,包含等级(rank)、频率(frequency)、电压(voltage)等属性,以及两个公有成员函数run、stop。根据提示,在右侧编辑器补充代码,平台会对你编写的代码进行测试。​ 相关知识 类的声明和使用。 类的声明和对象的声明。 构造函数和析构函数的执行。 一、类的声明和使用 1.类的声明基础 在C++中,类是创建对象的蓝图。类的声明定义了类的成员,包括数据成员(变量)和成员函数(方法)。一个简单的类声明示例如下: classMyClass{ public: int
50 13