内存管理_高质量C++/C编程指南

最新推荐文章于 2024-07-15 17:36:06 发布
最新推荐文章于 2024-07-15 17:36:06 发布
阅读量39 收藏
点赞数
分类专栏： 高质量C++/C编程指南 文章标签： 1024程序员节 笔记 c语言 c++ 开发语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_51556066/article/details/134015043
版权

第七章 内存管理

参考：变量存放区域

文章目录

7.1 内存分配方式

  1. 从静态存储区域分配。内存在程序编译的时候就已经分配好，这块内存在程序的 整个运行期间都存在。例如全局变量，static 变量。
  2. 在栈上创建。在执行函数时，函数内局部变量的存储单元都可以在栈上创建，函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中，效率很高，但是分配的内存容量有限。
  3. 从堆上分配，亦称动态内存分配。程序在运行的时候用 malloc 或 new 申请任意 多少的内存，程序员自己负责在何时用 free 或 delete 释放内存。动态内存的生存期由我们决定，使用非常灵活，但问题也最多。

7.2 常见的内存错误

  1. 内存未分配成功，在使用内存之前检查指针是否为 NULL，使用用 assert(p!=NULL)或者if(p==NULL)进行检查以及预防。
  2. 内存分配虽然成功，但是尚未初始化就引用它。主要有两个起因：一是没有初始化的观念；二是误以为内存的缺省初值全为零，导致引用初值错误（例如数组） 。
  3. 内存分配成功并且已经初始化，但操作越过了内存的边界。，例如数组下标越界。
  4. 忘记了释放内存，造成内存泄露。
  5. 释放了内存却继续使用它。
  • 注意不要返回指向“栈内存”的“指针”或者“引用”， 因为该内存在函数体结束时被自动销毁。
  • 使用 free 或 delete 释放了内存后，没有将指针设置为 NULL，导致产生“野指针”。

7.3 指针与数组的对比

char a[] = "hello world"; 
char *p = a; 
cout<< sizeof(a) << endl; // 12 字节 
cout<< sizeof(p) << endl; // 4 字节

void Func(char a[100]) 
{ 
	cout<< sizeof(a) << endl; // 4 字节而不是 100 字节 
}

7.4 指针参数传内存

void GetMemory(char *p, int num) 
{ 
	p = (char *)malloc(sizeof(char) * num); 
    //编译器总是要为函数的每个参数制作临时副本，指针参数 p 的副本是 _p，编译器使 _p = p。如果函数体内的程序修改了_p 的内容，就导致参数 p 的内容作相应的修改。
} 
void Test(void) 
{ 
	char *str = NULL; 
	GetMemory(str, 100); // str 仍然为 NULL 
	strcpy(str, "hello"); //error运行错误
    //_p 申请了新的内存，只是把_p 所指的内存地址改变了，但是 p 丝毫未变。所以函数 GetMemory并不能输出任何东西。事实上，每执行一次 GetMemory 就会泄露一块内存，因为没有用free 释放内存。 
}

更改后：
//1、用指针参数去申请内存,需要用指针的指针
void GetMemory2(char **p, int num) //二级指针
{ 
	*p = (char *)malloc(sizeof(char) * num); 
}
void Test2(void) 
{ 
    char *str = NULL; 
    GetMemory2(&str, 100); // 注意参数是 &str，而不是 str 
    strcpy(str, "hello"); 
    cout<< str << endl; 
    free(str); 
}

//2、用函数返回值来传递动态内存
//注意：不要用 return 语句返回指向“栈内存”的指针，因为该内存在函数结束时自动消亡，数据无法保存
char *GetMemory3(int num) 
{ 
    char *p = (char *)malloc(sizeof(char) * num); //动态内存，堆区
    //char p[] = "hello world";	栈区
    return p; 
}
void Test3(void) 
{ 
    char *str = NULL; 
    str = GetMemory3(100); 
    strcpy(str, "hello"); 
    cout<< str << endl; 
    free(str); 
}

