高质量C/C++编程(片段)
这段文字是我从林锐博士的<高质量C/C++编程>节选出来的片段,使其便于快速阅读
【规则1-2-1】为了防止头文件被重复引用,应当用ifnf/fin/nif结构产生预处理块。
【规则1-2-2】用#in<fina.h>格式来引用标准库的头文件(编译器将从标准库目录开始搜索)。
【规则1-2-3】用#in“fina.h”格式来引用非标准库的头文件(编译器将从用户的工作目录开始搜索)。
2【建议1-2-1】头文件中只存放“声明”而不存放“定义
--------------------------------
布尔变量与零值比较
【规则4-3-1】不可将布尔变量直接与TRUE、FALSE或者1、0进行比较。
根据布尔类型的语义,零值为“假”(记为FALSE),任何非零值都是“真”(记为TRUE)。TRUE的值究竟是什么并没有统一的标准。例如VisaC++将TRUE定义为1,而VisaBasi则将TRUE定义为-1。
假设布尔变量名字为fag,它与零值比较的标准if语句如下:
if(fag)//表示fag为真
if(!fag)//表示fag为假
其它的用法都属于不良风格,例如:
整型变量与零值比较
【规则4-3-2】应当将整型变量用“==”或“!=”直接与0比较。
假设整型变量的名字为va,它与零值比较的标准if语句如下:
if(va==0)
if(va!=0)
浮点变量与零值比较
【规则4-3-3】不可将浮点变量用“==”或“!=”与任何数字比较。
千万要留意,论是fat还是b类型的变量,都有精度限制。所以一定要避免将浮点变量用“==”或“!=”与数字比较,应该设法转化成“>=”或“<=”形式。
假设浮点变量的名字为x,应当将
if(x==0.0)//隐含误的比较
转化为
if((x>=-EPSINON)&&(x<=EPSINON))
其中EPSINON是允许的误差(即精度)。
指针变量与零值比较
【规则4-3-4】应当将指针变量用“==”或“!=”与NULL比较。
指针变量的零值是“空”(记为NULL)。尽管NULL的值与0相同,但是两者意义不同。假设指针变量的名字为p,它与零值比较的标准if语句如下:
if(p==NULL)//p与NULL显式比较,强调p是指针变量
if(p!=NULL)
-------------------------
循环语句的效率
--------------------------
nst数据成员的初始化只能在类构造函数的初始化表中进行,例如
assA
{…
A(intsiz);//构造函数
nstintSIZE;
};
A::A(intsiz):SIZE(siz)//构造函数的初始化表
{
…
}
Aa(100);//对象a的SIZE值为100
Ab(200);//对象b的SIZE值为200
---------------------------------
规则6-1-3】如果参数是指针,且仅作输入用,则应在类型前加nst,以防止该指针在函数体内被意外修改。
例如:
viStringCpy(har*strDstinatin,nsthar*strSr);
【规则6-1-4】如果输入参数以值传递的方式传递对象,则宜改用“nst&”方式来传递,这样可以省去临时对象的构造和析构过程,从而提高效率。
-------------------------------------
7.1内存分配方式
内存分配方式有三种:
(1)从静态存储区域分配。内存在程序编译的时候就已经分配好,这块内存在程序的整个运行期间都存在。例如全局变量,stati变量。
(2)在栈上创建。在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。
(3)从堆上分配,亦称动态内存分配。程序在运行的时候用a或n请任意多少的内存,程序员自己负责在何时用fr或t释放内存。动态内存的生存期由我们决定,使用非常灵活,但问题也最多。
--------------------------------------
内存分配未成功,却使用了它。
编程新手常犯这种误,因为他们没有意识到内存分配会不成功。常用解决办法是,在使用内存之前检查指针是否为NULL。如果指针p是函数的参数,那么在函数的入口处用assrt(p!=NULL)进行检查。如果是用a或n申请内存,应该用if(p==NULL)或if(p!=NULL)进行防处理。
------------------------------
C++/C程序中,指针和数组在不少地方可以相互替换着用,让人产生一种觉,以为两者是等价的。
数组要么在静态存储区被创建(如全局数组),要么在栈上被创建。数组名对应着(而不是指向)一块内存,其地址与容量在生命期内保持不变,只有数组的内容可以改变。
指针可以随时指向任意类型的内存块,它的特征是“可变”,所以我们常用指针来操作动态内存。指针远比数组灵活,但也更危险
示例7-3-1中,字符数组a的容量是6个字符,其内容为h\0。a的内容可以改变,如a[0]=‘X’。指针p指向常量字符串“r”(位于静态存储区,内容为r\0),常量字符串的内容是不可以被修改的。从语法上看,编译器并不觉得语句p[0]=‘X’有什么不妥,但是该语句企图修改常量字符串的内容而导致运行误。
内容复制与比较
不能对数组名进行直接复制与比较。示例7-3-2中,若想把数组a的内容复制给数组b,不能用语句b=a,否则将产生编译误。应该用标准库函数strpy进行复制。同理,比较b和a的内容是否相同,不能用if(b==a)来判断,应该用标准库函数strp进行比较。
语句p=a并不能把a的内容复制指针p,而是把a的地址赋给了p。要想复制a的内容,可以先用库函数a为p申请一块容量为strn(a)+1个字符的内存,再用strpy进行字符串复制。同理,语句if(p==a)比较的不是内容而是地址,应该用库函数strp来比较。
//数组…
hara[]="h";
harb[10];
strpy(b,a);//不能用b=a;
if(strp(b,a)==0)//不能用if(b==a)
…
//指针…
intn=strn(a);
har*p=(har*)a(sizf(har)*(n+1));
strpy(p,a);//不要用p=a;
if(strp(p,a)==0)//不要用if(p==a)
------------------------------------
针p指向a,但是sizf(p)的值却是4。这是因为sizf(p)得到的是一个指针变量的字节数,相当于sizf(har*),而不是p所指的内存容量
viFn(hara[100])
{
t<<sizf(a)<<n;//4字节而不是100字节
}
-----------------------------------
毛病出在函数GtMry中。编译器总是要为函数的每个参数制作临时副本,指针参数p的副本是_p,编译器使_p=p。如果函数体内的程序修改了_p的内容,就导致参数p的内容作相应的修改。这就是指针可以用作输出参数的原因。在本例中,_p申请了新的内存,只是把_p所指的内存地址改变了,但是p丝毫未变。所以函数GtMry并不能输出任何东西。事实上,每执行一次GtMry就会泄露一块内存,因为没有用fr释放内存
-----------------------------------
用函数返回值来传递动态内存这种方法虽然好用,但是常常有人把rtrn语句用了。这里强调不要用rtrn语句返回指向“栈内存”的指针,因为该内存在函数结束时自动消亡,见示例7-4-4。
har*GtString(vi)
{
harp[]="hr";
rtrnp;//编译器将提出警告