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; // 正确的用法