7.5 free和delete针对于指针

free和delete只是把指针所指的内存给 释放掉，但并没有把指针本身干掉。

char *p = (char *) malloc(100); 
strcpy(p, “hello”); 
free(p); // p 所指的内存被释放，但是 p 所指的地址仍然不变 
… 
if(p != NULL) // 没有起到防错作用 
{ 
	strcpy(p, “world”); // 出错 
}

p 被 free以后其地址仍然不变（非NULL），只是该地址对应的内存是垃圾，p 成了“野指针”。如果此时不把 p 设置为 NULL，会让人误以为 p 是个合法的指针。

野指针

野指针就是指针的指向方向的位置是不可知的（随机的、不正确的、没有明确限制的）。

“野指针”不是 NULL 指针，是指向“垃圾”内存的指针。

指针变量没有被初始化。任何指针变量刚被创建时不会自动成为 NULL 指针，它 的缺省值是随机的。所以，指针变量在创建的同时应当被初始化，要么 将指针设置为 NULL，要么让它指向合法的内存。

//1、指针未初始化
#include <stdio.h>
int main()
{
	int * p;//局部变量未初始化，默认随机值
	*p = 20;
	return 0;
}

指针操作超越了变量的作用范围。

class A 
{ 
public: 
	void Func(void){ cout << “Func of class A” << endl; } 
};

void Test(void) 
{ 
    A *p; 
    { 
        A a; 
        p = &a; // 注意 a 的生命期 
    } 
    p->Func(); // p 是“野指针” 
} 
//函数 Test 在执行语句 p->Func()时，对象 a 已经消失，而 p 是指向 a 的，所以 p 就成了“野指针”。

//2、指针访问越界
#include <stdio.h>
int main()
{
	int arr[] = { 0 };
	int *p = arr;
	for (int i = 0; i <= 11; i++)
	{
		//当指针指向范围外，p就是野指针
		*(p + i) = i;
	}
	return 0;
}

7.8 malloc/free与new/delete

参考1

参考2

operator new 和 operator delete

malloc与free是 C++/C 语言的标准库函数，new/delete 是 C++的运算符。它们都可用于申请动态内存和释放内存。

C++中针对于非内部数据类型的对象，对象每次在创建时需要自动执行构造函数，对象在消亡之前要自动执行析构函数，光用 maloc/free 无法满足动态对象的要求。因此 C++语言需要一个能完成动态内存分配和初始化工作的运算符 new，以及一个 能完成清理与释放内存工作的运算符 delete。注意 new/delete 不是库函数。

class Obj 
{ 
public : 
    Obj(void){ cout << “Initialization” << endl; } //构造函数
    ~Obj(void){ cout << “Destroy” << endl; } //析构函数
    void Initialize(void){ cout << “Initialization” << endl; } //模拟构造函数
    void Destroy(void){ cout << “Destroy” << endl; } //模拟析构函数
};

void UseMallocFree(void) 
{ 
    Obj *a = (obj *)malloc(sizeof(obj)); // 申请动态内存 
    a->Initialize(); // 初始化 
    //… 
    a->Destroy(); // 清除工作 
    free(a); // 释放内存 
}

void UseNewDelete(void) 
{ 
    Obj *a = new Obj; // 申请动态内存并且初始化 
    //… 
    delete a; // 清除并且释放内存 
}

由于内部数据类型的“对象”没有构造与析构的过程，对它们而言 malloc/free 和 new/delete 是等价的。

因为 C++程序经常要调用 C 函数，而 C 程序只能用 malloc/free 管理动态内存。

C的动态内存管理

//C的动态内存管理
int main()
{
    int n = 10;
    int *ipa = (int*)malloc(sizeof(int)*n);
    int *ipb = (int*)calloc(n,sizeof(int));
    ipa = (int*)realloc(ipa,sizeof(int)*n*2);
    //
    free(ipa);
    ipa = NULL;
    free(ipb);
    ipb = NULL;
    return 0;
}
malloc和free的使用
//函数malloc的原型如下： 
void * malloc(size_t size); 
//用 malloc 申请一块长度为 length 的整数类型的内存，程序如下： 
int *p = (int *) malloc(sizeof(int) * length);

