高质量C++程序指南 学习笔记

文件结构：

【规则1-2-1】为了防止头文件被重复引用，应当用ifndef/define/endif 结构产生预处

理块。

【规则1-2-2】用 #include <filename.h> 格式来引用标准库的头文件（编译器将从

标准库目录开始搜索）。

【规则1-2-3】用 #include “filename.h” 格式来引用非标准库的头文件（编译器将

从用户的工作目录开始搜索）。

【建议1-2-1】头文件中只存放“声明”而不存放“定义”

【建议1-2-2】不提倡使用全局变量，尽量不要在头文件中出现象extern int value 这

类声明。

 

头文件的作用

（1）通过头文件来调用库功能。在很多场合，源代码不便（或不准）向用户公布，只要

向用户提供头文件和二进制的库即可。用户只需要按照头文件中的接口声明来调用库功

能，而不必关心接口怎么实现的。编译器会从库中提取相应的代码。

（2）头文件能加强类型安全检查。如果某个接口被实现或被使用时，其方式与头文件中

的声明不一致，编译器就会指出错误，这一简单的规则能大大减轻程序员调试、改错的

负担。

目录结构

将头文件保存于 include 目录，将定义文件保存于source 目录，私有头文件可以和定义文件存放在一起。

 

程序的板式

【规则2-1-1】在每个类声明之后、每个函数定义结束之后都要加空行。

【规则2-1-2】在一个函数体内，逻揖上密切相关的语句之间不加空行，其它地方应

加空行分隔。

【规则2-2-1】一行代码只做一件事情，如只定义一个变量，或只写一条语句。这样

的代码容易阅读，并且方便于写注释。

【规则2-2-2】if、for、while、do 等语句自占一行，执行语句不得紧跟其后。不论

执行语句有多少都要加{}。这样可以防止书写失误。

【建议2-2-1】尽可能在定义变量的同时初始化该变量（就近原则）

 

【规则2-3-1】关键字之后要留空格。象const、virtual、inline、case 等关键字之后

至少要留一个空格，否则无法辨析关键字。象if、for、while 等关键字之后应留一个

空格再跟左括号‘（’，以突出关键字。

【规则2-3-2】函数名之后不要留空格，紧跟左括号‘（’，以与关键字区别。

【规则2-3-3】‘（’向后紧跟，‘）’、‘，’、‘;’向前紧跟，紧跟处不留空格。

【规则2-3-4】‘，’之后要留空格，如Function(x, y, z)。如果‘;’不是一行的结束

符号，其后要留空格，如for (initialization;condition; update)。

【规则2-3-5】赋值操作符、比较操作符、算术操作符、逻辑操作符、位域操作符，

如“=”、“+=” “>=”、“<=”、“+”、“*”、“%”、“&&”、“||”、“<<”,“^”等二元

操作符的前后应当加空格。

【规则2-3-6】一元操作符如“!”、“~”、“++”、“--”、“&”（地址运算符）等前后不

加空格。

【规则2-3-7】象“［］”、“.”、“->”这类操作符前后不加空格。

【建议2-3-1】对于表达式比较长的for 语句和if 语句，为了紧凑起见可以适当地去

掉一些空格，如for (i=0; i<10; i++)和if ((a<=b) && (c<=d))

【规则2-4-1】程序的分界符‘{’和‘}’应独占一行并且位于同一列，同时与引用

它们的语句左对齐。

