高质量C++C编程指南.doc

1、目 录 前 言. 6 第 1 章 文件结构8 1.1 版权和版本的声明8 1.2 头文件的结构.8 1.3 定义文件的结构.8 1.4 头文件的作用.8 1.5 目录结构.8 第 2 章 程序的版式8 2.1 空行. 8 2.2 代码行.8 2.3 代码行内的空格.8 2.4 对齐. 8 2.5 长行拆分.8 2.6 修饰符的位置.8 2.7 注释. 8 2.8 类的版式.8 第 3 章 命名规则8 3.1 共性规则.8 3.2 简单的 WINDOWS 应用程序命名规则.8 3.3 简单的 U NIX 应用程序命名规则8 第 4 章 表达式和基本语句 8 4.1 运算符的优先级.8 4.2 复

2、合表达式.8 4.3 IF 语句.8 4.4 循环语句的效率.8 4.5 FOR 语句的循环控制变量8 4.6 SWITCH 语句8 4.7 GOTO 语句8 第 5 章 常量8 5.1 为什么需要常量.8 5.2 CONST 与 # DEFINE 的比较 .8 5.3 常量定义规则.8 5.4 类中的常量.8 第 6 章 函数设计8 高质量 C+/C 编程指南，v 1.0 2001 Page 4 of 1016.1 参数的规则.8 6.2 返回值的规则.8 6.3 函数内部实现的规则8 6.4 其它建议.8 6.5 使用断言.8 6.6 引用与指针的比较8 第 7 章 内存管理8 7.1 内

3、存分配方式8 7.2 常见的内存错误及其对策.8 7.3 指针与数组的对比8 7.4 指针参数是如何传递内存的？.8 7.5 FREE 和 DELETE 把指针怎么啦？.8 7.6 动态内存会被自动释放吗？8 7.7 杜绝“野指针”.8 7.8 有了 MALLOC/ FREE 为什么还要 NEW/ DELETE ？.8 7.9 内存耗尽怎么办？8 7.10 MALLOC / FREE 的使用要点.8 7.11 NEW / DELETE 的使用要点.8 7.12 一些心得体会.8 第 8 章 C+函数的高级特性.8 8.1 函数重载的概念.8 8.2 成员函数的重载、覆盖与隐藏8 8.3 参数的

4、缺省值.8 8.4 运算符重载.8 8.5 函数内联.8 8.6 一些心得体会.8 第 9 章 类的构造函数、析构函数与赋值函数 .8 9.1 构造函数与析构函数的起源8 9.2 构造函数的初始化表8 9.3 构造和析构的次序8 9.4 示例：类 S TRING 的构造函数与析构函数8 9.5 不要轻视拷贝构造函数与赋值函数 8 9.6 示例：类 S TRING 的拷贝构造函数与赋值函数8 9.7 偷懒的办法处理拷贝构造函数与赋值函数.8 9.8 如何在派生类中实现类的基本函数 8 9.9 一些心得体会.8 第 10 章 类的继承与组合8 高质量 C+/C 编程指南，v 1.0 2001 Pa

5、ge 5 of 10110.1 继承.8 10.2 组合.8 第 11 章 其它编程经验8 11.1 使用 CONST 提高函数的健壮性8 11.2 提高程序的效率8 11.3 一些有益的建议8 参考文献. 8 附录 A ：C+/C 代码审查表8 附录 B ：C+/C 试题8 附录 C ：C+/C 试题的答案与评分标准.8 高质量 C+/C 编程指南，v 1.0 2001 Page 6 of 101前 言 一、编程老手与高手的误区 自从计算机问世以来，程序设计就成了令人羡慕的职业，程序员在受人宠爱之后容易发展成为毛病特多却常能自我臭美的群体。 如今在 Internet 上流传的“真正 ”的程序

