【C】【笔记】《C语言深度剖析》第五章 内存管理

本文为个人读书笔记，仅供记录学习过程中遇到的日后需要留意的问题，如有相关版权问题请及时通知作者。

野指针

     也称悬垂指针，指向已经不存在的对象。要杜绝野指针，。定义指针变量的同时就初始化为NULL，用完指针后也将指针变量的值设置为NULL。

栈、堆、静态区

     堆栈就是栈，而不是堆。堆是heap，栈是stack

     静态区：保存自动全局变量和static变量（包括static全局和局部变量）。静态区的内容在整个程序的生命周期内都存在，由编译器在编译的时候分配。

     栈：保存局部变量。栈上的内容只在函数的范围内存在，当函数运行结束，这些内容也会自动被销毁。其特点是效率高，但空间大小有限。

     堆：由malloc系列函数或new操作符分配的内存。生命周期由free或delete决定，在没有释放之前一直存在，直到程序结束。特点是使用灵活，空间比较大，但容易出错。

常见内存错误及对策

指针没有指向一块合法的内存

     结构体成员指针未初始化，解决的办法是malloc一块空间。

     没有为结构体指针分配足够的内存。

    

     函数的入口校验：不管什么时候，我们使用指针之前一定要确保指针是有效的。

     一般在函数入口处使用assert（NULL！=p）对参数进行校验。在非参数的地方使用if（NULL！=p）来校验。都要求p在定义的同时被初始化NULL了。

     assert是一个宏，而不是函数，包含在assert.h头文件中。如果其后面括号里的值为假，则程序终止运行并提示出错；如果后面括号里的值为真，则继续运行后面的代码。这个宏只在Debug版本上起作用，而在Release版本被编译器完全优化掉。

为指针非配的内存太小

     尽量使用sizeof的写法。会提高代码的可移植性。

内存非配成功，但并未初始化

     在定义一个一个变量时，第一件事就是初始化。可以初始化为一个有效的值或0或NULL。

     memset（a,0,sizeof(a)）

     的哥参数是要被设置的内存的起始地址；第二个参数是要被设置的值，第三个参数是要被设置的内存大小单位byte

内存越界

     for循环的循环变量一定要使用半开半闭区间，如果不是特殊情况，循环变量尽量从0开始。

内存泄露

     会产生泄露的内存就是堆上的内存，也就是说由malloc系列函数或new操作符分配的内存。如果用完之后没有及时free或delete，这块内存就无法释放，直到整个程序终止。

     malloc原型： （void*）malloc（int size）

     malloc函数的返回值是一个void类型的指针，参数为int类型数据，即申请分配内存的大小，单位是byte。内存分配成功之后，malloc函数返回这块内存的首地址。需要一个指针来接受这个地址。但是由于函数的返回值是void *类型的，所以必须强制转换成接受的类型。

     如：char *p=（char *）malloc（100）；

     在堆上分配了100个字节内存，返回这块内存的首地址，把地址强制转换成char*类型后赋给char*类型的指针变量p。同时告诉我们这块内存将用来存储char类型的数据。也就是说你只能通过指针变量p来操作这块内存。这块内存本身没有名字，对它的访问时匿名访问。

     如果申请的内存块大于目前堆上剩余的内存块（整块），则内存分配会失败，函数返回NULL

     用mallc函数申请0字节的内存，函数不返回NULL，而是返回一个正常的内存地址。但是这块内存无法使用。

内存释放

     free函数只有一个参数，就是索要释放的内存块的首地址。

     如：free（p）

     free的实际上的作用就是切断指针变量与内存的联系。

     malloc与free要一一对应。

     内存释放之后要把P重新变为NULL

内存已经被释放，但是继续通过指针来调用

     1、free（p）之后继续通过p来访问内存。解决办法给P置NULL

     2、函数返回栈内存。如在函数内部定义了一个数组，却用return语句返回指向该数组的指针。

     3、内存使用太复杂。解决办法重新设计程序，改善对象之间的调用关系。