//函数 free 的原型如下：
void free( void * memblock );
  • malloc返回值的类型是void *，所以在调用 malloc 时要显式地进行类型转换，将 void * 转换成所需要的指针类型。
  • malloc函数本身并不识别要申请的内存是什么类型，它只关心内存的总字节数。如 int 变量在 16 位系统 下是 2 个字节，在 32 位下是 4 个字节；而 float 变量在 16 位系统下是 4 个字节，在 32 位下也是 4 个字节。
  • 如果 p 是 NULL 指针， 那么 free 对 p 无论操作多少次都不会出问题。如果 p 不是 NULL 指针，那么 free 对 p 连续操作两次就会导致程序运行错误。

C++的动态内存管理

new和delete的使用
//C++的动态内存管理
//1、new运算符的使用
int main()
{
    int n = 10;
    int* ipa = new int(10); // 1 // 2;
    int* ipb = new int[n](10);
    int* ipc = new int[n] {1, 2, 3, 4, 5, 6, 7};
    delete ipa;
    delete[]ipb;
    delete[]ipc;
    return 0;
}

//2、new的函数方式使用
int main()
{
    int n = 10;
    int *ipa = (int*)::operator new(sizeof(int));
    // (int*)malloc(sizeof(int));
    int *ipb = (int*)::operator new(sizeof(int)*n);
    // (int*)malloc(sizeof(int)*n);
    ::operator delete(ipa);
    ::operator delete(ipb);
    return 0;
}

//3、定位new
int main()
{
    int n = 10;
    int* ipa = (int*)malloc(sizeof(int));
    int* ipb = (int*)::operator new(sizeof(int) * n);
    new(ipa) int(20);
    new(ipb) int[]{ 1,2,3,4,5,6,7,8,9 };
    free(ipa);
    ::operator delete(ipb);
    return 0;
}
new的种类
int *p1 = new int(20);

int *p2 = new (nothrow) int;//不抛出异常版本的new，返回值跟空判断。

const int *p3 = new const int(40);//开辟常量内存

//定位new  
int data = 0;
int *p4 = new (&data) int(50);
//在指定的内存上划分出4字节的内存赋值为50
cout << "data:" << data << endl;//data：50
operator new 和 operator delete

当我们在C++中使用new和delete时，其实执行的是全局的::operator new和::operator delete，不过这两个函数并没有重载new表达式或delete表达式。

可以重载operator new和operator delete来控制内存的分配和释放，但不能重载new表达式和delete表达式。也就是说，可以自定义的是实际的内存分配和释放，但不能自定义构造函数和析构函数的调用。
我们提供新的operator new函数和operator delete函数的目的在于改变内存分配的方式，但是不管怎样，都不能改变new运算符和delete运算符的基本含义。

void *operator new(size_t);     //allocate an object
void *operator delete(void *);    //free an object

void *operator new[](size_t);     //allocate an array
void *operator delete[](void *);    //free an array
一条new的三步骤
  1. new表达式调用一个名为operator new(或operator new[])的标准库函数，该函数分配一块足够大的、原始的、未命名的内存空间以便存储特定类型的对象(或者对象的数组)；
  2. 编译器运行相应的构造函数以构造这些对象，并为其传入初始值；
  3. 对象被分配了空间并构造完成，返回一个指向该对象的指针。
//new：分配空间--->调用构造函数初始化--->对象构造完成，返回一个指向该对象的指针。
// new表达式
std::string *sp = new std::string("a value");  // 分配并初始化一个std::string对象
std::string *arr = new std::string[10];        // 分配10个默认初始化的std::string对象
一条delete的两步骤
  1. 对所指对象或者对象数组执行对应的析构函数；
  2. 编译器调用名为operator delete或operator delete[]的标准库函数释放内存空间。
