高质量程序设计指南

第1章 高质量软件开发之道 11.1 软件质量基本概念 11.1.1 如何理解软件的质量 11.1.2 提高软件质量的基本方法 31.1.3 “零缺陷”理念 41.2 细说软件质量属性 41.2.1 正确性 41.2.2 健壮性 51.2.3 可靠性 51.2.4 性能 61.2.5 易用性 71.2.6 清晰性 71.2.7 安全性 71.2.8 可扩展性 81.2.9 兼容性 81.2.10 可移植性 81.3 人们关注的不仅仅是质量 91.3.1 质量、生产率和成本之间的关系 91.3.2 软件过程改进的基本概念 111.4 高质量软件开发的基本方法 131.4.1 建立软件过程规范 131.4.2 复用 151.4.3 分而治之 161.4.4 优化与折中 171.4.5 技术评审 181.4.6 测试 191.4.7 质量保证 211.4.8 改错 221.5 关于软件开发的一些常识和思考 241.5.1 有最好的编程语言吗 241.5.2 编程是一门艺术吗 241.5.3 编程时应该多使用技巧吗 241.5.4 换更快的计算机还是换更快的算法 251.5.5 错误是否应该分等级 251.5.6 一些错误的观念 251.6 小结 26第2章 编程语言发展简史 272.1 编程语言大事记 272.2 Ada的故事 302.3 C/C++发展简史 312.4 Borland与Microsoft之争 322.5 Java阵营与Microsoft的较量 332.6 小结 36第3章 程序的基本概念 373.1 程序设计语言 373.2 语言实现 383.3 程序库 403.4 开发环境 403.5 程序的工作原理 413.6 良好的编程习惯 42第4章 C++/C程序设计入门 454.1 C++/C程序的基本概念 454.1.1 启动函数main() 454.1.2 命令行参数 474.1.3 内部名称 484.1.4 连接规范 494.1.5 变量及其初始化 514.1.6 C Runtime Library 524.1.7 编译时和运行时的不同 524.1.8 编译单元和独立编译技术 544.2 基本数据类型和内存映像 544.3 类型转换 564.3.1 隐式转换 564.3.2 强制转换 584.4 标识符 604.5 转义序列 614.6 运算符 624.7 表达式 634.8 基本控制结构 654.9 选择（判断）结构 654.9.1 布尔变量与零值比较 664.9.2 整型变量与零值比较 674.9.3 浮点变量与零值比较 674.9.4 指针变量与零值比较 694.9.5 对if语句的补充说明 704.9.6 switch结构 704.10 循环（重复）结构 714.10.1 for语句的循环控制变量 724.10.2 循环语句的效率 734.11 结构化程序设计原理 784.12 goto/continue/break语句 794.13 示例 80第5章 C++/C常量 855.1 认识常量 855.1.1 字面常量 855.1.2 符号常量 865.1.3 契约性常量 875.1.4 枚举常量 875.2 正确定义符号常量 875.3 const与#define的比较 885.4 类中的常量 895.5 实际应用中如何定义常量 90第6章 C++/C函数设计基础 956.1 认识函数 956.2 函数原型和定义 966.3 函数调用方式 976.4 认识函数堆栈 996.5 函数调用规范 1006.6 函数连接规范 1016.7 参数传递规则 1026.8 返回值的规则 1046.9 函数内部实现的规则 1076.10 存储类型及作用域规则 1096.10.1 存储类型 1096.10.2 作用域规则 1106.10.3 连接类型 1116.11 递归函数 1136.12 使用断言 1166.13 使用const提高函数的健壮性 1186.13.1 用const修饰函数的参数 1186.13.2 用const修饰函数的返回值 119第7章 C++/C指针、数组和字符串 1217.1 指针 1217.1.1 指针的本质 1217.1.2 指针的类型及其支持的运算 1237.1.3 指针传递 1257.2 数组 1267.2.1 数组的本质 1267.2.2 二维数组 1287.2.3 数组传递 1297.2.4 动态创建、初始化和删除数组的方法 1317.3 字符数组、字符指针和字符串 1337.3.1 字符数组、字符串和‘\0’的关系 1337.3.2 字符指针的误区 1347.3.3 字符串拷贝和比较 1347.4 函数指针 1357.5 引用和指针的比较 137第8章 C++/C高级数据类型 1418.1 结构（Struct） 1418.1.1 关键字struct与class的困惑 1418.1.2 使用struct 1428.1.3 位域 1458.1.4 成员对齐 1478.2 联合（Union） 1598.3 枚举（Enum） 1618.4 文件 163第9章 C++/C编译预处理 1659.1 文件包含 1659.1.1 内部包含卫哨和外部包含卫哨 1659.1.2 头文件包含的合理顺序 1669.2 宏定义 1669.3 条件编译 1699.3.1 #if、#elif和#else 1699.3.2 #ifdef 和 #ifndef 1709.4 #error 1719.5 #pragma 1719.6 #和##运算符 1719.7 预定义符号常量 172第10章 C++/C文件结构和程序版式 17510.1 程序文件的目录结构 17510.2 文件的结构 17610.2.1 头文件的用途和结构 17610.2.2 版权和版本信息 17710.2.3 源文件结构 17810.3 代码的版式 17810.3.1 适当的空行 17810.3.2 代码行及行内空格 17910.3.3 长行拆分 18010.3.4 对齐与缩进 18110.3.5 修饰符的位置 18210.3.6 注释风格 18210.3.7 ADT/UDT版式 183第11章 C++/C应用程序命名规则 18511.1 共性规则 18511.2 简单的Windows应用程序命名 186第12章 C++面向对象程序设计方法概述 18912.1 漫谈面向对象 18912.2 对象的概念 19012.3 信息隐藏与类的封装 19112.4 类的继承特性 19512.5 类的组合特性 20012.6 动态特性 20112.6.1 虚函数 20212.6.2 抽象基类 20212.6.3 动态绑定 20512.6.4 运行时多态 20712.6.5 多态数组 20812.7 C++对象模型 21512.7.1 对象的内存映像 21512.7.2 隐含成员 22412.7.3 C++编译器如何处理成员函数 22512.7.4 C++编译器如何处理静态成员 22512.8 小结 226第13章 对象的初始化、拷贝和析构 22913.1 构造函数与析构函数的起源 22913.2 为什么需要构造函数和析构函数 23013.3 构造函数的成员初始化列表 23213.4 对象的构造和析构次序 23413.5 构造函数和析构函数的调用时机 23513.6 构造函数和赋值函数的重载 23613.7 示例：类String的构造函数和析构函数 23813.8 何时应该定义拷贝构造函数和拷贝赋值函数 23913.9 示例：类String的拷贝构造函数和拷贝赋值函数 24013.10 用偷懒的办法处理拷贝构造函数和拷贝赋值函数 24213.11 如何实现派生类的基本函数 243第14章 C++函数的高级特性 24714.1 函数重载的概念 24714.1.1 重载的起源 24714.1.2 重载是如何实现的 24714.1.3 当心隐式类型转换导致重载函数产生二义性 24914.2 成员函数的重载、覆盖与隐藏 25014.2.1 重载与覆盖 25014.2.2 令人迷惑的隐藏规则 25114.2.3 摆脱隐藏 25314.3 参数的默认值 25414.4 运算符重载 25514.4.1 基本概念 25514.4.2 运算符重载的特殊性 25614.4.3 不能重载的运算符 25714.4.4 重载++和-- 25714.5 函数内联 25914.5.1 用函数内联取代宏 25914.5.2 内联函数的编程风格 26014.5.3 慎用内联 26114.6 类型转换函数 26114.7 const成员函数 264第15章 C++异常处理和RTTI 26715.1 为什么要使用异常处理 26715.2 C++异常处理 26815.2.1 异常处理的原理 26815.2.2 异常类型和异常对象 26915.2.3 异常处理的语法结构 27015.2.4 异常的类型匹配规则 27215.2.5 异常说明及其冲突 27215.2.6 当异常抛出时局部对象如何释放 27315.2.7 对象构造和析构期间的异常 27315.2.8 如何使用好异常处理技术 27515.2.9 C++的标准异常 27815.3 虚函数面临的难题 27815.4 RTTI及其构成 28015.4.1 起源 28015.4.2 typeid运算符 28115.4.3 dynamic_cast<>运算符 28315.4.4 RTTI的魅力与代价 285第16章 内存管理 28716.1 内存分配方式 28716.2 常见的内存错误及其对策 28816.3 指针参数是如何传递内存的 28916.4 free和delete把指针怎么啦 29116.5 动态内存会被自动释放吗 29216.6 杜绝“野指针” 29216.7 有了malloc/free为什么还要new/delete 29316.8 malloc/free的使用要点 29516.9 new有3种使用方式 29616.9.1 plain new/delete 29616.9.2 nothrow new/delete 29716.9.3 placement new/delete 29716.10 new/delete的使用要点 30016.11 内存耗尽怎么办 30116.12 用对象模拟指针 30216.13 泛型指针auto_ptr 30516.14 带有引用计数的智能指针 30616.15 智能指针作为容器元素 310第17章 学习和使用STL 32317.1 STL简介 32317.2 STL头文件的分布 32417.2.1 容器类 32417.2.2 泛型算法 32517.2.3 迭代器 32517.2.4 数学运算库 32517.2.5 通用工具 32517.2.6 其他头文件 32617.3 容器设计原理 32617.3.1 内存映像 32617.3.2 存储方式和访问方式 32717.3.3 顺序容器和关联式容器的比较 32817.3.4 如何遍历容器 33117.3.5 存储空间重分配问题 33217.3.6 什么样的对象才能作为STL容器的元素 33317.4 迭代器 33417.4.1 迭代器的本质 33417.4.2 迭代器失效及其危险性 33817.5 存储分配器 34617.6 适配器 34717.7 泛型算法 35017.8 一些特殊的容器 35417.8.1 string类 35417.8.2 bitset并非set 35517.8.3 节省存储空间的vector<bool> 35717.8.4 空容器 35817.9 STL容器特征总结 36017.10 STL使用心得 362附录A C++/C试题 365附录B C++/C试题答案与评分标准 369附录C 大学十年 375附录D 《大学十年》后记 393附录E 术语与缩写解释 395参考文献 397

