软件测试精要.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 第6章 检查代码 内存管理 常见的内存错误 忘记了释放内存，造成内存泄露。 动态内存的申请与释放必须配对，程序中malloc 与free 的使用次数一定要相同，否则肯定有错误。 释放了内存却继续使用它。 程序中的对象调用关系过于复杂，实在难以搞清楚某个对象究竟是否已经释放了内存，此时应该重新设计数据结构，从根本上解决对象管理的混乱局面。 函数的return 语句写错了，注意不要返回指向“栈内存”的“指针”或者“引用”，因为该内存在函数体结束时被自动销毁。 使用free 或delete 释放了内存后，没有将指针设置为NULL。导致产生“野指针”。 * 延伸知识：高质量C/C++编程 第6章 检查代码 内存管理 指针与数组的对比 数组要么在静态存储区被创建(如全局数组)，要么在栈上被创建。数组名对应着(而不是指向)一块内存，其地址与容量在生命期内保持不变，只有数组的内容可以改变。 指针可以随时指向任意类型的内存块，它的特征是“可变”，所以我们常用指针来操作动态内存。指针远比数组灵活，但也更危险。 指针 ≠ 数组 * 延伸知识：高质量C/C++编程 第6章 检查代码 内存管理 指针与数组的对比——修改内容 * 延伸知识：高质量C/C++编程 第6章 检查代码 内存管理 指针与数组的对比——内容复制与比较 * 延伸知识：高质量C/C++编程 第6章 检查代码 内存管理 指针与数组的对比——计算内存容量 * 延伸知识：高质量C/C++编程 第6章 检查代码 内存管理 指针与数组的对比——指针参数是如何传递内存的？ * 延伸知识：高质量C/C++编程 第6章 检查代码 内存管理 指针与数组的对比——指针参数是如何传递内存的？ * 延伸知识：高质量C/C++编程 第6章 检查代码 内存管理 指针与数组的对比——指针参数是如何传递内存的？ * 延伸知识：高质量C/C++编程 第6章 检查代码 内存管理 指针与数组的对比——指针参数是如何传递内存的？ * 延伸知识：高质量C/C++编程 第6章 检查代码 内存管理 指针与数组的对比——指针参数是如何传递内存的？ * 延伸知识：高质量C/C++编程 第6章 检查代码 内存管理 指针与数组的对比——free 和delete 把指针怎么啦？ * 延伸知识：高质量C/C++编程 第6章 检查代码 内存管理 指针与数组的对比——动态内存会被自动释放吗？ 指针消亡了，并不表示它所指的内存会被自动释放——内存泄露 内存被释放了，并不表示指针会消亡或者成了NULL 指针——野指针 * 延伸知识：高质量C/C++编程 第6章 检查代码 内存管理 指针与数组的对比——有了malloc/free 为什么还要new/delete ？ malloc 与free 是C++/C 语言的标准库函数 malloc/free 是库函数而不是运算符，不在编译器控制权限之内，不能够把执行构造函数和析构函数， 光用maloc/free 无法满足动态对象的要求。 new/delete 是C++的运算符 运算符new能完成动态内存分配和初始化工作；运算符delete能完成清理与释放内存工作 如果用 free 释放“new 创建的动态对象”，那么该对象因无法执行析构函数而可能导致程序出错。 如果用delete 释放“malloc 申请的动态内存”，理论上讲程序不会出错，但是该程序的可读性很差 * 延伸知识：高质量C/C++编程 第6章 检查代码 内存管理 指针与数组的对比——有了malloc/free 为什么还要new/delete ？ * 延伸知识：高质量C/C++编程 第6章 检查代码 内存管理 指针与数组的对比——malloc/free 的使用要点 void * malloc(size_t size);用 malloc 申请一块长度为length 的整数类型的内存 int *p = (int *) malloc(sizeof(int) * length); malloc 返回值的类型是void *，所以在调用malloc 时要显式地进行类型转换，将void * 转换成所需要的指针类型。 malloc 函数本身并不识别要申请的内存是什么类型，它只关心内存的总字节数，在 malloc 的“()”中使用sizeof 运算符是良好的风格 void free( void * memblock ); 如果p 是NULL 指针，那么free 对p 无论操作多少