//delete：调用析构函数--->释放空间
// delete表达式
delete sp;          // 销毁*sp,然后释放sp指向的内存空间
delete [] arr;      // 销毁数组中的元素,然后释放对应的内存空间
总结

对于内置类型 new / delete / malloc/free 可以混用。

区别：

1、 new/delete 是C++中的运算符。 malloc / free 是函数。

2、 malloc申请内存空间时，手动计算所需大小，new只需类型名，自动计算大小；

3、 malloc申请的内存空间不会初始化，new可以初始化；

4、 malloc的返回值为void*, 接收时必须强转，new不需要；

5、 malloc申请内存空间失败时，返回的是NULL，使用时必须判空；

​ new申请内存空间失败时抛出异常bad_alloc，所以要有捕获异常处理程序。

VOnzz
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
关于《高质量C++/C编程指南》
yonghengzhimi的专栏
09-12 184
这本书是林锐博士写于2001年7月，现在都2012年了，相隔10年多， 用了两天时间看完这个100页的书，里面几乎没有废话，全是精炼的总结性的东西， 思路顺畅，语言流畅，看起来不费劲。 一共11章，其中1-6章的内容，和我自己的习惯是一致的，看此书之前已经是我的习惯了， 看了之后更加印证了正确性。 第7章，内存管理，我认为这一章是正本书中最精华的部分，是给我帮助最大的一部分。 8-11章对我的启发介于前两者之间。 以下是我觉得比较重要，或者说容易忘记的几条（因为可能不常用），列出来以备以后查阅，
高质量C++/C编程指南（林锐博士高清PDF版）
08-27
《高质量C++/C编程指南》是由林锐博士编著的一本经典编程书籍，它针对C++和C语言的编程实践提供了深入而实用的指导。这本书不仅适合初学者，也对有经验的开发者有着重要的参考价值。以下是书中涵盖的一些关键知识点...
高质量C/C++编程指南
weixin_72852519的博客
03-19 2037
本文档参考《高质量C++ C编程指南》及自己的心得编写，如有侵权，立刻删除！定义文件有三部分内容：（1）定义文件开头处的版权和版本声明；（2）对一些头文件的使用；（3）程序的实现体（包括数据和代码）假设定义文件的名称为header.cpp，定义文件的结构参见如下：//版权和版本说明见2.1.1，此处省略#include "header.h" //引用头文件...//全局函数的实现体...//类成员函数的实现体...
高质量C++/C编程指南
aqbhc的专栏
02-15 649
目 录前 言第 1 章 文件结构1.1 版权和版本的声明1.2 头文件的结构1.3 定义文件的结构1.4 头文件的作用1.5 目录结构第 2 章 程序的版式2.1 空行2.2 代码行2.3 代码行内的空格2.4 对齐2.5 长行拆分2.6 修饰符的位置2.7 注释2.8 类的版式第 3 章 命名规则3.1 共性规则3.2 简单的 WINDOWS 应用程序命名规则3.3 简单的 UNIX 应用程序命名规则第 4 章 表达式和基本语句4.1 运算符的优先级4.2 复合表达式4.3 IF 语句4.4 循环语句的效
高质量 C++/C 编程指南笔记——C语言部分【附带电子书】
The_bad的博客
07-19 861
对林锐博士的高质量 C++/C 编程指南的C语言部分做的笔记和提炼。
【读书笔记】《高质量C/C++编程指南》
phoenixFlyzzz的博客
06-12 2598
文件结构、程序版式、命名规则、表达式与基本语句、常量、函数设计、内存管理、C++高级特性
《高质量C/C++编程指南》第1期
超烦豆先森
04-20 1750
高质量C/C++编程指南、代码风格
《高质量C/C++编程指南》阅读总结
yuanxue_vaq的博客
04-17 2544
C/C++程序编写规范原著链接：https://download.csdn.net/download/zhangyuanxuevaq/10354477头文件的结构：【建议】 头文件中只存放“声明”而不存放“定义”在 C++ 语法中，类的成员函数可以在声明的同时被定义，并且自动成为内联函数。这虽然会带来书写上的方便，但却造成了风格不一致，弊大于利。建议将成员函数的定义与声明分开，不论该函数体有多么小...
高质量C++/C编程指南（林锐）
热门推荐
积累点滴，保持自我
08-17 3万+
版本/状态 作者 参与者 起止日期 备注 V 0.9 草稿文件 林锐     2001-7-1至 2001-7-18 林锐起草 V 1.0 正式文件 林锐     2001-7-18至 2001-7-24 朱洪海审查V 0.9，
高质量c/c++编程指南
king110108的专栏
08-23 1096
第7章 内存管理 欢迎进入内存这片雷区。伟大的Bill Gates 曾经失言： 640K ought to be enough for everybody — Bill Gates 1981 程序员们经常编写内存管理程序，往往提心吊胆。如果不想触雷，唯一的解决办法就是发现所有潜伏的地雷并且排除它们，躲是躲不了的。本章的内容比一般教科书的要深入得多，读者需细心阅读，做到真正地通晓内存管理。 7.1内...
c++/c语言（高质量程序设计指南林锐建议总结）
一个不甘于此的弱鸡
03-28 1248
第四章C++/C程序设计入门 . 4.1 在使用运算符&&的表达式中，要尽量把最可能为false中的子表达式放在 &&的左边；同样在使用运算符“||”的表达式中，要尽量把最可能为true的表达式放在“||”的左边。因为c++/c对逻辑表达式的判断采取“突然死亡法”（猝死法）； ***4.2*** 在if/else中，要尽量把为true的概率较高的条件的条件判断置...
高质量 C++C 编程指南_C编程规范_高质量C++C编程指南_C++编程规范_
09-29
以下是一些基于"高质量C++C编程指南"和"C++编程规范"的知识点，这些规范有助于提升软件质量并避免潜在的错误。 1. **命名规范**： - 变量、函数和类的命名应清晰、具有描述性，避免使用单字母或模糊的名称。 - ...
高质量c++c编程指南_c++编程_
09-29
在C++编程的世界里，掌握高质量的编程技巧是至关重要的，因为这直接影响到代码的可读性、可维护性和性能。本指南旨在帮助C++初学者提升编程技能，使其能够编写...阅读“高质量C++C编程指南.pdf”将对这个过程大有裨益。
VSCODE驯服笔记（一）
最新发布
敲代码的狸花猫
07-15 179
点击左下角的齿轮图标，然后选择 “Settings”。或者使用快捷键 Ctrl + ,（Windows/Linux）或 Cmd + ,（macOS）。
2024Datawhale AI夏令营---基于术语词典干预的机器翻译挑战赛--学习笔记
weixin_61573157的博客
07-15 680
机器翻译（Machine Translation，简称MT）是自然语言处理领域的一个重要分支，其目标是将一种语言的文本自动转换为另一种语言的文本。机器翻译的发展可以追溯到20世纪50年代，经历了从基于规则的方法、统计方法到深度学习方法的演变过程。当前，机器翻译正朝着更加智能化和个性化方向发展。一方面，结合上下文理解、情感分析等技术，提高翻译的准确性和自然度；另一方面，通过用户反馈和个性化学习，提供更加符合用户需求的翻译服务。同时，跨语言信息检索、多模态翻译等新兴领域也正在成为研究热点。
微信小程序开发笔记之”表单读不出数据“解决指南
qq_46396470的博客
07-12 314
脑瓜子好了后，忘记了表单控件必须要加上。提交后打印的字典是空的，卡了十几分钟。
算法刷题笔记 KMP字符串（C++实现，并给出了求next数组的独家简单理解方式）
hanmo22357的博客
07-12 807
一道经典且较难的算法题，给出了C++代码实现，以及自己对next数组求解的独家简单的理解方式。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值