6、员据说是这样的： (1) 真正的程序员没有进度表，只有讨好领导的马屁精才有进度表，真正的程序员会让领导提心吊胆。 (2) 真正的程序员不写使用说明书，用户应当自己去猜想程序的功能。 (3) 真正的程序员几乎不写代码的注释，如果注释很难写，它理所当然也很难读。 (4) 真正的程序员不画流程图，原始人和文盲才会干这事。 (5) 真正的程序员不看参考手册，新手和胆小鬼才会看。 (6) 真正的程序员不写文档也不需要文档，只有看不懂程序的笨蛋才用文档。 (7) 真正的程序员认为自己比用户更明白用户需要什么。 (8) 真正的程序员不接受团队开发的理念，除非他自己是头头。 (9) 真正的程序员的程序不会在第

7、一次就正确运行，但是他们愿意守着机器进行若干个30 小时的调试改错。 (10) 真正的程序员不会在上午 9:00 到下午 5:00 之间工作，如果你看到他在上午 9:00 工作，这表明他从昨晚一直干到现在。 具备上述特征越多，越显得水平高，资格老。所以别奇怪，程序员的很多缺点竟然可以被当作优点来欣赏。就象在武侠小说中，那些独来独往、不受约束且带点邪气的高手最令人崇拜。我曾经也这样信奉，并且希望自己成为那样的“真正”的程序员，结果没有得到好下场。 我从读大学到博士毕业十年来一直勤奋好学，累计编写了数十万行 C+/C 代码。有这样的苦劳和疲劳，我应该称得上是编程老手了吧？ 我开发的软件都与科研相关

8、（集成电路 CAD 和 3D 图形学领域） ，动辄数万行程序，技术复杂，难度颇高。这些软件频频获奖，有一个软件获得首届中国大学生电脑大赛软高质量 C+/C 编程指南，v 1.0 2001 Page 7 of 101件展示一等奖。在 1995 年开发的一套图形软件库到 2000 年还有人买。罗列出这些“业绩” ，可以说明我算得上是编程高手了吧？ 可惜这种个人感觉不等于事实。 读博期间我曾用一年时间开发了一个近 10 万行 C+ 代码的 3D 图形软件产品，我内心得意表面谦虚地向一位真正的软件高手请教。他虽然从未涉足过 3D 图形领域，却在几十分钟内指出该软件多处重大设计错误。让人感觉那套软件是用

9、纸糊的华丽衣服，扯一下掉一块，戳一下破个洞。我目瞪口呆地意识到这套软件毫无实用价值，一年的心血白化了，并且害死了自己的软件公司。 人的顿悟通常发生在最心痛的时刻，在沮丧和心痛之后，我作了深刻反省， “面壁”半年，重新温习软件设计的基础知识。补修“内功”之后，又觉得腰板硬了起来。博士毕业前半年，我曾到微软中国研究院找工作，接受微软公司一位资深软件工程师的面试。他让我写函数 strcpy 的代码。 太容易了吧？ 错！ 这么一个小不点的函数，他从三个方面考查： （1 ）编程风格； （2 ）出错处理； （3 ）算法复杂度分析（用于提高性能） 。 在大学里从来没有人如此严格地考查过我的程序。我花了半个小

10、时，修改了数次，他还不尽满意，让我回家好好琢磨。我精神抖擞地进“考场” ，大汗淋漓地出“考场” 。这“高手”当得也太窝囊了。我又好好地反省了一次。 我把反省后的心得体会写成文章放在网上传阅，引起了不少软件开发人员的共鸣。我因此有幸和国产大型 IT 企业如华为、上海贝尔、中兴等公司的同志们广泛交流。大家认为提高质量与生产率是软件工程要解决的核心问题。高质量程序设计是非常重要的环节，毕竟软件是靠编程来实现的。 我们心目中的老手们和高手们能否编写出高质量的程序来？ 不见得都能！ 就我的经历与阅历来看，国内大学的计算机教育压根就没有灌输高质量程序设计的观念，教师们和学生们也很少自觉关心软件的质量。勤奋

