C和C++编程的内存管理

1.内存分配方式

(1)从静态存储区域分配。内存在程序编译的时候就已经分配好,这块内存在程序的整个运行期间都存在。如全局变量,static变量。

(2)在栈上创建。在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。

(3)从堆上分配,亦称动态内存分配。程序在运行的时候用malloc或new申请任意多少的内存,程序员自己负责在何时用free或delete释放内存。动态内存的生存期由我们决定,使用非常灵活,但问题也最多。

2.常见的内存错误及对策

1.内存分配未成功,却使用了它。

编程新手经常不考虑内存是否分配成功。解决办法在使用前检查指针是否为NULL。指针p是函数的参数,函数的入口处用assert(p!=NULL)检查。如果是malloc或new来申请内存,应该用if(p==NULL)或if(p!=NULL)防错处理。

2.内存分配成功,没有初始化。

内存的缺省初值究竟是什么并没有统一的标准,尽管有些时候为零值,我们宁可信其无不可信其有。所以无论用何种方式创建数组,都别忘了赋初值,即便是赋零值也不可省略,不可嫌麻烦。

3.内存分配成功且初始化,但操作越界。

使用数组时经常出现下标“多1”或者“少1”的操作。特别是在for循环语句中,循环次数很容易搞错,导致越界。

4.使用完忘记释放内存,造成内存泄漏。

动态申请的内存中,malloc与free的使用次数一定要相同,否则出错(new/delete同理)。

5.释放了内存却继续使用它。

一般是使用了free或delete释放了内存后,没有将指针设置NULL,出现“野指针”。

3.野指针

“野指针”不是NULL指针,是指向“垃圾”内存的指针。人们一般不会错用NULL指针,因为用if语句很容易判断。但是“野指针”是很危险的,if语句对它不起作用。

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

void func()
{
    int *ptr;    // 野指针
    if (ptr != nullptr) {
        ……do_somthing
    }
}

(b)指针p被free或者delete之后,没有置为NULL,让人误以为p是个合法的指针.

void func()
{
    int *ptr = new int[5];
    delete []ptr;
    // 执行完delete后,ptr野指针
}

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

void func()
{
    int *ptr = nullptr;
    {
        int a = 10;
        ptr = &a;
    } // a的作用域到此结束

    int b = *ptr;    // ptr指向a,a已经被回收,ptr野指针
}

4.指针与数组的对比

(a).指针和数组在不少地方可以相互替换着用,但两者不是等价的!

(b).数组要么在静态存储区被创建(如全局数组),要么在栈上被创建。数组名对应着(而不是指向)一块内存,其地址与容量在生命期内保持不变,只有数组的内容可以改变。

(c).指针可以随时指向任意类型的内存块,它的特征是“可变”,所以我们常用指针来操作动态内存。指针远比数组灵活,但也更危险。

(d).若想把数组a的内容复制给数组b,不能用语句 b = a ,应该用标准库函数strcpy进行复制

(f).比较数组b和a的内容是否相同,不能用if(b==a) 来判断,应该用标准库函数strcmp进行比较

(g).语句p = a 不是把a的内容复制指针p,而是把a的地址赋给了p。可以先用库函数malloc为p申请一块容量为strlen(a)+1个字符的内存,再用strcpy进行字符串复制。

(h).语句if(p==a) 比较的不是内容而是地址,应该用库函数strcmp来比较。

(i).用运算符sizeof可以计算出数组的容量(字节数)(注意别忘了’\0’)。

(j).C++/C语言没有办法知道指针所指的内存容量,除非在申请内存时记住它。

(k).注意当数组作为函数的参数进行传递时,该数组自动退化为同类型的指针。(即在函数内的用数组名的本质是相对应的指针)。

5.new 和 malloc 

(1)、new 是c++中的操作符,malloc是c 中的一个函数.

(2)、new 不止是分配内存,而且会调用类的构造函数,同理delete会调用类的析构函数,而malloc则只分配内存,不会进行初始化类成员的工作,同样free也不会调用析构函数. 

(3)、内存泄漏对于malloc或者new都可以检查出来的,区别在于new可以指明是那个文件的那一行,而malloc没有这些信息。

(4)、new 和 malloc效率比较 

(a)new可以认为是malloc加构造函数的执行。

(b)new出来的指针是直接带类型信息的 而malloc返回的都是void指针。

6.new / delete 和 malloc / free

(a)New/ delete 是运算符,malloc/free是函数

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

(c)对于非内部数据类型的对象而言,光用maloc/free无法满足动态对象的要求。对象在创建的同时要自动执行构造函数,对象在消亡之前要自动执行析构函 数。由于malloc/free是库函数而不是运算符,不在编译器控制权限之内,不能够把执行构造函数和析构函数的任务强加于malloc/free。

(d)不要企图用malloc/free来完成动态对象的内存管理,应该用new/delete。由于内部数据类型的“对象”没有构造与析构的过程,对它们而言malloc/free和new/delete是等价的。

(e)C++语言需要一个能完成动态内存分配和初始化工作的运算符new,以及一个能完成清理与释放内存工作的运算符delete。注意new/delete不是库函数.

(f)new delete在实现上其实调用了malloc,free函数。new operator除了分配内存,还要调用构造函数,malloc函数只是负责分配内存。 

(g)既然new/delete的功能完全覆盖了malloc/free,为什么C++不把malloc/free淘汰出局呢?这是因为C++程序经常要调用C函数,而C程序只能用malloc/free管理动态内存。如果用free释放“new创建的动态对象”,那么该对象因无法执行析构函数而可能导致程序出错。如果用delete释放“malloc申请的动态内存”, 理论上讲程序不会出错,但是该程序的可读性很差。所以new/delete必须配对使用,malloc/free也一样。

7.malloc/free 的使用要点

(a)malloc只关心两个要素:“类型转换”和“sizeof”

(b)malloc函数本身并不识别要申请的内存是什么类型,它只关心内存的总字节数.

(c)malloc返回值的类型是void *,所以在调用malloc时要显式地进行类型转换,将void * 转换成所需要的指针类型。

(d)语句free(p)之所以能正确地释放内存.是因为指针p的类型以及它所指的内存的容量事先都是知道的。如果p是NULL指针,那么free对p无论操作多少次都不会出问题。如果p不是NULL指针,那么free对p连续操作两次就会导致程序运行错误。

8.new/delete 的使用要点

(a)运算符new使用起来要比函数malloc简单得多,这是因为new内置了sizeof、类型转换和类型安全检查功能。对于非内部数据类型的对象而言,new在创建动态对象的同时完成了初始化工作。如果对象有多个构造函数,那么new的语句也可以有多种形式。

   例如:

   int  *p1 = (int *)malloc(sizeof(int) * length);

   int  *p2 = new int[length];

(b)如果用new创建对象数组,那么只能使用对象的无参数构造函数。

Obj  *objects = new Obj[100]; // 创建100个动态对象

(c)在用delete释放对象数组时,留意不要丢了符号“[]”。delete []objects; // 正确的用法

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值