高质量C++-C编程指南.pdf

0H Back to man.ChinaU 1HLinux/Unix及其下应用的技术手册文档 http:/ 高质量 C+/C 编程指南 文件标识：当前版本：1.0 作 者：林锐 博士 文件状态 草稿文件 正式文件 更改正式文件 完成日期：2001 年 7 月 24 日 版 本 历 史 版本/状态 作者 参与者 起止日期 备注 V 0.9 草稿文件 林锐 2001-7-1 至 2001-7-18 林锐起草 V 1.0 正式文件 林锐 2001-7-18 至 2001-7-24 朱洪海审查 V 0.9，林锐修正草稿中的错误 目目 录录 2H前前 言言.6 3H第第 1 章章 文件结构文件结构.11 4H1.1 版权和版本的声明.11 5H1.2 头文件的结构.12 6H1.3 定义文件的结构.13 7H1.4 头文件的作用.13 8H1.5 目录结构.14 9H第第 2 章章 程序的版式程序的版式.15 10H2.1 空行.15 11H2.2 代码行.16 12H2.3 代码行内的空格.17 13H2.4 对齐.18 14H2.5 长行拆分.19 15H2.6 修饰符的位置.19 16H2.7 注释.20 17H2.8 类的版式.21 18H第第 3 章章 命名规则命名规则.22 19H3.1 共性规则.22 20H3.2 简单的WINDOWS应用程序命名规则.23 21H3.3 简单的UNIX应用程序命名规则.25 22H第第 4 章章 表达式和基本语句表达式和基本语句.26 23H4.1 运算符的优先级.26 24H4.2 复合表达式.27 25H4.3 IF 语句.27 26H4.4 循环语句的效率.29 27H4.5 FOR 语句的循环控制变量.30 28H4.6 SWITCH语句.30 29H4.7 GOTO语句.31 30H第第 5 章章 常量常量.33 31H5.1 为什么需要常量.33 32H5.2 CONST 与#DEFINE的比较.33 33H5.3 常量定义规则.33 34H5.4 类中的常量.34 35H第第 6 章章 函数设计函数设计.36 36H6.1 参数的规则.36 37H6.2 返回值的规则.37 38H6.3 函数内部实现的规则.39 39H6.4 其它建议.40 40H6.5 使用断言.41 41H6.6 引用与指针的比较.42 42H第第 7 章章 内存管理内存管理.44 43H7.1 内存分配方式.44 44H7.2 常见的内存错误及其对策.44 45H7.3 指针与数组的对比.45 46H7.4 指针参数是如何传递内存的？.47 47H7.5 FREE和DELETE把指针怎么啦？.50 48H7.6 动态内存会被自动释放吗？.50 49H7.7 杜绝“野指针”.51 50H7.8 有了MALLOC/FREE为什么还要NEW/DELETE？.52 51H7.9 内存耗尽怎么办？.53 52H7.10 MALLOC/FREE 的使用要点.54 53H7.11 NEW/DELETE 的使用要点.55 54H7.12 一些心得体会.56 55H第第 8 章章 C+函数的高级特性函数的高级特性.57 56H8.1 函数重载的概念.57 57H8.2 成员函数的重载、覆盖与隐藏.60 58H8.3 参数的缺省值.63 59H8.4 运算符重载.64 60H8.5 函数内联.65 61H8.6 一些心得体会.68 62H第第 9 章章 类的构造函数、析构函数与赋值函数类的构造函数、析构函数与赋值函数.69 63H9.1 构造函数与析构函数的起源.69 64H9.2 构造函数的初始化表.70 65H9.3 构造和析构的次序.72 66H9.4 示例：类STRING的构造函数与析构函数.72 67H9.5 不要轻视拷贝构造函数与赋值函数.73 68H9.6 示例：类STRING的拷贝构造函数与赋值函数.73 69H9.7 偷懒的办法处理拷贝构造函数与赋值函数.75 70H9.8 如何在派生类中实现类的基本函数.75 71H9.9 一些心得体会.77 72H第第 10 章章 类的继承与组合类的继承与组合.78 73H10.1 继承.78 74H10.2 组合.80 75H第第 11 章章 其它编程经验其它编程经验.82 76H11.1 使用CONST提高函数的健壮性.82 77H11.2 提高程序的效率.84 78H11.3 一些有益的建议.85 79H参考文献参考文献.87 80H附录附录A：C+/C代码审查表代码审查表.88 81H附录附录B：C+/C试题试题.93 82H附录附录C：C+/C试题的答案与评分标准试题的答案与评分标准.97 0B前前 言言 软件质量是被大多数程序员挂在嘴上而不是放在心上的东西！除了完全外行和真正的编程高手外，初读本书，你最先的感受将是惊慌：“哇！我以前捏造的 C+/C 程序怎么会有那么多的毛病？”别难过，作者只不过比你早几年、多几次惊慌而已。请花一两个小时认真阅读这本百页经书，你将会获益匪浅，这是前面 N-1 个读者的建议。一、编程老手与高手的误区一、编程老手与高手的误区 自从计算机问世以来，程序设计就成了令人羡慕的职业，程序员在受人宠爱之后容易发展成为毛病特多却常能自我臭美的群体。如今在 Internet 上流传的“真正”的程序员据说是这样的：(1)(1)真正的程序员没有进度表，只有讨好领导的马屁精才有进度表，真正的程序员会让领导提心吊胆。(2)(2)真正的程序员不写使用说明书，用户应当自己去猜想程序的功能。(3)(3)真正的程序员几乎不写代码的注释，如果注释很难写，它理所当然也很难读。(4)(4)真正的程序员不画流程图，原始人和文盲才会干这事。(5)(5)真正的程序员不看参考手册，新手和胆小鬼才会看。(6)(6)真正的程序员不写文档也不需要文档，只有看不懂程序的笨蛋才用文档。(7)(7)真正的程序员认为自己比用户更明白用户需要什么。(8)(8)真正的程序员不接受团队开发的理念，除非他自己是头头。(9)(9)真正的程序员的程序不会在第一次就正确运行，但是他们愿意守着机器进行若干个30 小时的调试改错。(10)(10)真正的程序员不会在上午 9:00 到下午 5:00 之间工作，如果你看到他在上午 9:00 工作，这表明他从昨晚一直干到现在。具备上述特征越多，越显得水平高，资格老。所以别奇怪，程序员的很多缺点竟然可以被当作优点来欣赏。就象在武侠小说中，那些独来独往、不受约束且带点邪气的高手最令人崇拜。我曾经也这样信奉，并且希望自己成为那样的“真正”的程序员，结果没有得到好下场。我从读大学到博士毕业十年来一直勤奋好学，累计编写了数十万行 C+/C 代码。有这样的苦劳和疲劳，我应该称得上是编程老手了吧？我开发的软件都与科研相关（集成电路 CAD 和 3D 图形学领域），动辄数万行程序，技术复杂，难度颇高。这些软件频频获奖，有一个软件获得首届中国大学生电脑大赛软件展示一等奖。在 1995 年开发的一套图形软件库到 2000 年还有人买。罗列出这些“业绩”，可以说明我算得上是编程高手了吧？可惜这种个人感觉不等于事实。读博期间我曾用一年时间开发了一个近 10 万行 C+代码的 3D 图形软件产品，我内心得意表面谦虚地向一位真正的软件高手请教。他虽然从未涉足过 3D 图形领域，却在几十分 钟内指出该软件多处重大设计错误。让人感觉那套软件是用纸糊的华丽衣服，扯一下掉一块，戳一下破个洞。我目瞪口呆地意识到这套软件毫无实用价值，一年的心血白化了，并且害死了自己的软件公司。人的顿悟通常发生在最心痛的时刻，在沮丧和心痛之后，我作了深刻反省，“面壁”半年，重新温习软件设计的基础知识。补修“内功”之后，又觉得腰板硬了起来。博士毕业前半年，我曾到微软中国研究院找工作，接受微软公司一位资深软件工程师的面试。他让我写函数 strcpy 的代码。太容易了吧？错！这么一个小不点的函数，他从三个方面考查：（1）编程风格；（2）出错处理；（3）算法复杂度分析（用于提高性能）。在大学里从来没有人如此严格地考查过我的程序。我化了半个小时，修改了数次，他还不尽满意，让我回家好好琢磨。我精神抖擞地进“考场”，大汗淋漓地出“考场”。这“高手”当得也太窝囊了。我又好好地反省了一次。我把反省后的心得体会写成文章放在网上传阅，引起了不少软件开发人员的共鸣。我因此有幸和国产大型 IT 企业如华为、上海贝尔、中兴等公司的同志们广泛交流。大家认为提高质量与生产率是软件工程要解决的核心问题。高质量程序设计是非常重要的环节，毕竟软件是靠编程来实现的。我们心目中的老手们和高手们能否编写出高质量的程序来？不见得都能！就我的经历与阅历来看，国内大学的计算机教育压根就没有灌输高质量程序设计的观念，教师们和学生们也很少自觉关心软件的质量。勤奋好学的程序员长期在低质量的程序堆中滚爬，吃尽苦头之后才有一些心得体会，长进极慢，我就是一例。现在国内 IT 企业拥有学士、硕士、博士文凭的软件开发人员比比皆是，但他们在接受大学教育时就“先天不足”，岂能一到企业就突然实现质的飞跃。试问有多少软件开发人员对正确性、健壮性、可靠性、效率、易用性、可读性（可理解性）、可扩展性、可复用性、兼容性、可移植性等质量属性了如指掌？并且能在实践中运用自如？。“高质量”可不是干活小心点就能实现的！我们有充分的理由疑虑：（1）编程老手可能会长期用隐含错误的方式编程（习惯成自然），发现毛病后都不愿相信那是真的！（2）编程高手可以在某一领域写出极有水平的代码，但未必能从全局把握软件质量的方方面面。事实证明如此。我到上海贝尔工作一年来，陆续面试或测试过近百名“新”“老”程序员的编程技能，质量合格率大约是 10。很少有人能够写出完全符合质量要求的 if 语句，很多程序员对指针、内存管理一知半解，。领导们不敢相信这是真的。我做过现场试验：有一次部门新进 14 名硕士生，在开欢迎 会之前对他们进行“C+/C 编程技能”摸底考试。我问大家试题难不难？所有的人都回答不难。结果没有一个人及格，有半数人得零分。竞争对手公司的朋友们也做过试验，同样一败涂地。真的不是我“心狠手辣”或者要求过高，而是很多软件开发人员对自己的要求不够高。要知道华为、上海贝尔、中兴等公司的员工素质在国内 IT 企业中是比较前列的，倘若他们的编程质量都如此差的话，我们怎么敢期望中小公司拿出高质量的软件呢？连程序都编不好，还谈什么振兴民族软件产业，岂不胡扯。我打算定义编程老手和编程高手，请您别见笑。定义 1：能长期稳定地编写出高质量程序的程序员称为编程老手。定义 2：能长期稳定地编写出高难度、高质量程序的程序员称为编程高手。根据上述定义，马上得到第一推论：我既不是高手也算不上是老手。在写此书前，我阅读了不少程序设计方面的英文著作，越看越羞惭。因为发现自己连编程基本技能都未能全面掌握，顶多算是二流水平，还好意思谈什么老手和高手。希望和我一样在国内土生土长的程序员朋友们能够做到：（1）知错就改；（2）经常温故而知新；（3）坚持学习，天天向上。二、本书导读二、本书导读 首先请做附录 B 的 C+/C 试题（不要看答案），考查自己的编程质量究竟如何。然后参照答案严格打分。（1）如果你只得了几十分，请不要声张，也不要太难过。编程质量差往往是由于不良习惯造成的，与人的智力、能力没有多大关系，还是有药可救的。成绩越差，可以进步的空间就越大，中国不就是在落后中赶超发达资本主义国家吗？只要你能下决心改掉不良的编程习惯，第二次考试就能及格了。（2）如果你考及格了，表明你的技术基础不错，希望你能虚心学习、不断进步。如果你还没有找到合适的工作单位，不妨到上海贝尔试一试。（3）如果你考出 85 分以上的好成绩，你有义务和资格为你所在的团队作“C+/C 编程”培训。希望你能和我们多多交流、相互促进。半年前我曾经发现一颗好苗子，就把他挖到我们小组来。（4）如果你在没有任何提示的情况下考了满分，希望你能收我做你的徒弟。编程考试结束后，请阅读本书的正文。本书第一章至第六章主要论述 C+/C 编程风格。难度不高，但是细节比较多。别小看了，提高质量就是要从这些点点滴滴做起。世上不存在最好的编程风格，一切因需求而定。团队开发讲究风格一致，如果制定了大家认可的编程风格，那么所有组员都要遵守。如果读者觉得本书的编程风格比较合你的工作，那么就采用它，不要只看不做。人在小时候说话发音不准，写字潦草，如果不改正，总有后悔的时候。编程也是同样道理。第七章至第十一章是专题论述，技术难度比较高，看书时要积极思考。特别是第七章“内存管理”，读了并不表示懂了，懂了并不表示就能正确使用。有一位同事看了第七章后觉得“野指针”写得不错，与我切磋了一把。可是过了两周，他告诉我，他忙了两天追查出一个Bug，想不到又是“野指针”出问题，只好重读第七章。光看本书对提高编程质量是有限的，建议大家阅读本书的参考文献，那些都是经典名著。如果你的编程质量已经过关了，不要就此满足。如果你想成为优秀的软件开发人员，建议你阅读并按照 CMMI 规范做事，让自己的综合水平上升一个台阶。上海贝尔的员工可以向网络应用事业部软件工程研究小组索取 CMMI 有关资料，最好能参加培训。三、版权声明三、版权声明 本书的大部分内容取材于作者一年前的书籍手稿（尚未出版），现整理汇编成为上海贝尔网络应用事业部的一个规范化文件，同时作为培训教材。由于 C+/C 编程是众所周知的技术，没有秘密可言。编程的好经验应该大家共享，我们自己也是这么学来的。作者愿意公开本书的电子文档。版权声明如下：（1）读者可以任意拷贝、修改本书的内容，但不可以篡改作者及所属单位。（2）未经作者许可，不得出版或大量印发本书。（3）如果竞争对手公司的员工得到本书，请勿公开使用，以免发生纠纷。预计到 2002 年 7 月，我们将建立切合中国国情的 CMMI 3 级解决方案。届时，包括本书在内的约 1000 页规范将严格受控。欢迎读者对本书提出批评建议。林锐，2001 年 7 月 1B第第 1 章章 文件结构文件结构 每个 C+/C 程序通常分为两个文件。一个文件用于保存程序的声明（declaration），称为头文件。另一个文件用于保存程序的实现（implementation），称为定义（definition）文件。C+/C 程序的头文件以“.h”为后缀，C 程序的定义文件以“.c”为后缀，C+程序的定义文件通常以“.cpp”为后缀（也有一些系统以“.cc”或“.cxx”为后缀）。16B1.1 版权和版本的声明版权和版本的声明 版权和版本的声明位于头文件和定义文件的开头（参见示例 1-1），主要内容有：（1）版权信息。（2）文件名称，标识符，摘要。（3）当前版本号，作者/修改者，完成日期。（4）版本历史信息。/*Copyright(c)2001,上海贝尔有限公司网络应用事业部*All rights reserved.*文件名称：filename.h*文件标识：见配置管理计划书*摘 要：简要描述本文件的内容*当前版本：1.1*作 者：输入作者（或修改者）名字*完成日期：2001 年 7 月 20 日*取代版本：1.0 *原作者 ：输入原作者（或修改者）名字*完成日期：2001 年 5 月 10 日*/示例 1-1 版权和版本的声明 17B1.2 头文件的结构头文件的结构 头文件由三部分内容组成：（1）头文件开头处的版权和版本声明（参见示例 1-1）。（2）预处理块。（3）函数和类结构声明等。假设头文件名称为 graphics.h，头文件的结构参见示例 1-2。?【规则【规则 1-2-1】为了防止头文件被重复引用，应当用 ifndef/define/endif 结构产生预处理块。?【规则【规则 1-2-2】用#include 格式来引用标准库的头文件（编译器将从标准库目录开始搜索）。?【规则【规则 1-2-3】用#include“filename.h”格式来引用非标准库的头文件（编译器将从用户的工作目录开始搜索）。?【建议【建议 1-2-1】头文件中只存放“声明”而不存放“定义”在 C+语法中，类的成员函数可以在声明的同时被定义，并且自动成为内联函数。这虽然会带来书写上的方便，但却造成了风格不一致，弊大于利。建议将成员函数的定义与声明分开，不论该函数体有多么小。?【建议【建议 1-2-2】不提倡使用全局变量，尽量不要在头文件中出现象 extern int value 这类声明。/版权和版本声明见示例 1-1，此处省略。#ifndef GRAPHICS_H/防止 graphics.h 被重复引用#define GRAPHICS_H#include /引用标准库的头文件#include“myheader.h”/引用非标准库的头文件 void Function1();/全局函数声明 class Box /类结构声明 ;#endif 示例 1-2 C+/C 头文件的结构 18B1.3 定义文件的结构定义文件的结构 定义文件有三部分内容：（1）（1）定义文件开头处的版权和版本声明（参见示例 1-1）。（2）（2）对一些头文件的引用。（3）（3）程序的实现体（包括数据和代码）。假设定义文件的名称为 graphics.cpp，定义文件的结构参见示例 1-3。/版权和版本声明见示例 1-1，此处省略。#include“graphics.h”/引用头文件 /全局函数的实现体 void Function1()/类成员函数的实现体 void Box:Draw()示例 1-3 C+/C 定义文件的结构 19B1.4 头文件的作用头文件的作用 早期的编程语言如 Basic、Fortran 没有头文件的概念，C+/C 语言的初学者虽然会用使用头文件，但常常不明其理。这里对头文件的作用略作解释：（1）通过头文件来调用库功能。在很多场合，源代码不便（或不准）向用户公布，只要向用户提供头文件和二进制的库即可。用户只需要按照头文件中的接口声明来调用库功能，而不必关心接口怎么实现的。编译器会从库中提取相应的代码。（2）头文件能加强类型安全检查。如果某个接口被实现或被使用时，其方式与头文件中的声明不一致，编译器就会指出错误，这一简单的规则能大大减轻程序员调试、改错的负担。20B1.5 目录结构目录结构 如果一个软件的头文件数目比较多（如超过十个），通常应将头文件和定义文件分别保存于不同的目录，以便于维护。例如可将头文件保存于 include 目录，将定义文件保存于 source 目录（可以是多级目录）。如果某些头文件是私有的，它不会被用户的程序直接引用，则没有必要公开其“声明”。为了加强信息隐藏，这些私有的头文件可以和定义文件存放于同一个目录。2B第第 2 章章 程序的版式程序的版式 版式虽然不会影响程序的功能，但会影响可读性。程序的版式追求清晰、美观，是程序风格的重要构成因素。可以把程序的版式比喻为“书法”。好的“书法”可让人对程序一目了然，看得兴致勃勃。差的程序“书法”如螃蟹爬行，让人看得索然无味，更令维护者烦恼有加。请程序员们学习程序的“书法”，弥补大学计算机教育的漏洞，实在很有必要。21B2.1 空行空行 空行起着分隔程序段落的作用。空行得体（不过多也不过少）将使程序的布局更加清晰。空行不会浪费内存，虽然打印含有空行的程序是会多消耗一些纸张，但是值得。所以不要舍不得用空行。?【规则【规则 2-1-1】在每个类声明之后、每个函数定义结束之后都要加空行。参见示例2-1（a）?【规则【规则 2-1-2】在一个函数体内，逻揖上密切相关的语句之间不加空行，其它地方应加空行分隔。参见示例 2-1（b）/空行 void Function1()/空行 void Function2()/空行 void Function3()/空行 while(condition)statement1;/空行 if(condition)statement2;else statement3;/空行 statement4;示例 2-1(a)函数之间的空行 示例 2-1(b)函数内部的空行 22B2.2 代码行代码行?【规则【规则 2-2-1】一行代码只做一件事情，如只定义一个变量，或只写一条语句。这样的代码容易阅读，并且方便于写注释。?【规则【规则 2-2-2】if、for、while、do 等语句自占一行，执行语句不得紧跟其后。不论执行语句有多少都要加。这样可以防止书写失误。示例 2-2（a）为风格良好的代码行，示例 2-2（b）为风格不良的代码行。int width;/宽度 int height;/高度 int depth;/深度 int width,height,depth;/宽度高度深度 x=a+b;y=c+d;z=e+f;X a+b;y=c+d;z=e+f;if(width height)dosomething();if(width=”、“=”、“+”、“*”、“%”、“&”、“|”、“”这类操作符前后不加空格。?【建议【建议 2-3-1】对于表达式比较长的 for 语句和 if 语句，为了紧凑起见可以适当地去掉一些空格，如 for(i=0;i10;i+)和 if(a=b)&(c=2000)/良好的风格 if(year=2000)/不良的风格 if(a=b)&(c=b&c=d)/不良的风格 for(i=0;i10;i+)/良好的风格 for(i=0;i10;i+)/不良的风格 for(i=0;I 10;i+)/过多的空格 x=a b?a:b;/良好的风格 x=aFunction();/不要写成 b-Function();示例 2-3 代码行内的空格 24B2.4 对齐对齐?【规则【规则 2-4-1】程序的分界符和应独占一行并且位于同一列，同时与引用它们的语句左对齐。?【规则【规则 2-4-2】之内的代码块在右边数格处左对齐。示例 2-4（a）为风格良好的对齐，示例 2-4（b）为风格不良的对齐。void Function(int x)/program code void Function(int x)/program code if(condition)if(condition)/program code /program code else /program code else /program code for(initialization;condition;update)/program code for(initialization;condition;update)/program code While(condition)/program code while(condition)/program code 如果出现嵌套的，则使用缩进对齐，如：示例 2-4(a)风格良好风格良好的对齐 示例 2-4(b)风格不良风格不良的对齐 25B2.5 长行拆分长行拆分?【规则【规则 2-5-1】代码行最大长度宜控制在 70 至 80 个字符以内。代码行不要过长，否则眼睛看不过来，也不便于打印。?【规则【规则 2-5-2】长表达式要在低优先级操作符处拆分成新行，操作符放在新行之首（以便突出操作符）。拆分出的新行要进行适当的缩进，使排版整齐，语句可读。if(very_longer_variable1=very_longer_variable12)&(very_longer_variable3=very_longer_variable14)&(very_longer_variable5 Draw();/类的成员函数?【规则【规则 3-1-8】用正确的反义词组命名具有互斥意义的变量或相反动作的函数等。例如：int minValue;int maxValue;int SetValue();int GetValue();?【建议【建议 3-1-1】尽量避免名字中出现数字编号，如 Value1,Value2 等，除非逻辑上的确需要编号。这是为了防止程序员偷懒，不肯为命名动脑筋而导致产生无意义的名字（因为用数字编号最省事）。30B3.2 简单的简单的Windows应用程序命名规则应用程序命名规则 作者对“匈牙利”命名规则做了合理的简化，下述的命名规则简单易用，比较适合于Windows 应用软件的开发。?【规则【规则 3-2-1】类名和函数名用大写字母开头的单词组合而成。例如：class Node;/类名 class LeafNode;/类名 void Draw(void);/函数名 void SetValue(int value);/函数名?【规则【规则 3-2-2】变量和参数用小写字母开头的单词组合而成。例如：BOOL flag;int drawMode;?【规则【规则 3-2-3】常量全用大写的字母，用下划线分割单词。例如：const int MAX=100;const int MAX_LENGTH=100;?【规则【规则 3-2-4】静态变量加前缀 s_（表示 static）。例如：void Init()static int s_initValue;/静态变量?【规则【规则 3-2-5】如果不得已需要全局变量，则使全局变量加前缀 g_（表示 global）。例如：int g_howManyPeople;/全局变量 int g_howMuchMoney;/全局变量?【规则【规则 3-2-6】类的数据成员加前缀 m_（表示 member），这样可以避免数据成员与成员函数的参数同名。例如：void Object:SetValue(int width,int height)m_width=width;m_height=height;?【规则【规则 3-2-7】为了防止某一软件库中的一些标识符和其它软件库中的冲突，可以为各种标识符加上能反映软件性质的前缀。例如三维图形标准 OpenGL 的所有库函数均以 gl 开头，所有常量（或宏定义）均以 GL 开头。31B3.3 简单的简单的Unix应用程序命名规则应用程序命名规则 4B第第 4 章章 表达式和基本语句表达式和基本语句 读者可能怀疑：连 if、for、while、goto、switch 这样简单的东西也要探讨编程风格，是不是小题大做？我真的发觉很多程序员用隐含错误的方式写表达式和基本语句，我自己也犯过类似的错误。表达式和语句都属于 C+/C 的短语结构语法。它们看似简单，但使用时隐患比较多。本章归纳了正确使用表达式和语句的一些规则与建议。32B4.1 运算符的优先级运算符的优先级 C+/C 语言的运算符有数十个，运算符的优先级与结合律如表 4-1 所示。注意一元运算符+-*的优先级高于对应的二元运算符。优先级 运算符 结合律()-.从左至右!+-（类型）sizeof+-*&从右至左从右至左 */%从左至右+-从左至右 从左至右 =从左至右=!=从左至右&从左至右 从左至右|从左至右&从左至右|从右至左从右至左?:从右至左从右至左 从 高 到 低 排 列=+=-=*=/=%=&=|=从左至右 表 4-1 运算符的优先级与结合律?【规则【规则 4-1-1】如果代码行中的运算符比较多，】如果代码行中的运算符比较多，用括号确定表达式的操作顺序，避免使用默认的优先级。由于将表 4-1 熟记是比较困难的，为了防止产生歧义并提高可读性，应当用括号确定表达式的操作顺序。例如：word=(high=b&c d&c+f=g+h;/复合表达式过于复杂?【规则【规则 4-2-2】不要有多用途的复合表达式。例如：d=(a=b+c)+r;该表达式既求 a 值又求 d 值。应该拆分为两个独立的语句：a=b+c;d=a+r;?【规则【规则 4-2-3】不要把程序中的复合表达式与“真正的数学表达式”混淆。例如：if(a b c)/a b c 是数学表达式而不是程序表达式 并不表示 if(ab)&(bc)而是成了令人费解的 if(ab)=”或“=-EPSINON)&(x=EPSINON)其中 EPSINON 是允许的误差（即精度）。4.3.4 指针变量与零值比较 4.3.4 指针变量与零值比较?【规则【规则 4-3-4】应当将指针变量用“=”或“！=”与 NULL 比较。指针变量的零值是“空”（记为 NULL）。尽管 NULL 的值与 0 相同，但是两者意义不同。假设指针变量的名字为 p，它与零值比较的标准 if 语句如下：if(p=NULL)/p 与 NULL 显式比较，强调 p 是指针变量 if(p!=NULL)不要写成 if(p=0)/容易让人误解 p 是整型变量 if(p!=0)或者 if(p)/容易让人误解 p 是布尔变量 if(!p)4.3.5 对 if 语句的补充说明 4.3.5 对 if 语句的补充说明 有时候我们可能会看到 if(NULL=p)这样古怪的格式。不是程序写错了，是程序员为了防止将 if(p=NULL)误写成 if(p=NULL)，而有意把 p 和 NULL 颠倒。编译器认为 if(p=NULL)是合法的，但是会指出 if(NULL=p)是错误的，因为 NULL 不能被赋值。程序中有时会遇到 if/else/return 的组合，应该将如下不良风格的程序 if(condition)return x;return y;改写为 if(condition)return x;else return y;或者改写成更加简练的 return(condition?x:y);35B4.4 循环语句的效率循环语句的效率 C+/C 循环语句中，for 语句使用频率最高，while 语句其次，do 语句很少用。本节重点论述循环体的效率。提高循环体效率的基本办法是降低循环体的复杂性。?【建议【建议 4-4-1】在多重循环中，如果有可能，应当将最长的循环放在最内层，最短的循环放在最外层，以减少CPU跨切循环层的次数。例如示例4-4(b)的效率比示例4-4(a)的高。for(row=0;row100;row+)for(col=0;col5;col+)sum=sum+arowcol;for(col=0;col5;col+)for(row=0;row100;row+)sum=sum+arowcol;示例 4-4(a)低效率：长循环在最外层 示例 4-4(b)高效率：长循环在最内层?【建议【建议 4-4-2】如果循环体内存在逻辑判断，并且循环次数很大，宜将逻辑判断移到循环体的外面。示例 4-4(c)的程序比示例 4-4(d)多执行了 N-1 次逻辑判断。并且由于前者老要进行逻辑判断，打断了循环“流水线”作业，使得编译器不能对循环进行优化处理，降低了效率。如果 N 非常大，最好采用示例 4-4(d)的写法，可以提高效率。如果 N 非常小，两者效率差别并不明显，采用示例 4-4(c)的写法比较好，因为程序更加简洁。for(i=0;iN;i+)if(condition)DoSomething();else DoOtherthing();if(condition)for(i=0;iN;i+)DoSomething();else for(i=0;iN;i+)DoOtherthing();表 4-4(c)效率低但程序简洁 表 4-4(d)效率高但程序不简洁 36B4.5 for 语句的循环控制变量语句的循环控制变量?【规则【规则 4-5-1】不可在 for 循环体内修改循环变量，防止 for 循环失去控制。?【建议【建议 4-5-1】建议 for 语句的循环控制变量的取值采用“半开半闭区间”写法。示例 4-5(a)中的 x 值属于半开半闭区间“0=x N”，起点到终点的间隔为 N，循环次数为 N。示例 4-5(b)中的 x 值属于闭区间“0=x=N-1”，起点到终点的间隔为 N-1，循环次数为 N。相比之下，示例 4-5(a)的写法更加直观，尽管两者的功能是相同的。for(int x=0;xN;x+)for(int x=0;x 0)*pbTo+=*pbFrom+;return pvTo;示例 6-5 复制不重叠的内存块 assert 不是一个仓促拼凑起来的宏。为了不在程序的 Debug 版本和 Release 版本引起差别，assert 不应该产生任何副作用。所以 assert 不是函数，而是宏。程序员可以把 assert 看成一个在任何系统状态下都可以安全使用的无害测试手段。如果程序在如果程序在 assert 处终止了，并不是说含有该处终止了，并不是说含有该 assert 的函数有错误，而是调用者出了差错，的函数有错误，而是调用者出了差错，assert 可以帮助我们找到发生错误的原因。可以帮助我们找到发生错误的原因。很少有比跟踪到程序的断言，却不知道该断言的作用更让人沮丧的事了。你化了很多时间，不是为了排除错误，而只是为了弄清楚这个错误到底是什么。有的时候，程序员偶尔还会设计出有错误的断言。所以如果搞不清楚断言检查的是什么，就很难判断错误是出现在程序中，还是出现在断言中。幸运的是这个问题很好解决，只要加上清晰的注释即可。这本是显而易见的事情，可是很少有程序员这样做。这好比一个人在森林里，看到树上钉着一块“危险”的大牌子。但危险到底是什么？树要倒？有废井？有野兽？除非告诉人们“危险”是什么，否则这个警告牌难以起到积极有效的作用。难以理解的断言常常被程序员忽略，甚至被删除。Maguire,p8-p30?【规则【规则 6-5-1】使用断言捕捉不应该发生的非法情况。不要混淆非法情况与错误情况之间的区别，后者是必然存在的并且是一定要作出处理的。?【规则【规则 6-5-2】在】在函数的入口处，使用断言检查参数的有效性（合法性）。?【建议【建议 6-5-1】在编写函数时，要进行反复的考查，并且自问：“我打算做哪些假定？”一旦确定了的假定，就要使用断言对假定进行检查。?【建议【建议 6-5-2】一般教科书都鼓励程序员们进行防错设计，但要记住这种编程风格可能会隐瞒错误。当进行防错设计时，如果“不可能发生”的事情的确发生了，则要使用断言进行报警。48B6.6 引用与指针的比较引用与指针的比较 引用是 C+中的概念，初学者容易把引用和指针混淆一起。一下程序中，n 是 m 的一个引用（reference），m 是被引用物（referent）。int m;int&n=m;n 相当于 m 的别名（绰号），对 n 的任何操作就是对 m 的操作。例如有人名叫王小毛，他的绰号是“三毛”。说“三毛”怎么怎么的，其实就是对王小毛说三道四。所以 n 既不是m 的拷贝，也不是指向 m 的指针，其实 n 就是 m 它自己。引用的一些规则如下：（1）引用被创建的同时必须被初始化（指针则可以在任何时候被初始化）。（2）不能有 NULL 引用，引用必须与合法的存储单元关联（指针则可以是 NULL）。（3）一旦引用被初始化，就不能改变引用的关系（指针则可以随时改变所指的对象）。以下示例程序中，k 被初始化为 i 的引用。语句 k=j 并不能将 k 修改成为 j 的引用，只是把 k 的值改变成为 6。由于 k 是 i 的引用，所以 i 的值也变成了 6。int i=5;int j=6;int&k=i;k=j;/k 和 i 的值都变成了 6;上面的程序看起来象在玩文字游戏，没有体现出引用的价值。引用的主要功能是传递函数的参数和返回值。C+语言中，函数的参数和返回值的传递方式有三种：值传递、指针传递和引用传递。以下是“值传递”的示例程序。由于 Func1 函数体内的 x 是外部变量 n 的一份拷贝，改变 x 的值不会影响 n,所以 n 的值仍然是 0。void Func1(int x)x=x+10;int n=0;Func1(n);cout “n=”n endl;/n=0 以下是“指针传递”的示例程序。由于 Func2 函数体内的 x 是指向外部变量 n 的指针，改变该指针的内容将导致 n 的值改变，所以 n 的值成为 10。void Func2(int*x)(*x)=(*x)+10;int n=0;Func2(&n);cout “n=”n endl;/n=10 以下是“引用传递”的示例程序