11、好学的程序员长期在低质量的程序堆中滚爬，吃尽苦头之后才有一些心得体会，长进极慢，我就是一例。 现在国内 IT 企业拥有学士、硕士、博士文凭的软件开发人员比比皆是，但他们在接受大学教育时就“先天不足” ，岂能一到企业就突然实现质的飞跃。试问有多少软件开发人员对正确性、健壮性、可靠性、效率、易用性、可读性（可理解性） 、可扩展性、可复用性、兼容性、可移植性等质量属性了如指掌？并且能在实践中运用自如？。 “高质量”可不是干活小心点就能实现的！ 高质量 C+/C 编程指南，v 1.0 2001 Page 8 of 101我们有充分的理由疑虑： （1 ）编程老手可能会长期用隐含错误的方式编程（习惯成自然

12、） ，发现毛病后都不愿相信那是真的！ （2 ）编程高手可以在某一领域写出极有水平的代码，但未必能从全局把握软件质量的方方面面。 事实证明如此。我到上海贝尔工作一年来，陆续面试或测试过近百名“新” “老”程序员的编程技能，质量合格率大约是 10。很少有人能够写出完全符合质量要求的 if语句，很多程序员对指针、内存管理一知半解，。 领导们不敢相信这是真的。我做过现场试验：有一次部门新进 14 名硕士生，在开欢迎会之前对他们进行“C+/C 编程技能”摸底考试。我问大家试题难不难？所有的人都回答不难。结果没有一个人及格，有半数人得零分。竞争对手公司的朋友们也做过试验，同样一败涂地。 真的不是我“心狠手

13、辣”或者要求过高，而是很多软件开发人员对自己的要求不够高。 要知道华为、上海贝尔、中兴等公司的员工素质在国内 IT 企业中是比较前列的，倘若他们的编程质量都如此差的话，我们怎么敢期望中小公司拿出高质量的软件呢？连程序都编不好，还谈什么振兴民族软件产业，岂不胡扯。 我打算定义编程老手和编程高手，请您别见笑。 定义 1 ：能长期稳定地编写出高质量程序的程序员称为编程老手。 定义 2 ：能长期稳定地编写出高难度、高质量程序的程序员称为编程高手。 根据上述定义，马上得到第一推论：我既不是高手也算不上是老手。 在写此书前，我阅读了不少程序设计方面的英文著作，越看越羞惭。因为发现自己连编程基本技能都未能全

14、面掌握，顶多算是二流水平，还好意思谈什么老手和高手。希望和我一样在国内土生土长的程序员朋友们能够做到： （1 ）知错就改； （2 ）经常温故而知新； （3 ）坚持学习，天天向上。 高质量 C+/C 编程指南，v 1.0 2001 Page 9 of 101二、本书导读 首先请做附录 B 的 C+/C 试题（不要看答案） ，考查自己的编程质量究竟如何。然后参照答案严格打分。 （1 ）如果你只得了几十分，请不要声张，也不要太难过。编程质量差往往是由于不良习惯造成的，与人的智力、能力没有多大关系，还是有药可救的。成绩越差，可以进步的空间就越大，中国不就是在落后中赶超发达资本主义国家吗？只要你能下决心

15、改掉不良的编程习惯，第二次考试就能及格了。 （2 ）如果你考及格了，表明你的技术基础不错，希望你能虚心学习、不断进步。如果你还没有找到合适的工作单位，不妨到上海贝尔试一试。 （3 ）如果你考出 85 分以上的好成绩，你有义务和资格为你所在的团队作“C+/C 编程”培训。希望你能和我们多多交流、相互促进。半年前我曾经发现一颗好苗子，就把他挖到我们小组来。 （4 ）如果你在没有任何提示的情况下考了满分，希望你能收我做你的徒弟。 编程考试结束后，请阅读本书的正文。 本书第一章至第六章主要论述 C+/C 编程风格。难度不高，但是细节比较多。别小看了，提高质量就是要从这些点点滴滴做起。世上不存在最好的编