第1章 高质量软件开发之道 11.1 软件质量基本概念 11.1.1 如何理解软件的质量 11.1.2 提高软件质量的基本方法 31.1.3 “零缺陷”理念 41.2 细说软件质量属性 41.2.1 正确性 41.2.2 健壮性 51.2.3 可靠性 51.2.4 性能 61.2.5 易用性 71.2.6 清晰性 71.2.7 安全性 71.2.8 可扩展性 81.2.9 兼容性 81.2.10 可移植性 81.3 人们关注的不仅仅是质量 91.3.1 质量、生产率和成本之间的关系 91.3.2 软件过程改进的基本概念 111.4 高质量软件开发的基本方法 131.4.1 建立软件过程规范 131.4.2 复用 151.4.3 分而治之 161.4.4 优化与折中 171.4.5 技术评审 181.4.6 测试 191.4.7 质量保证 211.4.8 改错 221.5 关于软件开发的一些常识和思考 241.5.1 有最好的编程语言吗 241.5.2 编程是一门艺术吗 241.5.3 编程时应该多使用技巧吗 241.5.4 换更快的计算机还是换更快的算法 251.5.5 错误是否应该分等级 251.5.6 一些错误的观念 251.6 小结 26第2章 编程语言发展简史 272.1 编程语言大事记 272.2 Ada的故事 302.3 C/C++发展简史 312.4 Borland与Microsoft之争 322.5 Java阵营与Microsoft的较量 332.6 小结 36第3章 程序的基本概念 373.1 程序设计语言 373.2 语言实现 383.3 程序库 403.4 开发环境 403.5 程序的工作原理 413.6 良好的编程习惯 42第4章 C++/C程序设计入门 454.1 C++/C程序的基本概念 454.1.1 启动函数main() 454.1.2 命令行参数 474.1.3 内部名称 484.1.4 连接规范 494.1.5 变量及其初始化 514.1.6 C Runtime Library 524.1.7 编译时和运行时的不同 524.1.8 编译单元和独立编译技术 544.2 基本数据类型和内存映像 544.3 类型转换 564.3.1 隐式转换 564.3.2 强制转换 584.4 标识符 604.5 转义序列 614.6 运算符 624.7 表达式 634.8 基本控制结构 654.9 选择（判断）结构 654.9.1 布尔变量与零值比较 664.9.2 整型变量与零值比较 674.9.3 浮点变量与零值比较 674.9.4 指针变量与零值比较 694.9.5 对if语句的补充说明 704.9.6 switch结构 704.10 循环（重复）结构 714.10.1 for语句的循环控制变量 724.10.2 循环语句的效率 734.11 结构化程序设计原理 784.12 goto/continue/break语句 794.13 示例 80第5章 C++/C常量 855.1 认识常量 855.1.1 字面常量 855.1.2 符号常量 865.1.3 契约性常量 875.1.4 枚举常量 875.2 正确定义符号常量 875.3 const与#define的比较 885.4 类中的常量 895.5 实际应用中如何定义常量 90第6章 C++/C函数设计基础 956.1 认识函数 956.2 函数原型和定义 966.3 函数调用方式 976.4 认识函数堆栈 996.5 函数调用规范 1006.6 函数连接规范 1016.7 参数传递规则 1026.8 返回值的规则 1046.9 函数内部实现的规则 1076.10 存储类型及作用域规则 1096.10.1 存储类型 1096.10.2 作用域规则 1106.10.3 连接类型 1116.11 递归函数 1136.12 使用断言 1166.13 使用const提高函数的健壮性 1186.13.1 用const修饰函数的参数 1186.13.2 用const修饰函数的返回值 119第7章 C++/C指针、数组和字符串 1217.1 指针 1217.1.1 指针的本质 1217.1.2 指针的类型及其支持的运算 1237.1.3 指针传递 1257.2 数组 1267.2.1 数组的本质 1267.2.2 二维数组 1287.2.3 数组传递 1297.2.4 动态创建、初始化和删除数组的方法 1317.3 字符数组、字符指针和字符串 1337.3.1 字符数组、字符串和‘\0’的关系 1337.3.2 字符指针的误区 1347.3.3 字符串拷贝和比较 1347.4 函数指针 1357.5 引用和指针的比较 137第8章 C++/C高级数据类型 1418.1 结构（Struct） 1418.1.1 关键字struct与class的困惑 1418.1.2 使用struct 1428.1.3 位域 1458.1.4 成员对齐 1478.2 联合（Union） 1598.3 枚举（Enum） 1618.4 文件 163第9章 C++/C编译预处理 1659.1 文件包含 1659.1.1 内部包含卫哨和外部包含卫哨 1659.1.2 头文件包含的合理顺序 1669.2 宏定义 1669.3 条件编译 1699.3.1 #if、#elif和#else 1699.3.2 #ifdef 和 #ifndef 1709.4 #error 1719.5 #pragma 1719.6 #和##运算符 1719.7 预定义符号常量 172第10章 C++/C文件结构和程序版式 17510.1 程序文件的目录结构 17510.2 文件的结构 17610.2.1 头文件的用途和结构 17610.2.2 版权和版本信息 17710.2.3 源文件结构 17810.3 代码的版式 17810.3.1 适当的空行 17810.3.2 代码行及行内空格 17910.3.3 长行拆分 18010.3.4 对齐与缩进 18110.3.5 修饰符的位置 18210.3.6 注释风格 18210.3.7 ADT/UDT版式 183第11章 C++/C应用程序命名规则 18511.1 共性规则 18511.2 简单的Windows应用程序命名 186第12章 C++面向对象程序设计方法概述 18912.1 漫谈面向对象 18912.2 对象的概念 19012.3 信息隐藏与类的封装 19112.4 类的继承特性 19512.5 类的组合特性 20012.6 动态特性 20112.6.1 虚函数 20212.6.2 抽象基类 20212.6.3 动态绑定 20512.6.4 运行时多态 20712.6.5 多态数组 20812.7 C++对象模型 21512.7.1 对象的内存映像 21512.7.2 隐含成员 22412.7.3 C++编译器如何处理成员函数 22512.7.4 C++编译器如何处理静态成员 22512.8 小结 226第13章 对象的初始化、拷贝和析构 22913.1 构造函数与析构函数的起源 22913.2 为什么需要构造函数和析构函数 23013.3 构造函数的成员初始化列表 23213.4 对象的构造和析构次序 23413.5 构造函数和析构函数的调用时机 23513.6 构造函数和赋值函数的重载 23613.7 示例：类String的构造函数和析构函数 23813.8 何时应该定义拷贝构造函数和拷贝赋值函数 23913.9 示例：类String的拷贝构造函数和拷贝赋值函数 24013.10 用偷懒的办法处理拷贝构造函数和拷贝赋值函数 24213.11 如何实现派生类的基本函数 243第14章 C++函数的高级特性 24714.1 函数重载的概念 24714.1.1 重载的起源 24714.1.2 重载是如何实现的 24714.1.3 当心隐式类型转换导致重载函数产生二义性 24914.2 成员函数的重载、覆盖与隐藏 25014.2.1 重载与覆盖 25014.2.2 令人迷惑的隐藏规则 25114.2.3 摆脱隐藏 25314.3 参数的默认值 25414.4 运算符重载 25514.4.1 基本概念 25514.4.2 运算符重载的特殊性 25614.4.3 不能重载的运算符 25714.4.4 重载++和-- 25714.5 函数内联 25914.5.1 用函数内联取代宏 25914.5.2 内联函数的编程风格 26014.5.3 慎用内联 26114.6 类型转换函数 26114.7 const成员函数 264第15章 C++异常处理和RTTI 26715.1 为什么要使用异常处理 26715.2 C++异常处理 26815.2.1 异常处理的原理 26815.2.2 异常类型和异常对象 26915.2.3 异常处理的语法结构 27015.2.4 异常的类型匹配规则 27215.2.5 异常说明及其冲突 27215.2.6 当异常抛出时局部对象如何释放 27315.2.7 对象构造和析构期间的异常 27315.2.8 如何使用好异常处理技术 27515.2.9 C++的标准异常 27815.3 虚函数面临的难题 27815.4 RTTI及其构成 28015.4.1 起源 28015.4.2 typeid运算符 28115.4.3 dynamic_cast<>运算符 28315.4.4 RTTI的魅力与代价 285第16章 内存管理 28716.1 内存分配方式 28716.2 常见的内存错误及其对策 28816.3 指针参数是如何传递内存的 28916.4 free和delete把指针怎么啦 29116.5 动态内存会被自动释放吗 29216.6 杜绝“野指针” 29216.7 有了malloc/free为什么还要new/delete 29316.8 malloc/free的使用要点 29516.9 new有3种使用方式 29616.9.1 plain new/delete 29616.9.2 nothrow new/delete 29716.9.3 placement new/delete 29716.10 new/delete的使用要点 30016.11 内存耗尽怎么办 30116.12 用对象模拟指针 30216.13 泛型指针auto_ptr 30516.14 带有引用计数的智能指针 30616.15 智能指针作为容器元素 310第17章 学习和使用STL 32317.1 STL简介 32317.2 STL头文件的分布 32417.2.1 容器类 32417.2.2 泛型算法 32517.2.3 迭代器 32517.2.4 数学运算库 32517.2.5 通用工具 32517.2.6 其他头文件 32617.3 容器设计原理 32617.3.1 内存映像 32617.3.2 存储方式和访问方式 32717.3.3 顺序容器和关联式容器的比较 32817.3.4 如何遍历容器 33117.3.5 存储空间重分配问题 33217.3.6 什么样的对象才能作为STL容器的元素 33317.4 迭代器 33417.4.1 迭代器的本质 33417.4.2 迭代器失效及其危险性 33817.5 存储分配器 34617.6 适配器 34717.7 泛型算法 35017.8 一些特殊的容器 35417.8.1 string类 35417.8.2 bitset并非set 35517.8.3 节省存储空间的vector<bool> 35717.8.4 空容器 35817.9 STL容器特征总结 36017.10 STL使用心得 362附录A C++/C试题 365附录B C++/C试题答案与评分标准 369附录C 大学十年 375附录D 《大学十年》后记 393附录E 术语与缩写解释 395参考文献 397
· · · · · · (收起)