【规则2-4-2】{ }之内的代码块在‘{’右边数格处左对齐。

【规则2-5-2】长表达式要在低优先级操作符处拆分成新行，操作符放在新行之首（以

便突出操作符）。拆分出的新行要进行适当的缩进，使排版整齐，语句可读。

类的版式主要有两种方式：

（1）将private 类型的数据写在前面，而将public 类型的函数写在后面，如示例8-3（a）。

采用这种版式的程序员主张类的设计“以数据为中心”，重点关注类的内部结构。

（2）将public 类型的函数写在前面，而将private 类型的数据写在后面，如示例8.3（b）

采用这种版式的程序员主张类的设计“以行为为中心”，重点关注的是类应该提供什么样

的接口（或服务）。

 

命名规则

比较著名的命名规则当推Microsoft 公司的“匈牙利”法，该命名规则的主要思想是

“在变量和函数名中加入前缀以增进人们对程序的理解”。例如所有的字符变量均以ch

为前缀，若是指针变量则追加前缀p。如果一个变量由ppch 开头，则表明它是指向字符

指针的指针。

【规则3-1-3】命名规则尽量与所采用的操作系统或开发工具的风格保持一致。

例如Windows 应用程序的标识符通常采用“大小写”混排的方式，如AddChild。而

Unix 应用程序的标识符通常采用“小写加下划线”的方式，如add_child

【规则3-1-4】程序中不要出现仅靠大小写区分的相似的标识符。

【规则3-1-5】程序中不要出现标识符完全相同的局部变量和全局变量，尽管两者的

作用域不同而不会发生语法错误，但会使人误解。

【规则3-1-6】变量的名字应当使用“名词”或者“形容词＋名词”

【规则3-1-7】全局函数的名字应当使用“动词”或者“动词＋名词”（动宾词组）。

类的成员函数应当只使用“动词”，被省略掉的名词就是对象本身。

例如：

DrawBox(); // 全局函数

box->Draw(); // 类的成员函数

【建议3-1-1】尽量避免名字中出现数字编号，如Value1,Value2 等，除非逻辑上的

确需要编号

【规则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），这样可以避免数据成员与

成员函数的参数同名。

运算符的优先级

【规则4-1-1】如果代码行中的运算符比较多，用括号确定表达式的操作顺序，避免

使用默认的优先级。

布尔变量与零值比较

if (flag) // 表示flag 为真

if (!flag) // 表示flag 为假

整型变量与零值比较

if (value == 0)

if (value != 0)

浮点变量与零值比较

if ((x>=-EPSINON) &&(x<=EPSINON))

其中EPSINON 是允许的误差（即精度）。

指针变量与零值比较

if (p == NULL) // p 与NULL 显式比较，强调p 是指针变量

if (p != NULL)

 

提高循环体效率的基本办法是降低循环体的复杂性。

【建议4-4-1】在多重循环中，如果有可能，应当将最长的循环放在最内层，最短的

循环放在最外层，以减少CPU 跨切循环层的次数。

【建议4-4-2】如果循环体内存在逻辑判断，并且循环次数很大，宜将逻辑判断移到

循环体的外面。

 

 

for (i=0; i<N; i++)		if (condition)
{		{
if (condition)		for (i=0; i<N; i++)
DoSomething();		DoSomething();
else		}
DoOtherthing();		else
}		{
		for (i=0; i<N; i++)
		DoOtherthing();
		}
表4-4(c ) 效率低但程序简洁	表4-4(d ) 效率高但程序不简洁

【规则4-5-1】不可在for 循环体内修改循环变量，防止for 循环失去控制。

【建议4-5-1】建议for 语句的循环控制变量的取值采用“半开半闭区间”写法。

【规则4-6-1】每个case 语句的结尾不要忘了加break，否则将导致多个分支重叠

（除非有意使多个分支重叠）。

【规则4-6-2】不要忘记最后那个default 分支。即使程序真的不需要default 处理，

也应该保留语句 default : break; 这样做并非多此一举，而是为了防止别人误以

为你忘了default 处理。

常量

常量是一种标识符，它的值在运行期间恒定不变。C 语言用 #define 来定义常量（称

为宏常量）。C++ 语言除了 #define 外还可以用const 来定义常量（称为const 常量）。

【规则5-1-1】尽量使用含义直观的常量来表示那些将在程序中多次出现的数字或

字符串。

例如：

#define MAX 100 /* C 语言的宏常量 */

const int MAX = 100; // C++ 语言的const 常量

const float PI = 3.14159; // C++ 语言的const 常量

 

const 与 #define 优缺点：

（1） const 常量有数据类型，而宏常量没有数据类型。编译器可以对前者进行类型安

全检查。而对后者只进行字符替换，没有类型安全检查，并且在字符替换可能会

产生意料不到的错误（边际效应）。

（2） 有些集成化的调试工具可以对const 常量进行调试，但是不能对宏常量进行调试。

 

【规则5-2-1】在C++ 程序中只使用const 常量而不使用宏常量，即const 常量完

全取代宏常量。

【规则5-3-1】需要对外公开的常量放在头文件中，不需要对外公开的常量放在定义

文件的头部。为便于管理，可以把不同模块的常量集中存放在一个公共的头文件中。

【规则5-3-2】如果某一常量与其它常量密切相关，应在定义中包含这种关系，而不

应给出一些孤立的值。

例如：

const float RADIUS = 100;

const float DIAMETER = RADIUS * 2;

 

不能在类声明中初始化const 数据成员。以下用法是错误的，因为类的对象未被创

建时，编译器不知道SIZE 的值是什么。

const 数据成员的初始化只能在类构造函数的初始化表中进行

 

枚举常量不会占用对象的存储空间，它们在编译时被全部求值。枚举常量的缺点是：

它的隐含数据类型是整数，其最大值有限，且不能表示浮点数（如PI=3.14159）。

函数设计

函数接口的两个要素是参数和返回值。C 语言中，函数的参数和返回值的传递方式

有两种：值传递（pass by value）和指针传递（pass by pointer）。C++ 语言中多了引用传

递（pass by reference）。

【规则6-1-1】参数的书写要完整，不要贪图省事只写参数的类型而省略参数名字。

如果函数没有参数，则用void 填充。

【规则6-1-3】如果参数是指针，且仅作输入用，则应在类型前加const，以防止该

指针在函数体内被意外修改。

【规则6-1-4】如果输入参数以值传递的方式传递对象，则宜改用“const &”方式来

传递，这样可以省去临时对象的构造和析构过程，从而提高效率。

【规则6-3-1】在函数体的“入口处”，对参数的有效性进行检查。

【规则6-3-2】在函数体的“出口处”，对return 语句的正确性和效率进行检查。

应用与指针比较

（1）引用被创建的同时必须被初始化（指针则可以在任何时候被初始化）。

（2）不能有NULL 引用，引用必须与合法的存储单元关联（指针则可以是NULL）。

（3）一旦引用被初始化，就不能改变引用的关系（指针则可以随时改变所指的对象）。

内存管理

内存分配方式有三种：

（1）从静态存储区域分配。内存在程序编译的时候就已经分配好，这块内存在程序的

整个运行期间都存在。例如全局变量，static 变量。

（2）在栈上创建。在执行函数时，函数内局部变量的存储单元都可以在栈上创建，函

数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集

中，效率很高，但是分配的内存容量有限。

（3）从堆上分配，亦称动态内存分配。程序在运行的时候用malloc 或new 申请内存，程序员自己负责在何时用free 或delete 释放内存。动态内存的生存期

由我们决定，使用非常灵活，但问题也最多。

【规则7-2-1】用malloc 或new 申请内存之后，应该立即检查指针值是否为NULL。

防止使用指针值为NULL 的内存。

【规则7-2-2】不要忘记为数组和动态内存赋初值。防止将未被初始化的内存作为右

值使用。

【规则7-2-3】避免数组或指针的下标越界，特别要当心发生“多1”或者“少1”

操作。

【规则7-2-4】动态内存的申请与释放必须配对，防止内存泄漏。

【规则7-2-5】用free 或delete 释放了内存之后，立即将指针设置为NULL，防止产

生“野指针”。

 

数组地址与容量在生命期内保持不变，只有数组的内容可以改变。

char a[] = “hello”;

a[0] = ‘X’; //正确

cout << a << endl;

char *p = “world”; // 注意p 指向常量字符串

p[0] = ‘X’; // 编译器不能发现该错误

cout << p << endl; //运行时将会崩溃

 

不能对数组名进行直接复制与比较：

// 数组…

char a[] = "hello";

char b[10];

strcpy(b, a); // 不能用 b = a;

if(strcmp(b, a) == 0) // 不能用 if (b == a)

 

// 指针…

int len = strlen(a);

char *p = (char*)malloc(sizeof(char)*(len+1));

strcpy(p,a); // 不要用 p = a;

if(strcmp(p, a) == 0) // 不要用 if (p == a)

 

如果函数的参数是一个指针，不要指望用该指针去申请动态内存。

void GetMemory(char *p, int num)

{

p= (char *)malloc(sizeof(char) * num);

}

void Test(void)

{

char*str = NULL;

GetMemory(str,100); // str 仍然为 NULL

strcpy(str,"hello"); // 运行错误

}

毛病出在函数GetMemory 中。编译器总是要为函数的每个参数制作临时副本，指针

参数p 的副本是 _p，编译器使 _p =p。如果函数体内的程序修改了_p 的内容，就导致

参数p 的内容作相应的修改。这就是指针可以用作输出参数的原因。在本例中，_p 申请

了新的内存，只是把_p 所指的内存地址改变了，但是p 丝毫未变。所以函数GetMemory

并不能输出任何东西。事实上，每执行一次GetMemory 就会泄露一块内存，因为没有用

free 释放内存。

free 和delete 只是把指针所指向的内存给释放掉，但是并不会“干掉”指针本身。指针p 被free之后其地址不会变，值也非空（NULL）只是变为垃圾值，p变成了野指针。

 

（1）指针消亡了，并不表示它所指的内存会被自动释放。

（2）内存被释放了，并不表示指针会消亡或者成了NULL 指针。

野指针的“成因”：

（1）      指针变量没有初始化。

（2）      free或者delete 后没有将指针置位NULL。

（3）      指针操作超越了变量作用的范围：譬如引用“栈内存”对象。

 

malloc与free 是C++/C 语言的标准库函数，new/delete 是C++的运算符，他们都可以用于申请动态内存和释放内存，但是malloc/free 不能满足动态对象要求，对像在创建的同时需要执行构造函数，对象在销毁的之前需要执行析构函数，new/delete可以完成这些需求。

 

如果用free 释放“new创建的动态对象”，那么该对象因无法执行析构函数而可能

导致程序出错。如果用delete 释放“malloc 申请的动态内存”，理论上讲程序不会出错，

但是该程序的可读性很差。所以new/delete 必须配对使用，malloc/free 也一样。

 

malloc/free 使用要点：

malloc 返回值的类型是void *，所以在调用malloc 时要显式地进行类型转换，将

void * 转换成所需要的指针类型。

malloc 函数本身并不识别要申请的内存是什么类型，它只关心内存的总字节数。

 

如果p为NULL指针，那么对p进行多少次free（p）对不会出错，如果p非NULL，那么连续两次free（p）就会出错。

 

new/delete使用要点：

如果用new 创建对象数组，那么只能使用对象的无参数构造函数。例如

Obj *objects = new Obj[100]; // 创建100 个动态对象

不能写成

Obj *objects = newObj[100](1);// 创建100 个动态对象的同时赋初值1

在用delete 释放对象数组时，留意不要丢了符号‘[]’。例如

delete []objects;// 正确的用法

delete objects; // 错误的用法

后者相当于delete objects[0]，漏掉了另外99 个对象。

C++函数高级特性：

由于编译后的名字不同，C++程序不能

直接调用C 函数。C++提供了一个C 连接交换指定符号extern“C”来解决这个问题。

例如：

extern “C”

{

void foo(int x, int y);

… // 其它函数

}

或者写成

extern “C”

{

#include “myheader.h”

… // 其它C 头文件

}

当心隐式类型转换导致重载函数产生二义性：

void output( int x); // 函数声明

void output( float x); // 函数声明

 

output(1); // output int 1

// output(0.5); // error!ambiguous call, 因为自动类型转换

output(int(0.5)); // output int 0

output(float(0.5)); // outputfloat 0.5

 

 

成员函数被重载的特征：

（1）相同的范围（在同一个类中）；

（2）函数名字相同；

（3）参数不同；

（4）virtual 关键字可有可无。

覆盖是指派生类函数覆盖基类函数，特征是：

（1）不同的范围（分别位于派生类与基类）；

（2）函数名字相同；

（3）参数相同；

（4）基类函数必须有virtual关键字

 

成员函数隐藏规则：

（1）如果派生类的函数与基类的函数同名，但是参数不同。此时，不论有无virtual

关键字，基类的函数将被隐藏（注意别与重载混淆）。

（2）如果派生类的函数与基类的函数同名，并且参数也相同，但是基类函数没有virtual

关键字。此时，基类的函数被隐藏（注意别与覆盖混淆）。

 

【规则8-3-1】参数缺省值只能出现在函数的声明中，而不能出现在定义体中。

【规则8-3-2】如果函数有多个参数，参数只能从后向前挨个儿缺省。

运算符重载：

运算符与普通函数在调用时的不同之处是：对于普通函数，参数出现在圆括号内；

而对于运算符，参数出现在其左、右侧。

 

如果运算符被重载为类的成员函数，那么一元运算符没有参数，二元运算符只有一

个右侧参数，因为对象自己成了左侧参数。

不能被重载的运算符：

（1）不能改变C++内部数据类型（如int,float 等）的运算符。

（2）不能重载‘.’，因为‘.’在类中对任何成员都有意义，已经成为标准用法。

（3）不能重载目前C++运算符集合中没有的符号，如#,@,$等。原因有两点，一是难以

理解，二是难以确定优先级。

（4）对已经存在的运算符进行重载时，不能改变优先级规则，否则将引起混乱。

内联函数：

内联函数的代码就会直接替换函数调用，于是省去了函数调用的开销。这个过程与预处理有显著的不同，因为预处理器不能进行类型安全检查，或者进行自动类型转换。

 

关键字inline 必须与函数定义体放在一起才能使函数成为内联，仅将inline 放在

函数声明前面不起任何作用。

 

定义在类声明之中的成员函数将自动地成为内联函数。

 

类的构造函数、析构函数和赋值函数：

“缺省的拷贝构造函数”和“缺省的赋值函数”均采用“位拷贝”而非“值拷贝”

的方式来实现，倘若类中含有指针变量，这两个函数注定将出错。

 

构造函数初始化表的使用规则：

如果类存在继承关系，派生类必须在其初始化表里调用基类的构造函数。

 

类的const 常量只能在初始化表里被初始化，因为它不能在函数体内用赋值的方式

来初始化

 

类的数据成员的初始化可以采用初始化表或函数体内赋值两种方式，这两种方式的

效率不完全相同。

非内部数据类型的成员对象应当采用第一种方式初始化，以获取更高的效率。

 

成员对象初始化的次序完全不受它们在初始化表中次序的影响，只由成员对象在类中声明的次序决定。

 

String类的构造函数：

 

String::String(const char* str )

{

         if( str == NULL )

{

         m_data = new char[1];

         *m_data = ‘\0’;

}

else

{

         int len = strlen(str);

m_data = new char[ len + 1];

strcpy( m_data, str);

}

}

 

//析构函数

 

String::~String()

{

         delete [] m_data;

}

 

//拷贝构造函数

String::String(const String & other)

{

         int len = strlen( other.m_data );

         m_data = new char[ len + 1 ];

         strcpy( m_data, str);

}

 

//赋值函数

String&String::operate=( const String & other )

{

         //自赋值

         if( this == &other )

{

         return  *this;

}

//释放原有的内存

delete [] m_data;

 

int len = strlen( other.m_data);

m_data = new char[ len + 1];

strcpy( m_data, other.m_data);

//返回本对象的引用

return *this;

}

 

基类的构造函数、析构函数、赋值函数都不能被派生类继承。？？（还是被覆盖）

 

基类与派生类的析构函数应该为虚（即加virtual 关键字）。

 

在编写派生类的赋值函数时，注意不要忘记对基类的数据成员重新赋值。

 

类的继承与组合：

如果将对象比作“房子”，那么类就是房子的设计“图纸”。

【规则10-1-1】如果类A 和类B 毫不相关，不可以为了使B 的功能更多些而让B

继承A 的功能和属性

【规则10-1-2】若在逻辑上B 是A 的“一种”（a kind of ），则允许B 继承A 的功

能和属性

若在逻辑上B 是A 的“一种”，并且A 的所有功能和属性对B 而言都有意义，则允许B 继承A 的功能和属性。

【规则10-2-1】若在逻辑上A 是B 的“一部分”（a part of），则不允许B 从A 派生，

而是要用A 和其它东西组合出B。

 

const：

函数返回值采用“引用传递”的场合并不多，这种方式一般只出现在类的赋值函数

中，目的是为了实现链式表达。

 

任何不会修改数据成员的函数都应该声明为const 类型。如果在编写const 成员函

数时，不慎修改了数据成员，或者调用了其它非const 成员函数，编译器将指出错误

 

2013.3.16