16、程风格，一切因需求而定。团队开发讲究风格一致，如果制定了大家认可的编程风格，那么所有组员都要遵守。如果读者觉得本书的编程风格比较合你的工作，那么就采用它，不要只看不做。人在小时候说话发音不准，写字潦草，如果不改正，总有后悔的时候。编程也是同样道理。 第七章至第十一章是专题论述，技术难度比较高，看书时要积极思考。特别是第七章“内存管理” ，读了并不表示懂了，懂了并不表示就能正确使用。有一位同事看了第七章后觉得“野指针”写得不错，与我切磋了一把。可是过了两周，他告诉我，他忙了两天追查出一个 Bug ，想不到又是“野指针”出问题，只好重读第七章。 光看本书对提高编程质量是有限的，建议大家阅读本书的参

17、考文献，那些都是经典名著。 如果你的编程质量已经过关了，不要就此满足。如果你想成为优秀的软件开发人员，建议你阅读并按照 CMMI 规范做事，让自己的综合水平上升一个台阶。上海贝尔的员工可以向网络应用事业部软件工程研究小组索取 CMMI 有关资料，最好能参加培训。 高质量 C+/C 编程指南，v 1.0 2001 Page 10 of 101三、版权声明 本书的大部分内容取材于作者一年前的书籍手稿（尚未出版） ，现整理汇编成为上海贝尔网络应用事业部的一个规范化文件，同时作为培训教材。 由于 C+/C 编程是众所周知的技术，没有秘密可言。编程的好经验应该大家共享，我们自己也是这么学来的。作者愿意公

18、开本书的电子文档。 版权声明如下： （1 ）读者可以任意拷贝、修改本书的内容，但不可以篡改作者及所属单位。 （2 ）未经作者许可，不得出版或大量印发本书。 （3 ）如果竞争对手公司的员工得到本书，请勿公开使用，以免发生纠纷。 预计到 2002 年 7 月，我们将建立切合中国国情的 CMMI 3 级解决方案。届时，包括本书在内的约 1000 页规范将严格受控。 欢迎读者对本书提出批评建议。 林锐，2001 年 7 月 高质量 C+/C 编程指南，v 1.0 2001 Page 11 of 101第 1 章 文件结构 每个 C+/C 程序通常分为两个文件。一个文件用于保存程序的声明（declara

19、tion） ，称为头文件。另一个文件用于保存程序的实现（implementation） ，称为定义（ definition）文件。 C+/C 程序的头文件以“.h ”为后缀，C 程序的定义文件以“.c ”为后缀，C+ 程序的定义文件通常以“.cpp ”为后缀（也有一些系统以“.cc”或“.cxx ”为后缀） 。 1.1 版权和版本的声明 版权和版本的声明位于头文件和定义文件的开头（参见示例 1-1） ，主要内容有： （1 ）版权信息。 （2 ）文件名称，标识符，摘要。 （3 ）当前版本号，作者/ 修改者，完成日期。 （4 ）版本历史信息。 /* * Copyright (c) 2001,上海贝

20、尔有限公司网络应用事业部 * All rights reserved. * * 文件名称：filename.h * 文件标识：见配置管理计划书 * 摘 要：简要描述本文件的内容 * * 当前版本：1.1 * 作 者：输入作者（或修改者）名字 * 完成日期：2001 年 7 月 20 日 * * 取代版本：1.0 * 原作者 ：输入原作者（或修改者）名字 * 完成日期：2001 年 5 月 10 日 */ 示例 1-1 版权和版本的声明 高质量 C+/C 编程指南，v 1.0 2001 Page 12 of 1011.2 头文件的结构 头文件由三部分内容组成： （1 ）头文件开头处的版权和版本声

