内存管理&结构体

一.内存存放位置

全局变量、静态局部变量保存在全局数据区，初始化的和未初始化的分别保存在一起；

普通局部变量保存在堆栈中；

全局变量和局部变量在内存里的区别？

预备知识—程序的内存分配:

一个由c/C++编译的程序占用的内存分为以下几个部分

1、栈区（stack）— 由编译器自动分配释放 ，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈。

2、堆区（heap） — 一般由程序员分配释放，若程序员不释放，程序结束时可能由OS回收。注意它与数据结构中的堆是两回事，分配方式倒是类似于链表，呵呵。

3、全局区（静态区）（static）—，全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域，未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。 - 程序结束后有系统释放

4、文字常量区 —常量字符串就是放在这里的。程序结束后由系统释放

5、程序代码区—存放函数体的二进制代码。

 注：

按我个人理解为了减少内存碎片的产生，编译器可能会将堆区又分为block和heap区。block由一系列大小相等的内存块组成。分配内存时先在block中分配，如果block占满则从heap区中分配。同时block的大小和个数可以通过配置文件进行配置，使之达到一个合适的数量。

二.指针和数组对比

在CC+程序中,指针和数组在不少地方可以相互替换着用,让人产生一种错觉,以为数组要么在静态存储区被创建(如全局数组),要么在栈上被创建。数组名对应着(而不是指向)一块内存,其地址与容量在生命期内保持不变,只有数组的内容可以改变。指针可以随时指向任意类型的内存块,它的特征是“可变”,所以常用指针来操作动态内存。指针远比数组灵活,但也更危险下面以字符串为例比较指针与数组的特性。

三.无参宏定义
#define 标识符 字符串
还要说明以下几点
(1) 宏定义是用宏名来表示符串,在宏展开时又以该字符串取代宏名,这只是种简单的代换,字符串中可以含任何字符,可以是常数,也可以是表达式,预处理程序对它不作任何检查。如有错误,只能在编译已被宏展开后的源程序时发现。
(2) 宏定义不是说明或语句,在行末不必加分号,如加上分号则连分号也一起置换。
(3) 宏定义必须写在函数之外,其作用域为宏定义命令起到源程序结束。如要终止其作用域可使用“#undef”。
(4)宏名在源程序中若用引号括起来,则预处理程序不对于其进行宏代换。
(5)宏定义允许嵌套,在宏定义的字符串中可以使用已经定义的宏名。在宏展开时由预处理程序层层代换。
(6)对“输出格式”作宏定义,可以减少书写麻烦。

四.形成野指针的原因：

  两种。第一种：指针变量没有初始化。任何指针变量刚被创建时不会自动成为NULL指针，它的默认值时随机的；第二种：指针p被free或者delete之后，没有置为NULL，让人 误以为p是个合法指针。

6、段错误以及调试方法：

   原因：没有权限；根本就不存在对应的物理存在；

   调试方法：利用gdb逐步查找段错误；

             分析core文件；

             段错误时启动调试；

             利用backtrace和objdump进行分析。

 

 

五、宏定义：#define

   宏定义是由源程序中的宏定义命令完成的，宏代换是由预处理程序自动完成的。

   无参宏定义形式：

   #define 标识符 字符串  

   带参宏定义

   #define 宏名（形参表） 字符串

 

六.文件包含的双引号和尖括号的区别：

   使用尖括号表示在包含文件目录中查找（包含目录是由用户在设置环境时设置的），而不在源文件目录去查找；使用双引号则表示首先在当前的源文件目录中查找，若未找到才到包含目录中查找。

 

七.条件编译的三种形式：

   第一种形式：#define 标识符

                 程序段1

               #else

                 程序段2

               #endif

   第二种形式：#ifndef 标识符

                 程序段1

               #else

                 程序段2

               #endif

   第三种形式：#if 常量表达式

                 程序段1

               #else

                 程序段2

               #endif

 

八.引用结构体变量中的成员：

（1）结构体变量名.成员名，如：“stu1.name”；

（2）结构体指针变量名->成员名，如：“ps->name”；

（3）（*结构体指针变量）.成员名，如：“（*ps）name”；

（4）结构体变量数组名.成员名，如：“stu[0].name”。

九.#define 和 typedef 的区别
typedef 只是为了增加可读性而为标识符另起的新名称(仅仅是个别名),而#define原本在C语言中是为了定义常量。到了C++语言, const，enum、inline的出现使它也渐渐成为了起别名的工具,有时很容易搞不清楚define与typedef两者到底该用哪个好,如“#define INT int ”这样的语句,用typedef一样可以完成,用哪个好呢?我主张用typedef,因为在早期的许多C编译器中这条语句是非法的,只是现今的编译器又做了扩充。为了尽可能地兼容,一般都遵循# define 定义“可读”的常量和一些宏语句,而typedef常用来定义关键字、冗长的类型的别名。宏定义只是简单的字符串代换(原地扩展),而typedef则不是原地扩展,它的新名字具有一定的封装性,以致新命名的标识符具有更易定义变量的功能( int*)PINT以及下面这行define PINT2 int

十. 常见内存错误及对策

(1) 内存分配未成功,却使用了它。编程新手常犯这种错误,因为他们没有意识到内存配会不成功。常用解决办法是,在使用内存之前检查指针是否为NULL。如果指针p是函数的参数,那么在函数的入口处用“assert(p!=NULL)”进行检查;如果是用malloc或new来申请内存,应该用“if（p==NULL)”或“if(p!=NULL)”进行防错处理。
(2) 内存分配虽然成功,但是尚未初始化就引用它。犯这种错误主要有两个原因是没有初始化的观念;二是误以为内存的默认初值全为零,导致引用初值错误(如数组)内存的默认初值究竟是什么并没有统一的标准,尽管有些时候为零值,我们宁可信其无不可信其有,所以无论用何种方式创建数组,都别忘了赋初值,即便是赋零值也不可省略,不要嫌麻烦。
(3) 内存分配成功并且已经初始化,但操作越过了内存的边界。例如,在使用数组时经常发生下标“多1”或者“少1”的操作,特别是在for循环语句中,循环次数很容易搞错,致数组操作越界。
(4) 忘记了释放内存,造成内存泄漏。含有这种错误的函数每被调用一次就丢失一块内存。刚开始时系统的内存充足,你看不到错误,总有一次程序会突然死掉,系统出现内存耗尽的提示。动态内存的申请与释放必须配对,程序中malloc与free的使用次数一定要相同，否则有错误(new/delete同理)