21、明（参见示例 1-1） 。 （2 ）预处理块。 （3 ）函数和类结构声明等。 假设头文件名称为 graphics.h ，头文件的结构参见示例 1-2。 z 【规则 1-2-1】为了防止头文件被重复引用，应当用 ifndef/define/endif 结构产生预处理块。 z 【规则 1-2-2】用 #include 格式来引用标准库的头文件（编译器将从标准库目录开始搜索） 。 z 【规则 1-2-3】用 #include “filename.h” 格式来引用非标准库的头文件（编译器将从用户的工作目录开始搜索） 。 【建议 1-2-1】头文件中只存放 “声明”而不存放“ 定义” 在 C+ 语法中，

22、类的成员函数可以在声明的同时被定义，并且自动成为内联函数。这虽然会带来书写上的方便，但却造成了风格不一致，弊大于利。建议将成员函数的定义与声明分开，不论该函数体有多么小。 【建议 1-2-2】不提倡使用全局变量，尽量不要在头文件中出现象 extern int value 这类声明。 / 版权和版本声明见示例 1-1，此处省略。 #ifndef GRAPHICS_H / 防止 graphics.h 被重复引用 #define GRAPHICS_H #include / 引用标准库的头文件 #include “myheader.h” / 引用非标准库的头文件 void Function1( );

23、/ 全局函数声明 class Box / 类结构声明 ; #endif 示例 1-2 C+/C 头文件的结构 高质量 C+/C 编程指南，v 1.0 2001 Page 13 of 1011.3 定义文件的结构 定义文件有三部分内容： （1 ） 定义文件开头处的版权和版本声明（参见示例 1-1） 。 （2 ） 对一些头文件的引用。 （3 ） 程序的实现体（包括数据和代码） 。 假设定义文件的名称为 graphics.cpp ，定义文件的结构参见示例 1-3。 / 版权和版本声明见示例 1-1，此处省略。 #include “graphics.h” / 引用头文件 / 全局函数的实现体 void

24、 Function1( ) / 类成员函数的实现体 void Box:Draw( ) 示例 1-3 C+/C 定义文件的结构 1.4 头文件的作用 早期的编程语言如 Basic、Fortran 没有头文件的概念，C+/C 语言的初学者虽然会用使用头文件，但常常不明其理。这里对头文件的作用略作解释： （1 ）通过头文件来调用库功能。在很多场合，源代码不便（或不准）向用户公布，只要向用户提供头文件和二进制的库即可。用户只需要按照头文件中的接口声明来调用库功能，而不必关心接口怎么实现的。编译器会从库中提取相应的代码。 （2 ）头文件能加强类型安全检查。如果某个接口被实现或被使用时，其方式与头文件中的

25、声明不一致，编译器就会指出错误，这一简单的规则能大大减轻程序员调试、改错的负担。 高质量 C+/C 编程指南，v 1.0 2001 Page 14 of 1011.5 目录结构 如果一个软件的头文件数目比较多（如超过十个） ，通常应将头文件和定义文件分别保存于不同的目录，以便于维护。 例如可将头文件保存于 include 目录，将定义文件保存于 source 目录（可以是多级目录） 。 如果某些头文件是私有的，它不会被用户的程序直接引用，则没有必要公开其“声明” 。为了加强信息隐藏，这些私有的头文件可以和定义文件存放于同一个目录。 高质量 C+/C 编程指南，v 1.0 2001 Page 1

26、5 of 101第 2 章 程序的版式 版式虽然不会影响程序的功能，但会影响可读性。程序的版式追求清晰、美观，是程序风格的重要构成因素。 可以把程序的版式比喻为“书法” 。好的“书法”可让人对程序一目了然，看得兴致勃勃。差的程序“书法”如螃蟹爬行，让人看得索然无味，更令维护者烦恼有加。请程序员们学习程序的“书法” ，弥补大学计算机教育的漏洞，实在很有必要。 2.1 空行 空行起着分隔程序段落的作用。空行得体（不过多也不过少）将使程序的布局更加清晰。空行不会浪费内存，虽然打印含有空行的程序是会多消耗一些纸张，但是值得。所以不要舍不得用空行。 z 【规则 2-1-1】在每个类声明之后、每个函数定义

27、结束之后都要加空行。参见示例2-1（a ） z 【规则 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) 函数内部的空行 高质量 C+/C 编程

28、指南，v 1.0 2001 Page 16 of 1012.2 代码行 z 【规则 2-2-1】一行代码只做一件事情，如只定义一个变量，或只写一条语句。这样的代码容易阅读，并且方便于写注释。 z 【规则 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

29、 + b; y = c + d; z = e + f; X a + b; y = c + d; z = e + f; if (width =”、 “”这类操作符前后不加空格。 【建议 2-3-1】对于表达式比较长的 for 语句和 if 语句，为了紧凑起见可以适当地去掉一些空格，如 for (i=0; i= 2000) / 良好的风格 if(year=2000) / 不良的风格 if (a=b) / 不要写成 b - Function(); 示例 2-3 代码行内的空格 高质量 C+/C 编程指南，v 1.0 2001 Page 18 of 1012.4 对齐 z 【规则 2-4-1】程序的分

30、界符 和 应独占一行并且位于同一列，同时与引用它们的语句左对齐。 z 【规则 2-4-2】 之内的代码块在 右边数格处左对齐。 示例 2-4（a ）为风格良好的对齐，示例 2-4（b ）为风格不良的对齐。 void Function(int x) / program code void Function(int x) / program code if (condition) / program code else / program code if (condition) / program code else / program code for (initialization; cond

31、ition; update) / program code for (initialization; condition; update) / program code While (condition) / program code while (condition) / program code 如果出现嵌套的 ，则使用缩进对齐，如： 示例 2-4(a) 风格良好的对齐 示例 2-4(b) 风格不良的对齐 高质量 C+/C 编程指南，v 1.0 2001 Page 19 of 1012.5 长行拆分 z 【规则 2-5-1】代码行最大长度宜控制在 70 至 80 个字符以内。代码行不要过长

32、，否则眼睛看不过来，也不便于打印。 z 【规则 2-5-2】长表达式要在低优先级操作符处拆分成新行，操作符放在新行之首（以便突出操作符） 。拆分出的新行要进行适当的缩进，使排版整齐，语句可读。 if (very_longer_variable1 = very_longer_variable12) / 类的成员函数 z 【规则 3-1-8】用正确的反义词组命名具有互斥意义的变量或相反动作的函数等。 例如： int minValue; int maxValue; int SetValue(); int GetValue(); 【建议 3-1-1】尽量避免名字中出现数字编号，如 Value1,Val

33、ue2 等，除非逻辑上的确需要编号。这是为了防止程序员偷懒，不肯为命名动脑筋而导致产生无意义的名字（因为用数字编号最省事） 。 3.2 简单的 Windows 应用程序命名规则 作者对“匈牙利”命名规则做了合理的简化，下述的命名规则简单易用，比较适合于 Windows 应用软件的开发。 高质量 C+/C 编程指南，v 1.0 2001 Page 24 of 101z 【规则 3-2-1】类名和函数名用大写字母开头的单词组合而成。 例如： class Node; / 类名 class LeafNode; / 类名 void Draw(void); / 函数名 void SetValue(int

34、value); / 函数名 z 【规则 3-2-2】变量和参数用小写字母开头的单词组合而成。 例如： BOOL flag; int drawMode; z 【规则 3-2-3】常量全用大写的字母，用下划线分割单词。 例如： const int MAX = 100; const int MAX_LENGTH = 100; z 【规则 3-2-4】静态变量加前缀 s_ （表示 static ） 。 例如： void Init() static int s_initValue; / 静态变量 z 【规则 3-2-5】如果不得已需要全局变量，则使全局变量加前缀 g_（表示 global ） 。 例如：

35、 int g_howManyPeople; / 全局变量 int g_howMuchMoney; / 全局变量 z 【规则 3-2-6】类的数据成员加前缀 m_（表示 member） ，这样可以避免数据成员与成员函数的参数同名。 例如： void Object:SetValue(int width, int height) m_width = width; m_height = height; 高质量 C+/C 编程指南，v 1.0 2001 Page 25 of 101z 【规则 3-2-7】为了防止某一软件库中的一些标识符和其它软件库中的冲突，可以为各种标识符加上能反映软件性质的前缀。例如

36、三维图形标准 OpenGL 的所有库函数均以 gl 开头，所有常量（或宏定义）均以 GL 开头。 3.3 简单的 Unix 应用程序命名规则 高质量 C+/C 编程指南，v 1.0 2001 Page 26 of 101第 4 章 表达式和基本语句 读者可能怀疑：连 if、for 、 while 、goto、switch 这样简单的东西也要探讨编程风格，是不是小题大做？ 我真的发觉很多程序员用隐含错误的方式写表达式和基本语句，我自己也犯过类似的错误。 表达式和语句都属于 C+/C 的短语结构语法。它们看似简单，但使用时隐患比较多。本章归纳了正确使用表达式和语句的一些规则与建议。 4.1 运算符

37、的优先级 C+/C 语言的运算符有数十个，运算符的优先级与结合律如表 4-1 所示。注意一元运算符 + - * 的优先级高于对应的二元运算符。 优先级 运算符 结合律 ( ) - . 从左至右 ! + - （类型） sizeof + - * return y; 改写为 if (condition) return x; else return y; 或者改写成更加简练的 return (condition ? x : y); 4.4 循环语句的效率 C+/C 循环语句中， for 语句使用频率最高，while 语句其次，do 语句很少用。本节重点论述循环体的效率。提高循环体效率的基本办法是降低循

38、环体的复杂性。 z 【建议 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) 高效率：长循环在最内层 z 【建议 4-4

39、-2】如果循环体内存在逻辑判断，并且循环次数很大，宜将逻辑判断移到高质量 C+/C 编程指南，v 1.0 2001 Page 30 of 101循环体的外面。示例 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

40、 DoOtherthing(); if (condition) for (i=0; iN; i+) DoSomething(); else for (i=0; iN; i+) DoOtherthing(); 表 4-4(c) 效率低但程序简洁 表 4-4(d) 效率高但程序不简洁 4.5 for 语句的循环控制变量 z 【规则 4-5-1】不可在 for 循环体内修改循环变量，防止 for 循环失去控制。 z 【建议 4-5-1】建议 for 语句的循环控制变量的取值采用“半开半闭区间”写法。 示例 4-5(a)中的 x 值属于半开半闭区间 “0 = x N”，起点到终点的间隔为 N ，循环次

41、数为 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=N-1; x+) 示例 4-5(a) 循环变量属于半开半闭区间 示例 4-5(b) 循环变量属于闭区间 4.6 switch 语句 有了 if 语句为什么还要 switch 语句？ 高质量 C+/C 编程指南，v 1.0 2001 Page 31 of 101switch 是多分支选择语句，而 if 语句只有两个分支

42、可供选择。虽然可以用嵌套的if 语句来实现多分支选择，但那样的程序冗长难读。这是 switch 语句存在的理由。 switch 语句的基本格式是： switch (variable) case value1 : break; case value2 : break; default : break; z 【规则 4-6-1】每个 case 语句的结尾不要忘了加 break ，否则将导致多个分支重叠（除非有意使多个分支重叠） 。 z 【规则 4-6-2】不要忘记最后那个 default 分支。即使程序真的不需要 default 处理，也应该保留语句 default : break; 这样做并非多

43、此一举，而是为了防止别人误以为你忘了 default 处理。 4.7 goto 语句 自从提倡结构化设计以来，goto 就成了有争议的语句。首先，由于 goto 语句可以灵活跳转，如果不加限制，它的确会破坏结构化设计风格。其次，goto 语句经常带来错误或隐患。它可能跳过了某些对象的构造、变量的初始化、重要的计算等语句，例如： goto state; String s1, s2; / 被 goto 跳过 int sum = 0; / 被 goto 跳过 state: 如果编译器不能发觉此类错误，每用一次 goto 语句都可能留下隐患。 很多人建议废除 C+/C 的 goto 语句，以绝后患。但

44、实事求是地说，错误是程序员自己造成的，不是 goto 的过错。goto 语句至少有一处可显神通，它能从多重循环体中咻地一下子跳到外面，用不着写很多次的 break 语句; 例如 goto error; 高质量 C+/C 编程指南，v 1.0 2001 Page 32 of 101 error: 就象楼房着火了，来不及从楼梯一级一级往下走，可从窗口跳出火坑。所以我们主张少用、慎用 goto 语句，而不是禁用。 高质量 C+/C 编程指南，v 1.0 2001 Page 33 of 101第 5 章 常量 常量是一种标识符，它的值在运行期间恒定不变。C 语言用 #define 来定义常量（称为宏常

45、量） 。C+ 语言除了 #define 外还可以用 const 来定义常量（称为 const 常量） 。 5.1 为什么需要常量 如果不使用常量，直接在程序中填写数字或字符串，将会有什么麻烦？ （1 ） 程序的可读性（可理解性）变差。程序员自己会忘记那些数字或字符串是什么意思，用户则更加不知它们从何处来、表示什么。 （2 ） 在程序的很多地方输入同样的数字或字符串，难保不发生书写错误。 （3 ） 如果要修改数字或字符串，则会在很多地方改动，既麻烦又容易出错。 z 【规则 5-1-1】 尽量使用含义直观的常量来表示那些将在程序中多次出现的数字或字符串。 例如： #define MAX 100 /

46、* C 语言的宏常量 */ const int MAX = 100; / C+ 语言的 const 常量 const float PI = 3.14159; / C+ 语言的 const 常量 5.2 const 与 #define 的比较 C+ 语言可以用 const 来定义常量，也可以用 #define 来定义常量。但是前者比后者有更多的优点： （1 ） const 常量有数据类型，而宏常量没有数据类型。编译器可以对前者进行类型安全检查。而对后者只进行字符替换，没有类型安全检查，并且在字符替换可能会产生意料不到的错误（边际效应） 。 （2 ） 有些集成化的调试工具可以对 const 常量进

47、行调试，但是不能对宏常量进行调试。 z 【规则 5-2-1】在 C+ 程序中只使用 const 常量而不使用宏常量，即 const 常量完全取代宏常量。 5.3 常量定义规则 z 【规则 5-3-1】需要对外公开的常量放在头文件中，不需要对外公开的常量放在定义文件的头部。为便于管理，可以把不同模块的常量集中存放在一个公共的头文件中。 高质量 C+/C 编程指南，v 1.0 2001 Page 34 of 101z 【规则 5-3-2】如果某一常量与其它常量密切相关，应在定义中包含这种关系，而不应给出一些孤立的值。 例如： const float RADIUS = 100; const floa

48、t DIAMETER = RADIUS * 2; 5.4 类中的常量 有时我们希望某些常量只在类中有效。由于#define 定义的宏常量是全局的，不能达到目的，于是想当然地觉得应该用 const 修饰数据成员来实现。const 数据成员的确是存在的，但其含义却不是我们所期望的。const 数据成员只在某个对象生存期内是常量，而对于整个类而言却是可变的，因为类可以创建多个对象，不同的对象其 const 数据成员的值可以不同。 不能在类声明中初始化 const 数据成员。以下用法是错误的，因为类的对象未被创建时，编译器不知道 SIZE 的值是什么。 class A const int SIZE = 100; / 错误，企图在类声明中初始化 const 数据成员 int arraySIZE; / 错误，未知的