c语言编程规范和范例及写给自己的C++编程规范

深藏阁楼爱情的钟 2022-08-20 13:18 199阅读 0赞

**[c语言编程规范和范例][c]**

1 排版  
1    1-1：程序块要采用缩进风格编写，缩进的空格数为4个。  
说明：对于由开发工具自动生成的代码可以有不一致。  
1    1-2：相对独立的程序块之间、变量说明之后必须加空行。  
示例：如下例子不符合规范。  
if (!valid\_ni(ni))  
\{  
    ... // program code  
\}  
repssn\_ind = ssn\_data\[index\].repssn\_index;  
repssn\_ni  = ssn\_data\[index\].ni;

应如下书写  
if (!valid\_ni(ni))  
\{  
    ... // program code  
\}

repssn\_ind = ssn\_data\[index\].repssn\_index;  
repssn\_ni  = ssn\_data\[index\].ni;  
1    1-3：较长的语句（>80字符）要分成多行书写，长表达式要在低优先级操作符处划分新行，操作符放在新行之首，划分出的新行要进行适当的缩进，使排版整齐，语句可读。  
示例：  
perm\_count\_msg.head.len = NO7\_TO\_STAT\_PERM\_COUNT\_LEN  
                          + STAT\_SIZE\_PER\_FRAM \* sizeof( \_UL );

act\_task\_table\[frame\_id \* STAT\_TASK\_CHECK\_NUMBER + index\].occupied  
              = stat\_poi\[index\].occupied;

act\_task\_table\[taskno\].duration\_true\_or\_false  
              = SYS\_get\_sccp\_statistic\_state( stat\_item );

report\_or\_not\_flag = ((taskno < MAX\_ACT\_TASK\_NUMBER)  
                      && (n7stat\_stat\_item\_valid (stat\_item))  
                      && (act\_task\_table\[taskno\].result\_data != 0));  
  
1    1-4：循环、判断等语句中若有较长的表达式或语句，则要进行适应的划分，长表达式要在低优先级操作符处划分新行，操作符放在新行之首。  
示例：  
if ((taskno < max\_act\_task\_number)  
    && (n7stat\_stat\_item\_valid (stat\_item)))  
\{  
    ... // program code  
\}

for (i = 0, j = 0; (i < BufferKeyword\[word\_index\].word\_length)  
                    && (j < NewKeyword.word\_length); i++, j++)  
\{  
    ... // program code  
\}

for (i = 0, j = 0;    
     (i < first\_word\_length) && (j < second\_word\_length);    
     i++, j++)  
\{  
    ... // program code   
\}  
1    1-5：若函数或过程中的参数较长，则要进行适当的划分。  
示例：  
n7stat\_str\_compare((BYTE \*) & stat\_object,  
                   (BYTE \*) & (act\_task\_table\[taskno\].stat\_object),  
                   sizeof (\_STAT\_OBJECT));

n7stat\_flash\_act\_duration( stat\_item, frame\_id \*STAT\_TASK\_CHECK\_NUMBER  
                                      + index, stat\_object );  
1    1-6：不允许把多个短语句写在一行中，即一行只写一条语句。  
示例：如下例子不符合规范。  
rect.length = 0;  rect.width = 0;

应如下书写  
rect.length = 0;  
rect.width  = 0;  
1    1-7：if、for、do、while、case、switch、default等语句自占一行，且if、for、do、while等语句的执行语句部分无论多少都要加括号\{\}。   
示例：如下例子不符合规范。  
if (pUserCR == NULL) return;

应如下书写：  
if (pUserCR == NULL)  
\{  
    return;  
\}  
1    1-8：对齐只使用空格键，不使用TAB键。  
说明：以免用不同的编辑器阅读程序时，因TAB键所设置的空格数目不同而造成程序布局不整齐，不要使用BC作为编辑器合版本，因为BC会自动将8个空格变为一个TAB键，因此使用BC合入的版本大多会将缩进变乱。  
1    1-9：函数或过程的开始、结构的定义及循环、判断等语句中的代码都要采用缩进风格，case语句下的情况处理语句也要遵从语句缩进要求。  
1    1-10：程序块的分界符（如C/C++语言的大括号‘\{’和‘\}’）应各独占一行并且位于同一列，同时与引用它们的语句左对齐。在函数体的开始、类的定义、结构的定义、枚举的定义以及if、for、do、while、switch、case语句中的程序都要采用如上的缩进方式。  
示例：如下例子不符合规范。  
for (...) \{  
    ... // program code  
\}

if (...)   
    \{  
    ... // program code  
    \}

void example\_fun( void )  
    \{  
    ... // program code  
    \}

应如下书写。  
for (...)   
\{  
    ... // program code  
\}

if (...)   
\{  
    ... // program code  
\}

void example\_fun( void )  
\{  
    ... // program code  
\}  
1    1-11：在两个以上的关键字、变量、常量进行对等操作时，它们之间的操作符之前、之后或者前后要加空格；进行非对等操作时，如果是关系密切的立即操作符（如－>），后不应加空格。  
说明：采用这种松散方式编写代码的目的是使代码更加清晰。  
由于留空格所产生的清晰性是相对的，所以，在已经非常清晰的语句中没有必要再留空格，如果语句已足够清晰则括号内侧(即左括号后面和右括号前面)不需要加空格，多重括号间不必加空格，因为在C/C++语言中括号已经是最清晰的标志了。  
在长语句中，如果需要加的空格非常多，那么应该保持整体清晰，而在局部不加空格。给操作符留空格时不要连续留两个以上空格。

示例：  
(1) 逗号、分号只在后面加空格。  
int a, b, c;

(2)比较操作符, 赋值操作符"="、 "+="，算术操作符"+"、"%"，逻辑操作符"&&"、"&"，位域操作符"<<"、"^"等双目操作符的前后加空格。  
if (current\_time >= MAX\_TIME\_VALUE)   
a = b + c;  
a \*= 2;  
a = b ^ 2;

(3)"!"、"~"、"++"、"--"、"&"（地址运算符）等单目操作符前后不加空格。  
\*p = 'a';        // 内容操作"\*"与内容之间  
flag = !isEmpty; // 非操作"!"与内容之间  
p = &mem;        // 地址操作"&" 与内容之间  
i++;             // "++","--"与内容之间

(4)"->"、"."前后不加空格。  
p->id = pid;     // "->"指针前后不加空格

(5) if、for、while、switch等与后面的括号间应加空格，使if等关键字更为突出、明显。  
if (a >= b && c > d)  
?    1-1：一行程序以小于80字符为宜，不要写得过长。  
       
2 注释  
1    2-1：一般情况下，源程序有效注释量必须在20％以上。  
说明：注释的原则是有助于对程序的阅读理解，在该加的地方都加了，注释不宜太多也不能太少，注释语言必须准确、易懂、简洁。  
1    2-2：说明性文件（如头文件.h文件、.inc文件、.def文件、编译说明文件.cfg等）头部应进行注释，注释必须列出：版权说明、版本号、生成日期、作者、内容、功能、与其它文件的关系、修改日志等，头文件的注释中还应有函数功能简要说明。  
示例：下面这段头文件的头注释比较标准，当然，并不局限于此格式，但上述信息建议要包含在内。  
/\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*  
  Copyright (C), 1988-1999, Huawei Tech. Co., Ltd.  
  File name:      // 文件名  
  Author:       Version:        Date: // 作者、版本及完成日期  
  Description:    // 用于详细说明此程序文件完成的主要功能，与其他模块  
                  // 或函数的接口，输出值、取值范围、含义及参数间的控  
                  // 制、顺序、独立或依赖等关系  
  Others:         // 其它内容的说明  
  Function List:  // 主要函数列表，每条记录应包括函数名及功能简要说明  
    1. ....  
  History:        // 修改历史记录列表，每条修改记录应包括修改日期、修改  
                  // 者及修改内容简述    
    1. Date:  
       Author:  
       Modification:  
    2. ...  
\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*/  
1    2-3：源文件头部应进行注释，列出：版权说明、版本号、生成日期、作者、模块目的/功能、主要函数及其功能、修改日志等。  
示例：下面这段源文件的头注释比较标准，当然，并不局限于此格式，但上述信息建议要包含在内。  
/\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*  
  Copyright (C), 1988-1999, Huawei Tech. Co., Ltd.  
  FileName: test.cpp  
  Author:        Version :          Date:  
  Description:     // 模块描述        
  Version:         // 版本信息  
  Function List:   // 主要函数及其功能  
    1. -------  
  History:         // 历史修改记录  
      <author>  <time>   <version >   <desc>  
      David    96/10/12     1.0     build this moudle    
\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*/  
说明：Description一项描述本文件的内容、功能、内部各部分之间的关系及本文件与其它文件关系等。History是修改历史记录列表，每条修改记录应包括修改日期、修改者及修改内容简述。  
1    2-4：函数头部应进行注释，列出：函数的目的/功能、输入参数、输出参数、返回值、调用关系（函数、表）等。  
示例：下面这段函数的注释比较标准，当然，并不局限于此格式，但上述信息建议要包含在内。  
/\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*  
  Function:       // 函数名称  
  Description:    // 函数功能、性能等的描述  
  Calls:          // 被本函数调用的函数清单  
  Called By:      // 调用本函数的函数清单  
  Table Accessed: // 被访问的表（此项仅对于牵扯到数据库操作的程序）  
  Table Updated:  // 被修改的表（此项仅对于牵扯到数据库操作的程序）  
  Input:          // 输入参数说明，包括每个参数的作  
                  // 用、取值说明及参数间关系。  
  Output:         // 对输出参数的说明。  
  Return:         // 函数返回值的说明  
  Others:         // 其它说明  
\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*/  
1    2-5：边写代码边注释，修改代码同时修改相应的注释，以保证注释与代码的一致性。不再有用的注释要删除。  
1    2-6：注释的内容要清楚、明了，含义准确，防止注释二义性。  
说明：错误的注释不但无益反而有害。  
规则2-7：避免在注释中使用缩写，特别是非常用缩写。  
说明：在使用缩写时或之前，应对缩写进行必要的说明。  
1    2-8：注释应与其描述的代码相近，对代码的注释应放在其上方或右方（对单条语句的注释）相邻位置，不可放在下面，如放于上方则需与其上面的代码用空行隔开。  
示例：如下例子不符合规范。  
例1：  
/\* get replicate sub system index and net indicator \*/

repssn\_ind = ssn\_data\[index\].repssn\_index;  
repssn\_ni = ssn\_data\[index\].ni;

例2：  
repssn\_ind = ssn\_data\[index\].repssn\_index;  
repssn\_ni = ssn\_data\[index\].ni;  
/\* get replicate sub system index and net indicator \*/

应如下书写  
/\* get replicate sub system index and net indicator \*/  
repssn\_ind = ssn\_data\[index\].repssn\_index;  
repssn\_ni = ssn\_data\[index\].ni;  
1    2-9：对于所有有物理含义的变量、常量，如果其命名不是充分自注释的，在声明时都必须加以注释，说明其物理含义。变量、常量、宏的注释应放在其上方相邻位置或右方。  
示例：  
/\* active statistic task number \*/  
\#define MAX\_ACT\_TASK\_NUMBER 1000

\#define MAX\_ACT\_TASK\_NUMBER 1000 /\* active statistic task number \*/  
1    2-10：数据结构声明(包括数组、结构、类、枚举等)，如果其命名不是充分自注释的，必须加以注释。对数据结构的注释应放在其上方相邻位置，不可放在下面；对结构中的每个域的注释放在此域的右方。  
示例：可按如下形式说明枚举/数据/联合结构。  
/\* sccp interface with sccp user primitive message name \*/  
enum  SCCP\_USER\_PRIMITIVE  
\{  
    N\_UNITDATA\_IND, /\* sccp notify sccp user unit data come \*/  
    N\_NOTICE\_IND,   /\* sccp notify user the No.7 network can not \*/  
                    /\* transmission this message \*/  
    N\_UNITDATA\_REQ, /\* sccp user's unit data transmission request\*/  
\};  
1    2-11：全局变量要有较详细的注释，包括对其功能、取值范围、哪些函数或过程存取它以及存取时注意事项等的说明。  
示例：  
/\* The ErrorCode when SCCP translate \*/  
/\* Global Title failure, as follows \*/      // 变量作用、含义  
/\* 0 － SUCCESS   1 － GT Table error \*/  
/\* 2 － GT error  Others － no use  \*/       // 变量取值范围  
/\* only  function  SCCPTranslate() in \*/  
/\* this modual can modify it,  and  other \*/  
/\* module can visit it through call \*/  
/\* the  function GetGTTransErrorCode() \*/    // 使用方法  
BYTE g\_GTTranErrorCode;    
1    2-12：注释与所描述内容进行同样的缩排。  
说明：可使程序排版整齐，并方便注释的阅读与理解。  
示例：如下例子，排版不整齐，阅读稍感不方便。  
void example\_fun( void )  
\{  
/\* code one comments \*/  
    CodeBlock One

/\* code two comments \*/  
    CodeBlock Two  
\}

应改为如下布局。  
void example\_fun( void )  
\{  
    /\* code one comments \*/  
    CodeBlock One

/\* code two comments \*/  
    CodeBlock Two  
\}  
1    2-13：将注释与其上面的代码用空行隔开。  
示例：如下例子，显得代码过于紧凑。  
/\* code one comments \*/  
program code one  
/\* code two comments \*/  
program code two

应如下书写  
/\* code one comments \*/  
program code one

/\* code two comments \*/  
program code two  
1    2-14：对变量的定义和分支语句（条件分支、循环语句等）必须编写注释。  
说明：这些语句往往是程序实现某一特定功能的关键，对于维护人员来说，良好的注释帮助更好的理解程序，有时甚至优于看设计文档。  
1    2-15：对于switch语句下的case语句，如果因为特殊情况需要处理完一个case后进入下一个case处理，必须在该case语句处理完、下一个case语句前加上明确的注释。  
说明：这样比较清楚程序编写者的意图，有效防止无故遗漏break语句。  
示例（注意斜体加粗部分）：  
case CMD\_UP:     
    ProcessUp();   
    break;

case CMD\_DOWN:   
    ProcessDown();   
    break;

case CMD\_FWD:    
    ProcessFwd();   
      
if (...)  
\{  
    ...  
    break;  
\}  
else  
\{  
    ProcessCFW\_B();   // now jump into case CMD\_A  
\}

case CMD\_A:      
    ProcessA();      
    break;

case CMD\_B:      
    ProcessB();      
    break;

case CMD\_C:      
    ProcessC();      
      break;

case CMD\_D:      
    ProcessD();      
    break;

?    2-1：避免在一行代码或表达式的中间插入注释。  
说明：除非必要，不应在代码或表达中间插入注释，否则容易使代码可理解性变差。  
?    2-2：通过对函数或过程、变量、结构等正确的命名以及合理地组织代码的结构，使代码成为自注释的。  
说明：清晰准确的函数、变量等的命名，可增加代码可读性，并减少不必要的注释。  
?    2-3：在代码的功能、意图层次上进行注释，提供有用、额外的信息。  
说明：注释的目的是解释代码的目的、功能和采用的方法，提供代码以外的信息，帮助读者理解代码，防止没必要的重复注释信息。  
示例：如下注释意义不大。  
/\* if receive\_flag is TRUE \*/  
if (receive\_flag)

而如下的注释则给出了额外有用的信息。   
/\* if mtp receive a message from links \*/  
if (receive\_flag)  
?    2-4：在程序块的结束行右方加注释标记，以表明某程序块的结束。  
说明：当代码段较长，特别是多重嵌套时，这样做可以使代码更清晰，更便于阅读。  
示例：参见如下例子。  
if (...)  
\{  
    // program code

while (index < MAX\_INDEX)  
    \{  
        // program code  
    \} /\* end of while (index < MAX\_INDEX) \*/ // 指明该条while语句结束  
\} /\* end of  if (...)\*/ // 指明是哪条if语句结束  
?    2-5：注释格式尽量统一，建议使用“/\* …… \*/”。  
?    2-6：注释应考虑程序易读及外观排版的因素，使用的语言若是中、英兼有的，建议多使用中文，除非能用非常流利准确的英文表达。  
说明：注释语言不统一，影响程序易读性和外观排版，出于对维护人员的考虑，建议使用中文。  
  
3 标识符命名  
1    3-1：标识符的命名要清晰、明了，有明确含义，同时使用完整的单词或大家基本可以理解的缩写，避免使人产生误解。  
说明：较短的单词可通过去掉“元音”形成缩写；较长的单词可取单词的头几个字母形成缩写；一些单词有大家公认的缩写。  
示例：如下单词的缩写能够被大家基本认可。  
temp 可缩写为  tmp  ;  
flag 可缩写为  flg  ;  
statistic 可缩写为  stat ;  
increment 可缩写为  inc  ;  
message 可缩写为  msg  ;  
1    3-2：命名中若使用特殊约定或缩写，则要有注释说明。  
说明：应该在源文件的开始之处，对文件中所使用的缩写或约定，特别是特殊的缩写，进行必要的注释说明。  
1    3-3：自己特有的命名风格，要自始至终保持一致，不可来回变化。  
说明：个人的命名风格，在符合所在项目组或产品组的命名规则的前提下，才可使用。（即命名规则中没有规定到的地方才可有个人命名风格）。  
1    3-4：对于变量命名，禁止取单个字符（如i、j、k...），建议除了要有具体含义外，还能表明其变量类型、数据类型等，但i、j、k作局部循环变量是允许的。  
说明：变量，尤其是局部变量，如果用单个字符表示，很容易敲错（如i写成j），而编译时又检查不出来，有可能为了这个小小的错误而花费大量的查错时间。  
示例：下面所示的局部变量名的定义方法可以借鉴。  
int liv\_Width  
其变量名解释如下：  
        l      局部变量（Local）  （其它：g    全局变量（Global）...）  
        i      数据类型（Interger）  
        v      变量（Variable）   （其它：c    常量（Const）...）  
        Width  变量含义  
这样可以防止局部变量与全局变量重名。  
1    3-5：命名规范必须与所使用的系统风格保持一致，并在同一项目中统一，比如采用UNIX的全小写加下划线的风格或大小写混排的方式，不要使用大小写与下划线混排的方式，用作特殊标识如标识成员变量或全局变量的m\_和g\_，其后加上大小写混排的方式是允许的。  
示例： Add\_User不允许，add\_user、AddUser、m\_AddUser允许。   
?    3-1：除非必要，不要用数字或较奇怪的字符来定义标识符。  
示例：如下命名，使人产生疑惑。  
\#define \_EXAMPLE\_0\_TEST\_  
\#define \_EXAMPLE\_1\_TEST\_  
void set\_sls00( BYTE sls );

应改为有意义的单词命名  
\#define \_EXAMPLE\_UNIT\_TEST\_  
\#define \_EXAMPLE\_ASSERT\_TEST\_  
void set\_udt\_msg\_sls( BYTE sls );  
?    3-2：在同一软件产品内，应规划好接口部分标识符（变量、结构、函数及常量）的命名，防止编译、链接时产生冲突。  
说明：对接口部分的标识符应该有更严格限制，防止冲突。如可规定接口部分的变量与常量之前加上“模块”标识等。  
?    3-3：用正确的反义词组命名具有互斥意义的变量或相反动作的函数等。  
说明：下面是一些在软件中常用的反义词组。  
add / remove       begin / end        create / destroy   
insert / delete    first / last       get / release  
increment / decrement                 put / get  
add / delete       lock / unlock      open / close  
min / max          old / new          start / stop  
next / previous    source / target    show / hide  
send / receive     source / destination  
cut / paste        up / down  
示例：  
int  min\_sum;  
int  max\_sum;  
int  add\_user( BYTE \*user\_name );  
int  delete\_user( BYTE \*user\_name );  
?    3-4：除了编译开关/头文件等特殊应用，应避免使用\_EXAMPLE\_TEST\_之类以下划线开始和结尾的定义。  
        
4 可读性  
1    4-1：注意运算符的优先级，并用括号明确表达式的操作顺序，避免使用默认优先级。  
说明：防止阅读程序时产生误解，防止因默认的优先级与设计思想不符而导致程序出错。  
示例：下列语句中的表达式  
word = (high << 8) | low     (1)  
if ((a | b) && (a & c))      (2)  
if ((a | b) < (c & d))       (3)  
如果书写为  
high << 8 | low  
a | b && a & c  
a | b < c & d  
由于  
high << 8 | low = ( high << 8) | low,  
a | b && a & c = (a | b) && (a & c)，  
(1)(2)不会出错，但语句不易理解；  
a | b < c & d = a | （b < c） & d，(3)造成了判断条件出错。  
1    4-2：避免使用不易理解的数字，用有意义的标识来替代。涉及物理状态或者含有物理意义的常量，不应直接使用数字，必须用有意义的枚举或宏来代替。  
示例：如下的程序可读性差。  
if (Trunk\[index\].trunk\_state == 0)  
\{  
    Trunk\[index\].trunk\_state = 1;  
    ...  // program code  
\}

应改为如下形式。  
\#define TRUNK\_IDLE 0  
\#define TRUNK\_BUSY 1

if (Trunk\[index\].trunk\_state == TRUNK\_IDLE)  
\{  
    Trunk\[index\].trunk\_state = TRUNK\_BUSY;  
    ...  // program code  
\}  
?    4-1：源程序中关系较为紧密的代码应尽可能相邻。  
说明：便于程序阅读和查找。  
示例：以下代码布局不太合理。  
rect.length = 10;  
char\_poi = str;  
rect.width = 5;

若按如下形式书写，可能更清晰一些。  
rect.length = 10;  
rect.width = 5; // 矩形的长与宽关系较密切，放在一起。  
char\_poi = str;  
?    4-2：不要使用难懂的技巧性很高的语句，除非很有必要时。  
说明：高技巧语句不等于高效率的程序，实际上程序的效率关键在于算法。  
示例：如下表达式，考虑不周就可能出问题，也较难理解。  
\* stat\_poi ++ += 1;

\* ++ stat\_poi += 1;

应分别改为如下。  
\*stat\_poi += 1;  
stat\_poi++;     // 此二语句功能相当于“ \* stat\_poi ++ += 1; ”

\++ stat\_poi;  
\*stat\_poi += 1; // 此二语句功能相当于“ \* ++ stat\_poi += 1; ”   
5 变量、结构  
1    5-1：去掉没必要的公共变量。  
说明：公共变量是增大模块间耦合的原因之一，故应减少没必要的公共变量以降低模块间的耦合度。  
1    5-2：仔细定义并明确公共变量的含义、作用、取值范围及公共变量间的关系。  
说明：在对变量声明的同时，应对其含义、作用及取值范围进行注释说明，同时若有必要还应说明与其它变量的关系。  
1    5-3：明确公共变量与操作此公共变量的函数或过程的关系，如访问、修改及创建等。  
说明：明确过程操作变量的关系后，将有利于程序的进一步优化、单元测试、系统联调以及代码维护等。这种关系的说明可在注释或文档中描述。  
示例：在源文件中，可按如下注释形式说明。  
RELATION    System\_Init    Input\_Rec    Print\_Rec   Stat\_Score  
Student     Create         Modify       Access      Access  
Score       Create         Modify       Access      Access, Modify

注：RELATION为操作关系；System\_Init、Input\_Rec、Print\_Rec、Stat\_Score为四个不同的函数；Student、Score为两个全局变量；Create表示创建，Modify表示修改，Access表示访问。  
其中，函数Input\_Rec、Stat\_Score都可修改变量Score，故此变量将引起函数间较大的耦合，并可能增加代码测试、维护的难度。  
1    5-4：当向公共变量传递数据时，要十分小心，防止赋与不合理的值或越界等现象发生。  
说明：对公共变量赋值时，若有必要应进行合法性检查，以提高代码的可靠性、稳定性。  
1    5-5：防止局部变量与公共变量同名。  
说明：若使用了较好的命名规则，那么此问题可自动消除。  
1    5-6：严禁使用未经初始化的变量作为右值。  
说明：特别是在C/C++中引用未经赋值的指针，经常会引起系统崩溃。  
?    5-1：构造仅有一个模块或函数可以修改、创建，而其余有关模块或函数只访问的公共变量，防止多个不同模块或函数都可以修改、创建同一公共变量的现象。  
说明：降低公共变量耦合度。  
?    5-2：使用严格形式定义的、可移植的数据类型，尽量不要使用与具体硬件或软件环境关系密切的变量。  
说明：使用标准的数据类型，有利于程序的移植。  
示例：如下例子（在DOS下BC3.1环境中），在移植时可能产生问题。  
void main()  
\{  
    register int index; // 寄存器变量

\_AX = 0x4000; // \_AX是BC3.1提供的寄存器“伪变量”  
    ... // program code  
\}  
?    5-3：结构的功能要单一，是针对一种事务的抽象。  
说明：设计结构时应力争使结构代表一种现实事务的抽象，而不是同时代表多种。结构中的各元素应代表同一事务的不同侧面，而不应把描述没有关系或关系很弱的不同事务的元素放到同一结构中。  
示例：如下结构不太清晰、合理。  
typedef struct STUDENT\_STRU  
\{  
    unsigned char name\[8\]; /\* student's name \*/  
    unsigned char age;     /\* student's age \*/  
    unsigned char sex;     /\* student's sex, as follows \*/  
                           /\* 0 - FEMALE; 1 - MALE \*/  
    unsigned char   
           teacher\_name\[8\]; /\* the student teacher's name \*/  
    unisgned char   
           teacher\_sex;     /\* his teacher sex \*/  
\} STUDENT;

若改为如下，可能更合理些。  
typedef struct TEACHER\_STRU  
\{  
    unsigned char name\[8\]; /\* teacher name \*/  
    unisgned char sex;     /\* teacher sex, as follows \*/  
                           /\* 0 - FEMALE; 1 - MALE \*/  
\} TEACHER;

typedef struct STUDENT\_STRU  
\{  
    unsigned char name\[8\];     /\* student's name \*/  
    unsigned char age;         /\* student's age \*/  
    unsigned char sex;         /\* student's sex, as follows \*/  
                               /\* 0 - FEMALE; 1 - MALE \*/  
    unsigned int  teacher\_ind; /\* his teacher index \*/  
\} STUDENT;  
?    5-4：不要设计面面俱到、非常灵活的数据结构。  
说明：面面俱到、灵活的数据结构反而容易引起误解和操作困难。  
?    5-5：不同结构间的关系不要过于复杂。  
说明：若两个结构间关系较复杂、密切，那么应合为一个结构。  
示例：如下两个结构的构造不合理。  
typedef struct PERSON\_ONE\_STRU  
\{  
    unsigned char name\[8\];  
    unsigned char addr\[40\];  
    unsigned char sex;  
    unsigned char city\[15\];  
\} PERSON\_ONE;

typedef struct PERSON\_TWO\_STRU  
\{  
    unsigned char name\[8\];  
    unsigned char age;  
    unsigned char tel;  
\} PERSON\_TWO;

由于两个结构都是描述同一事物的，那么不如合成一个结构。  
typedef struct PERSON\_STRU  
\{  
    unsigned char name\[8\];  
    unsigned char age;  
    unsigned char sex;  
    unsigned char addr\[40\];  
    unsigned char city\[15\];  
    unsigned char tel;  
\} PERSON;

?    5-6：结构中元素的个数应适中。若结构中元素个数过多可考虑依据某种原则把元素组成不同的子结构，以减少原结构中元素的个数。  
说明：增加结构的可理解性、可操作性和可维护性。  
示例：假如认为如上的\_PERSON结构元素过多，那么可如下对之划分。  
typedef struct PERSON\_BASE\_INFO\_STRU  
\{  
    unsigned char name\[8\];  
    unsigned char age;  
    unsigned char sex;  
\} PERSON\_BASE\_INFO;

typedef struct PERSON\_ADDRESS\_STRU  
\{  
    unsigned char addr\[40\];  
    unsigned char city\[15\];  
    unsigned char tel;  
\} PERSON\_ADDRESS;

typedef struct PERSON\_STRU  
\{  
    PERSON\_BASE\_INFO person\_base;  
    PERSON\_ADDRESS person\_addr;  
\} PERSON;  
?    5-7：仔细设计结构中元素的布局与排列顺序，使结构容易理解、节省占用空间，并减少引起误用现象。  
说明：合理排列结构中元素顺序，可节省空间并增加可理解性。  
示例：如下结构中的位域排列，将占较大空间，可读性也稍差。  
typedef struct EXAMPLE\_STRU  
\{  
    unsigned int valid: 1;  
    PERSON person;  
    unsigned int set\_flg: 1;  
\} EXAMPLE;

若改成如下形式，不仅可节省1字节空间，可读性也变好了。  
typedef struct EXAMPLE\_STRU  
\{  
    unsigned int valid: 1;  
    unsigned int set\_flg: 1;  
    PERSON person ;  
\} EXAMPLE;  
?    5-8：结构的设计要尽量考虑向前兼容和以后的版本升级，并为某些未来可能的应用保留余地（如预留一些空间等）。  
说明：软件向前兼容的特性，是软件产品是否成功的重要标志之一。如果要想使产品具有较好的前向兼容，那么在产品设计之初就应为以后版本升级保留一定余地，并且在产品升级时必须考虑前一版本的各种特性。  
?    5-9：留心具体语言及编译器处理不同数据类型的原则及有关细节。  
说明：如在C语言中，static局部变量将在内存“数据区”中生成，而非static局部变量将在“堆栈”中生成。这些细节对程序质量的保证非常重要。  
?    5-10：编程时，要注意数据类型的强制转换。  
说明：当进行数据类型强制转换时，其数据的意义、转换后的取值等都有可能发生变化，而这些细节若考虑不周，就很有可能留下隐患。  
?    5-11：对编译系统默认的数据类型转换，也要有充分的认识。  
示例：如下赋值，多数编译器不产生告警，但值的含义还是稍有变化。  
char chr;  
unsigned short int exam;

chr = -1;  
exam = chr; // 编译器不产生告警，此时exam为0xFFFF。  
?    5-12：尽量减少没有必要的数据类型默认转换与强制转换。  
?    5-13：合理地设计数据并使用自定义数据类型，避免数据间进行不必要的类型转换。  
?    5-14：对自定义数据类型进行恰当命名，使它成为自描述性的，以提高代码可读性。注意其命名方式在同一产品中的统一。  
说明：使用自定义类型，可以弥补编程语言提供类型少、信息量不足的缺点，并能使程序清晰、简洁。  
示例：可参考如下方式声明自定义数据类型。

下面的声明可使数据类型的使用简洁、明了。  
typedef unsigned char  BYTE;  
typedef unsigned short WORD;  
typedef unsigned int   DWORD;

下面的声明可使数据类型具有更丰富的含义。  
typedef float DISTANCE;  
typedef float SCORE;  
?    5-15：当声明用于分布式环境或不同CPU间通信环境的数据结构时，必须考虑机器的字节顺序、使用的位域及字节对齐等问题 。  
说明：比如Intel CPU与68360 CPU，在处理位域及整数时，其在内存存放的“顺序”正好相反。  
示例：假如有如下短整数及结构。  
unsigned short int exam;  
typedef struct EXAM\_BIT\_STRU  
\{                       /\* Intel 68360 \*/  
    unsigned int A1: 1; /\* bit  0      7   \*/  
    unsigned int A2: 1; /\* bit  1      6   \*/  
    unsigned int A3: 1; /\* bit  2      5   \*/  
\} EXAM\_BIT;

如下是Intel CPU生成短整数及位域的方式。  
内存： 0          1         2    ...  （从低到高，以字节为单位）  
exam  exam低字节  exam高字节

内存：        0 bit     1 bit      2 bit    ...  （字节的各“位”）  
EXAM\_BIT     A1        A2         A3

如下是68360 CPU生成短整数及位域的方式。  
内存： 0          1         2    ...  （从低到高，以字节为单位）  
exam  exam高字节  exam低字节

内存：        7 bit     6 bit      5 bit    ...  （字节的各“位”）  
EXAM\_BIT     A1        A2         A3

说明：在对齐方式下，CPU的运行效率要快得多。  
示例：如下图，当一个long型数（如图中long1）在内存中的位置正好与内存的字边界对齐时，CPU存取这个数只需访问一次内存，而当一个long型数（如图中的long2）在内存中的位置跨越了字边界时，CPU存取这个数就需要多次访问内存，如i960cx访问这样的数需读内存三次（一个BYTE、一个SHORT、一个BYTE，由CPU的微代码执行，对软件透明），所有对齐方式下CPU的运行效率明显快多了。  
    1       8       16      24      32  
    ------- ------- ------- -------  
    | long1 | long1 | long1 | long1 |  
    ------- ------- ------- -------  
    |       |       |       | long2 |  
    ------- ------- ------- --------  
    | long2 | long2 | long2 |       |  
    ------- ------- ------- --------  
    | ....   
6 函数、过程  
1    6-1：对所调用函数的错误返回码要仔细、全面地处理。  
1    6-2：明确函数功能，精确（而不是近似）地实现函数设计。  
1    6-3：编写可重入函数时，应注意局部变量的使用（如编写C/C++语言的可重入函数时，应使用auto即缺省态局部变量或寄存器变量）。  
说明：编写C/C++语言的可重入函数时，不应使用static局部变量，否则必须经过特殊处理，才能使函数具有可重入性。  
1    6-4：编写可重入函数时，若使用全局变量，则应通过关中断、信号量（即P、V操作）等手段对其加以保护。  
说明：若对所使用的全局变量不加以保护，则此函数就不具有可重入性，即当多个进程调用此函数时，很有可能使有关全局变量变为不可知状态。  
示例：假设Exam是int型全局变量，函数Squre\_Exam返回Exam平方值。那么如下函数不具有可重入性。  
unsigned int example( int para )  
\{  
    unsigned int temp;

Exam = para; // （\*\*）  
    temp = Square\_Exam( );

return temp;  
\}

此函数若被多个进程调用的话，其结果可能是未知的，因为当（\*\*）语句刚执行完后，另外一个使用本函数的进程可能正好被激活，那么当新激活的进程执行到此函数时，将使Exam赋与另一个不同的para值，所以当控制重新回到“temp = Square\_Exam( )”后，计算出的temp很可能不是预想中的结果。此函数应如下改进。  
unsigned int example( int para )  
\{  
    unsigned int temp;

\[申请信号量操作\]          // 若申请不到“信号量”，说明另外的进程正处于  
    Exam = para;            // 给Exam赋值并计算其平方过程中（即正在使用此  
    temp = Square\_Exam( );  // 信号），本进程必须等待其释放信号后，才可继  
    \[释放信号量操作\]          // 续执行。若申请到信号，则可继续执行，但其  
                            // 它进程必须等待本进程释放信号量后，才能再使  
                            // 用本信号。  
    return temp;  
\}  
1    6-5：在同一项目组应明确规定对接口函数参数的合法性检查应由函数的调用者负责还是由接口函数本身负责，缺省是由函数调用者负责。  
说明：对于模块间接口函数的参数的合法性检查这一问题，往往有两个极端现象，即：要么是调用者和被调用者对参数均不作合法性检查，结果就遗漏了合法性检查这一必要的处理过程，造成问题隐患；要么就是调用者和被调用者均对参数进行合法性检查，这种情况虽不会造成问题，但产生了冗余代码，降低了效率。  
?    6-1：防止将函数的参数作为工作变量。  
说明：将函数的参数作为工作变量，有可能错误地改变参数内容，所以很危险。对必须改变的参数，最好先用局部变量代之，最后再将该局部变量的内容赋给该参数。  
示例：下函数的实现不太好。  
void sum\_data( unsigned int num, int \*data, int \*sum )  
\{  
    unsigned int count;  
      
    \*sum = 0;  
    for (count = 0; count < num; count++)  
    \{  
        \*sum  += data\[count\]; // sum成了工作变量，不太好。  
    \}  
\}

若改为如下，则更好些。  
void sum\_data( unsigned int num, int \*data, int \*sum )  
\{  
    unsigned int count ;  
    int sum\_temp;  
      
    sum\_temp = 0;  
    for (count = 0; count < num; count ++)  
    \{  
        sum\_temp  += data\[count\];   
    \}  
      
    \*sum = sum\_temp;  
\}  
?    6-2：函数的规模尽量限制在200行以内。  
说明：不包括注释和空格行。  
?    6-3：一个函数仅完成一件功能。  
?    6-4：为简单功能编写函数。  
说明：虽然为仅用一两行就可完成的功能去编函数好象没有必要，但用函数可使功能明确化，增加程序可读性，亦可方便维护、测试。  
示例：如下语句的功能不很明显。  
value = ( a > b ) ? a : b ;

改为如下就很清晰了。  
int max (int a, int b)  
\{  
    return ((a > b) ? a : b);  
\}

value = max (a, b);

或改为如下。  
\#define MAX (a, b) (((a) > (b)) ? (a) : (b))

value = MAX (a, b);  
?    6-5：不要设计多用途面面俱到的函数。  
说明：多功能集于一身的函数，很可能使函数的理解、测试、维护等变得困难。  
?    6-6：函数的功能应该是可以预测的，也就是只要输入数据相同就应产生同样的输出。  
说明：带有内部“存储器”的函数的功能可能是不可预测的，因为它的输出可能取决于内部存储器（如某标记）的状态。这样的函数既不易于理解又不利于测试和维护。在C/C++语言中，函数的static局部变量是函数的内部存储器，有可能使函数的功能不可预测，然而，当某函数的返回值为指针类型时，则必须是STATIC的局部变量的地址作为返回值，若为AUTO类，则返回为错针。  
示例：如下函数，其返回值（即功能）是不可预测的。  
unsigned int integer\_sum( unsigned int base )  
\{  
    unsigned int index;  
    static unsigned int sum = 0; // 注意，是static类型的。  
                                 // 若改为auto类型，则函数即变为可预测。  
    for (index = 1; index <= base; index++)  
    \{  
        sum += index;  
    \}

return sum;  
\}  
?    6-7：尽量不要编写依赖于其他函数内部实现的函数。  
说明：此条为函数独立性的基本要求。由于目前大部分高级语言都是结构化的，所以通过具体语言的语法要求与编译器功能，基本就可以防止这种情况发生。但在汇编语言中，由于其灵活性，很可能使函数出现这种情况。  
示例：如下是在DOS下TASM的汇编程序例子。过程Print\_Msg的实现依赖于Input\_Msg的具体实现，这种程序是非结构化的，难以维护、修改。  
...  // 程序代码  
proc Print\_Msg // 过程（函数）Print\_Msg  
    ...  // 程序代码  
    jmp  LABEL  
    ...  // 程序代码  
endp

proc Input\_Msg // 过程（函数）Input\_Msg  
    ...  // 程序代码  
LABEL:  
    ...  // 程序代码  
endp  
?    6-8：避免设计多参数函数，不使用的参数从接口中去掉。  
说明：目的减少函数间接口的复杂度。  
?    6-9：非调度函数应减少或防止控制参数，尽量只使用数据参数。  
说明：本建议目的是防止函数间的控制耦合。调度函数是指根据输入的消息类型或控制命令，来启动相应的功能实体（即函数或过程），而本身并不完成具体功能。控制参数是指改变函数功能行为的参数，即函数要根据此参数来决定具体怎样工作。非调度函数的控制参数增加了函数间的控制耦合，很可能使函数间的耦合度增大，并使函数的功能不唯一。  
示例：如下函数构造不太合理。  
int add\_sub( int a, int b, unsigned char add\_sub\_flg )  
\{  
    if (add\_sub\_flg == INTEGER\_ADD)  
    \{  
        return (a + b);  
    \}  
    else  
    \{  
        return (a   b);  
    \}  
\}

不如分为如下两个函数清晰。  
int add( int a, int b )  
\{  
    return (a + b);  
\}

int sub( int a, int b )   
\{  
    return (a   b);  
\}  
?    6-10：检查函数所有参数输入的有效性。  
?    6-11：检查函数所有非参数输入的有效性，如数据文件、公共变量等。  
说明：函数的输入主要有两种：一种是参数输入；另一种是全局变量、数据文件的输入，即非参数输入。函数在使用输入之前，应进行必要的检查。  
?    6-12：函数名应准确描述函数的功能。  
?    6-13：使用动宾词组为执行某操作的函数命名。如果是OOP方法，可以只有动词（名词是对象本身）。  
示例：参照如下方式命名函数。  
void print\_record( unsigned int rec\_ind ) ;  
int  input\_record( void ) ;  
unsigned char get\_current\_color( void ) ;  
建议6-14：避免使用无意义或含义不清的动词为函数命名。  
说明：避免用含义不清的动词如process、handle等为函数命名，因为这些动词并没有说明要具体做什么。  
建议6-15：函数的返回值要清楚、明了，让使用者不容易忽视错误情况。  
说明：函数的每种出错返回值的意义要清晰、明了、准确，防止使用者误用、理解错误或忽视错误返回码。  
?    6-16：除非必要，最好不要把与函数返回值类型不同的变量，以编译系统默认的转换方式或强制的转换方式作为返回值返回。  
?    6-17：让函数在调用点显得易懂、容易理解。  
?    6-18：在调用函数填写参数时，应尽量减少没有必要的默认数据类型转换或强制数据类型转换。  
说明：因为数据类型转换或多或少存在危险。  
?    6-19：避免函数中不必要语句，防止程序中的垃圾代码。  
说明：程序中的垃圾代码不仅占用额外的空间，而且还常常影响程序的功能与性能，很可能给程序的测试、维护等造成不必要的麻烦。  
?    6-20：防止把没有关联的语句放到一个函数中。  
说明：防止函数或过程内出现随机内聚。随机内聚是指将没有关联或关联很弱的语句放到同一个函数或过程中。随机内聚给函数或过程的维护、测试及以后的升级等造成了不便，同时也使函数或过程的功能不明确。使用随机内聚函数，常常容易出现在一种应用场合需要改进此函数，而另一种应用场合又不允许这种改进，从而陷入困境。  
在编程时，经常遇到在不同函数中使用相同的代码，许多开发人员都愿把这些代码提出来，并构成一个新函数。若这些代码关联较大并且是完成一个功能的，那么这种构造是合理的，否则这种构造将产生随机内聚的函数。  
示例：如下函数就是一种随机内聚。  
void Init\_Var( void )  
\{  
    Rect.length = 0;  
    Rect.width = 0; /\* 初始化矩形的长与宽 \*/  
      
    Point.x = 10;  
    Point.y = 10;   /\* 初始化“点”的坐标 \*/  
\}

矩形的长、宽与点的坐标基本没有任何关系，故以上函数是随机内聚。  
应如下分为两个函数：  
void Init\_Rect( void )  
\{  
    Rect.length = 0;  
    Rect.width = 0; /\* 初始化矩形的长与宽 \*/  
\}

void Init\_Point( void )  
\{  
    Point.x = 10;  
    Point.y = 10;   /\* 初始化“点”的坐标 \*/  
\}  
?    6-21：如果多段代码重复做同一件事情，那么在函数的划分上可能存在问题。  
说明：若此段代码各语句之间有实质性关联并且是完成同一件功能的，那么可考虑把此段代码构造成一个新的函数。  
?    6-22：功能不明确较小的函数，特别是仅有一个上级函数调用它时，应考虑把它合并到上级函数中，而不必单独存在。  
说明：模块中函数划分的过多，一般会使函数间的接口变得复杂。所以过小的函数，特别是扇入很低的或功能不明确的函数，不值得单独存在。  
?    6-23：设计高扇入、合理扇出（小于7）的函数。  
说明：扇出是指一个函数直接调用（控制）其它函数的数目，而扇入是指有多少上级函数调用它。  
扇出过大，表明函数过分复杂，需要控制和协调过多的下级函数；而扇出过小，如总是1，表明函数的调用层次可能过多，这样不利程序阅读和函数结构的分析，并且程序运行时会对系统资源如堆栈空间等造成压力。函数较合理的扇出（调度函数除外）通常是3-5。扇出太大，一般是由于缺乏中间层次，可适当增加中间层次的函数。扇出太小，可把下级函数进一步分解多个函数，或合并到上级函数中。当然分解或合并函数时，不能改变要实现的功能，也不能违背函数间的独立性。  
扇入越大，表明使用此函数的上级函数越多，这样的函数使用效率高，但不能违背函数间的独立性而单纯地追求高扇入。公共模块中的函数及底层函数应该有较高的扇入。  
较良好的软件结构通常是顶层函数的扇出较高，中层函数的扇出较少，而底层函数则扇入到公共模块中。  
?    6-24：减少函数本身或函数间的递归调用。  
说明：递归调用特别是函数间的递归调用（如A->B->C->A），影响程序的可理解性；递归调用一般都占用较多的系统资源（如栈空间）；递归调用对程序的测试有一定影响。故除非为某些算法或功能的实现方便，应减少没必要的递归调用。  
?    6-25：仔细分析模块的功能及性能需求，并进一步细分，同时若有必要画出有关数据流图，据此来进行模块的函数划分与组织。  
说明：函数的划分与组织是模块的实现过程中很关键的步骤，如何划分出合理的函数结构，关系到模块的最终效率和可维护性、可测性等。根据模块的功能图或/及数据流图映射出函数结构是常用方法之一。

?    6-26：改进模块中函数的结构，降低函数间的耦合度，并提高函数的独立性以及代码可读性、效率和可维护性。优化函数结构时，要遵守以下原则：  
（1）不能影响模块功能的实现。  
（2）仔细考查模块或函数出错处理及模块的性能要求并进行完善。  
（3）通过分解或合并函数来改进软件结构。  
（4）考查函数的规模，过大的要进行分解。  
（5）降低函数间接口的复杂度。  
（6）不同层次的函数调用要有较合理的扇入、扇出。  
（7）函数功能应可预测。  
（8）提高函数内聚。（单一功能的函数内聚最高）  
说明：对初步划分后的函数结构应进行改进、优化，使之更为合理。  
?    6-27：在多任务操作系统的环境下编程，要注意函数可重入性的构造。  
说明：可重入性是指函数可以被多个任务进程调用。在多任务操作系统中，函数是否具有可重入性是非常重要的，因为这是多个进程可以共用此函数的必要条件。另外，编译器是否提供可重入函数库，与它所服务的操作系统有关，只有操作系统是多任务时，编译器才有可能提供可重入函数库。如DOS下BC和MSC等就不具备可重入函数库，因为DOS是单用户单任务操作系统。  
?    6-28：避免使用BOOL参数。  
说明：原因有二，其一是BOOL参数值无意义，TURE/FALSE的含义是非常模糊的，在调用时很难知道该参数到底传达的是什么意思；其二是BOOL参数值不利于扩充。还有NULL也是一个无意义的单词。  
?    6-29： 对于提供了返回值的函数，在引用时最好使用其返回值。  
?    6-30：当一个过程（函数）中对较长变量（一般是结构的成员）有较多引用时，可以用一个意义相当的宏代替。   
说明：这样可以增加编程效率和程序的可读性。  
示例：在某过程中较多引用TheReceiveBuffer\[FirstSocket\].byDataPtr，  
则可以通过以下宏定义来代替：  
\# define pSOCKDATA TheReceiveBuffer\[FirstScoket\].byDataPtr  
  
7 可测性  
1    7-1：在同一项目组或产品组内，要有一套统一的为集成测试与系统联调准备的调测开关及相应打印函数，并且要有详细的说明。  
说明：本规则是针对项目组或产品组的。  
1    7-2：在同一项目组或产品组内，调测打印出的信息串的格式要有统一的形式。信息串中至少要有所在模块名（或源文件名）及行号。  
说明：统一的调测信息格式便于集成测试。  
1    7-3：编程的同时要为单元测试选择恰当的测试点，并仔细构造测试代码、测试用例，同时给出明确的注释说明。测试代码部分应作为（模块中的）一个子模块，以方便测试代码在模块中的安装与拆卸（通过调测开关）。  
说明：为单元测试而准备。  
1    7-4：在进行集成测试/系统联调之前，要构造好测试环境、测试项目及测试用例，同时仔细分析并优化测试用例，以提高测试效率。  
说明：好的测试用例应尽可能模拟出程序所遇到的边界值、各种复杂环境及一些极端情况等。  
1    7-5：使用断言来发现软件问题，提高代码可测性。  
说明：断言是对某种假设条件进行检查（可理解为若条件成立则无动作，否则应报告），它可以快速发现并定位软件问题，同时对系统错误进行自动报警。断言可以对在系统中隐藏很深，用其它手段极难发现的问题进行定位，从而缩短软件问题定位时间，提高系统的可测性。实际应用时，可根据具体情况灵活地设计断言。  
示例：下面是C语言中的一个断言，用宏来设计的。（其中NULL为0L）  
\#ifdef \_EXAM\_ASSERT\_TEST\_  // 若使用断言测试

void exam\_assert( char \* file\_name, unsigned int line\_no )  
\{  
    printf( "/n\[EXAM\]Assert failed: %s, line %u/n",   
            file\_name, line\_no );  
    abort( );  
\}

\#define  EXAM\_ASSERT( condition )  
    if (condition) // 若条件成立，则无动作  
        NULL;  
    else  // 否则报告  
        exam\_assert( \_\_FILE\_\_, \_\_LINE\_\_ )

\#else  // 若不使用断言测试

\#define EXAM\_ASSERT(condition)  NULL

\#endif  /\* end of ASSERT \*/  
1    7-6：用断言来检查程序正常运行时不应发生但在调测时有可能发生的非法情况。  
1    7-7：不能用断言来检查最终产品肯定会出现且必须处理的错误情况。  
说明：断言是用来处理不应该发生的错误情况的，对于可能会发生的且必须处理的情况要写防错程序，而不是断言。如某模块收到其它模块或链路上的消息后，要对消息的合理性进行检查，此过程为正常的错误检查，不能用断言来实现。  
1    7-8：对较复杂的断言加上明确的注释。  
说明：为复杂的断言加注释，可澄清断言含义并减少不必要的误用。  
1    7-9：用断言确认函数的参数。  
示例：假设某函数参数中有一个指针，那么使用指针前可对它检查，如下。  
int exam\_fun( unsigned char \*str )  
\{  
    EXAM\_ASSERT( str != NULL );  // 用断言检查“假设指针不为空”这个条件  
      
    ... //other program code  
\}  
1    7-10：用断言保证没有定义的特性或功能不被使用。  
示例：假设某通信模块在设计时，准备提供“无连接”和“连接” 这两种业务。但当前的版本中仅实现了“无连接”业务，且在此版本的正式发行版中，用户（上层模块）不应产生“连接”业务的请求，那么在测试时可用断言检查用户是否使用“连接”业务。如下。  
\#define EXAM\_CONNECTIONLESS 0 // 无连接业务  
\#define EXAM\_CONNECTION     1 // 连接业务

int msg\_process( EXAM\_MESSAGE \*msg )  
\{  
    unsigned char service; /\* message service class \*/

EXAM\_ASSERT( msg != NULL );

service = get\_msg\_service\_class( msg );

EXAM\_ASSERT( service != EXAM\_CONNECTION ); // 假设不使用连接业务

...  //other program code  
\}  
1    7-11：用断言对程序开发环境（OS/Compiler/Hardware）的假设进行检查。  
说明：程序运行时所需的软硬件环境及配置要求，不能用断言来检查，而必须由一段专门代码处理。用断言仅可对程序开发环境中的假设及所配置的某版本软硬件是否具有某种功能的假设进行检查。如某网卡是否在系统运行环境中配置了，应由程序中正式代码来检查；而此网卡是否具有某设想的功能，则可由断言来检查。  
对编译器提供的功能及特性假设可用断言检查，原因是软件最终产品（即运行代码或机器码）与编译器已没有任何直接关系，即软件运行过程中（注意不是编译过程中）不会也不应该对编译器的功能提出任何需求。  
示例：用断言检查编译器的int型数据占用的内存空间是否为2，如下。  
EXAM\_ASSERT( sizeof( int ) == 2 );  
1    7-12：正式软件产品中应把断言及其它调测代码去掉（即把有关的调测开关关掉）。  
说明：加快软件运行速度。  
1    7-13：在软件系统中设置与取消有关测试手段，不能对软件实现的功能等产生影响。  
说明：即有测试代码的软件和关掉测试代码的软件，在功能行为上应一致。  
1    7-14：用调测开关来切换软件的DEBUG版和正式版，而不要同时存在正式版本和DEBUG版本的不同源文件，以减少维护的难度。  
1    7-15：软件的DEBUG版本和发行版本应该统一维护，不允许分家，并且要时刻注意保证两个版本在实现功能上的一致性。  
?    7-1：在编写代码之前，应预先设计好程序调试与测试的方法和手段，并设计好各种调测开关及相应测试代码如打印函数等。  
说明：程序的调试与测试是软件生存周期中很重要的一个阶段，如何对软件进行较全面、高率的测试并尽可能地找出软件中的错误就成为很关键的问题。因此在编写源代码之前，除了要有一套比较完善的测试计划外，还应设计出一系列代码测试手段，为单元测试、集成测试及系统联调提供方便。  
?    7-2：调测开关应分为不同级别和类型。  
说明：调测开关的设置及分类应从以下几方面考虑：针对模块或系统某部分代码的调测；针对模块或系统某功能的调测；出于某种其它目的，如对性能、容量等的测试。这样做便于软件功能的调测，并且便于模块的单元测试、系统联调等。  
?    7-3：编写防错程序，然后在处理错误之后可用断言宣布发生错误。  
示例：假如某模块收到通信链路上的消息，则应对消息的合法性进行检查，若消息类别不是通信协议中规定的，则应进行出错处理，之后可用断言报告，如下例。  
\#ifdef \_EXAM\_ASSERT\_TEST\_ // 若使用断言测试

/\* Notice: this function does not call 'abort' to exit program \*/  
void assert\_report( char \* file\_name, unsigned int line\_no )  
\{  
    printf( "/n\[EXAM\]Error Report: %s, line %u/n",   
            file\_name, line\_no );  
\}

\#define  ASSERT\_REPORT( condition )   
    if ( condition ) // 若条件成立，则无动作  
        NULL;  
    else // 否则报告  
        assert\_report ( \_\_FILE\_\_, \_\_LINE\_\_ )

\#else // 若不使用断言测试

\#define ASSERT\_REPORT( condition )  NULL

\#endif /\* end of ASSERT \*/

int msg\_handle( unsigned char msg\_name, unsigned char \* msg )  
\{  
    switch( msg\_name )  
    \{  
        case MSG\_ONE:  
            ... // 消息MSG\_ONE处理  
            return MSG\_HANDLE\_SUCCESS;  
      
            ... // 其它合法消息处理  
      
        default:  
            ... // 消息出错处理  
            ASSERT\_REPORT( FALSE );  // “合法”消息不成立，报告  
            return MSG\_HANDLE\_ERROR;  
    \}  
\}   
8 程序效率  
1    8-1：编程时要经常注意代码的效率。  
说明：代码效率分为全局效率、局部效率、时间效率及空间效率。全局效率是站在整个系统的角度上的系统效率；局部效率是站在模块或函数角度上的效率；时间效率是程序处理输入任务所需的时间长短；空间效率是程序所需内存空间，如机器代码空间大小、数据空间大小、栈空间大小等。  
1    8-2：在保证软件系统的正确性、稳定性、可读性及可测性的前提下，提高代码效率。  
说明：不能一味地追求代码效率，而对软件的正确性、稳定性、可读性及可测性造成影响。  
1    8-3：局部效率应为全局效率服务，不能因为提高局部效率而对全局效率造成影响。  
1    8-4：通过对系统数据结构的划分与组织的改进，以及对程序算法的优化来提高空间效率。  
说明：这种方式是解决软件空间效率的根本办法。  
示例：如下记录学生学习成绩的结构不合理。  
typedef unsigned char  BYTE;  
typedef unsigned short WORD;

typedef struct STUDENT\_SCORE\_STRU

BYTE name\[8\];  
    BYTE age;  
    BYTE sex;  
    BYTE class;  
    BYTE subject;  
    float score;  
\} STUDENT\_SCORE;

因为每位学生都有多科学习成绩，故如上结构将占用较大空间。应如下改进（分为两个结构），总的存贮空间将变小，操作也变得更方便。  
typedef struct STUDENT\_STRU  
\{  
    BYTE name\[8\];  
    BYTE age;  
    BYTE sex;  
    BYTE class;  
\} STUDENT;

typedef struct STUDENT\_SCORE\_STRU  
\{  
    WORD student\_index;  
    BYTE subject;  
    float score;  
\} STUDENT\_SCORE;  
1    8-5：循环体内工作量最小化。  
说明：应仔细考虑循环体内的语句是否可以放在循环体之外，使循环体内工作量最小，从而提高程序的时间效率。  
示例：如下代码效率不高。  
for (ind = 0; ind < MAX\_ADD\_NUMBER; ind++)  
\{  
    sum += ind;  
    back\_sum = sum; /\* backup sum \*/  
\}

语句“back\_sum = sum;”完全可以放在for语句之后，如下。  
for (ind = 0; ind < MAX\_ADD\_NUMBER; ind++)  
\{  
    sum += ind;  
\}  
back\_sum  = sum; /\* backup sum \*/  
?    8-1：仔细分析有关算法，并进行优化。  
?    8-2：仔细考查、分析系统及模块处理输入（如事务、消息等）的方式，并加以改进。  
?    8-3：对模块中函数的划分及组织方式进行分析、优化，改进模块中函数的组织结构，提高程序效率。  
说明：软件系统的效率主要与算法、处理任务方式、系统功能及函数结构有很大关系，仅在代码上下功夫一般不能解决根本问题。  
?    8-4：编程时，要随时留心代码效率；优化代码时，要考虑周全。  
?    8-5：不应花过多的时间拼命地提高调用不很频繁的函数代码效率。  
说明：对代码优化可提高效率，但若考虑不周很有可能引起严重后果。  
?    8-6：要仔细地构造或直接用汇编编写调用频繁或性能要求极高的函数。  
说明：只有对编译系统产生机器码的方式以及硬件系统较为熟悉时，才可使用汇编嵌入方式。嵌入汇编可提高时间及空间效率，但也存在一定风险。  
?    8-7：在保证程序质量的前提下，通过压缩代码量、去掉不必要代码以及减少不必要的局部和全局变量，来提高空间效率。  
说明：这种方式对提高空间效率可起到一定作用，但往往不能解决根本问题。  
?    8-8：在多重循环中，应将最忙的循环放在最内层。  
说明：减少CPU切入循环层的次数。  
示例：如下代码效率不高。  
for (row = 0; row < 100; row++)  
\{  
    for (col = 0; col < 5; col++)  
    \{  
        sum += a\[row\]\[col\];  
    \}  
\}

可以改为如下方式，以提高效率。  
for (col = 0; col < 5; col++)  
\{  
    for (row = 0; row < 100; row++)  
    \{  
        sum += a\[row\]\[col\];  
    \}  
\}  
?    8-9：尽量减少循环嵌套层次。  
?    8-10：避免循环体内含判断语句，应将循环语句置于判断语句的代码块之中。  
说明：目的是减少判断次数。循环体中的判断语句是否可以移到循环体外，要视程序的具体情况而言，一般情况，与循环变量无关的判断语句可以移到循环体外，而有关的则不可以。  
示例：如下代码效率稍低。  
for (ind = 0; ind < MAX\_RECT\_NUMBER; ind++)  
\{  
    if (data\_type == RECT\_AREA)  
    \{  
        area\_sum += rect\_area\[ind\];  
    \}  
    else  
    \{  
        rect\_length\_sum += rect\[ind\].length;  
        rect\_width\_sum += rect\[ind\].width;  
    \}  
\}

因为判断语句与循环变量无关，故可如下改进，以减少判断次数。  
if (data\_type == RECT\_AREA)  
\{  
    for (ind = 0; ind < MAX\_RECT\_NUMBER; ind++)  
    \{  
        area\_sum += rect\_area\[ind\];  
    \}  
\}  
else  
\{  
    for (ind = 0; ind < MAX\_RECT\_NUMBER; ind++)  
    \{  
        rect\_length\_sum += rect\[ind\].length;  
        rect\_width\_sum  += rect\[ind\].width;  
    \}  
\}  
?    8-11：尽量用乘法或其它方法代替除法，特别是浮点运算中的除法。  
说明：浮点运算除法要占用较多CPU资源。  
示例：如下表达式运算可能要占较多CPU资源。  
\#define PAI 3.1416  
radius = circle\_length / (2 \* PAI);

应如下把浮点除法改为浮点乘法。  
\#define PAI\_RECIPROCAL (1 / 3.1416 ) // 编译器编译时，将生成具体浮点数  
radius = circle\_length \* PAI\_RECIPROCAL / 2;   
?    8-12：不要一味追求紧凑的代码。  
说明：因为紧凑的代码并不代表高效的机器码。   
9 质量保证  
1    9-1：在软件设计过程中构筑软件质量。  
1    9-2：代码质量保证优先原则  
     （1）正确性，指程序要实现设计要求的功能。  
     （2）稳定性、安全性，指程序稳定、可靠、安全。  
     （3）可测试性，指程序要具有良好的可测试性。  
     （4）规范/可读性，指程序书写风格、命名规则等要符合规范。  
     （5）全局效率，指软件系统的整体效率。  
     （6）局部效率，指某个模块/子模块/函数的本身效率。  
     （7）个人表达方式/个人方便性，指个人编程习惯。  
1    9-3：只引用属于自己的存贮空间。  
说明：若模块封装的较好，那么一般不会发生非法引用他人的空间。  
1    9-4：防止引用已经释放的内存空间。  
说明：在实际编程过程中，稍不留心就会出现在一个模块中释放了某个内存块（如C语言指针），而另一模块在随后的某个时刻又使用了它。要防止这种情况发生。  
1    9-5：过程/函数中分配的内存，在过程/函数退出之前要释放。  
1    9-6：过程/函数中申请的（为打开文件而使用的）文件句柄，在过程/函数退出之前要关闭。  
说明：分配的内存不释放以及文件句柄不关闭，是较常见的错误，而且稍不注意就有可能发生。这类错误往往会引起很严重后果，且难以定位。  
示例：下函数在退出之前，没有把分配的内存释放。  
typedef unsigned char BYTE;

int example\_fun( BYTE gt\_len, BYTE \*gt\_code )  
\{  
    BYTE \*gt\_buf;

gt\_buf = (BYTE \*) malloc (MAX\_GT\_LENGTH);  
    ...  //program code, include check gt\_buf if or not NULL.  
      
    /\* global title length error \*/  
    if (gt\_len > MAX\_GT\_LENGTH)  
    \{  
        return GT\_LENGTH\_ERROR; // 忘了释放gt\_buf  
    \}  
      
    ...  // other program code  
\}

应改为如下。  
int example\_fun( BYTE gt\_len, BYTE \*gt\_code )  
\{  
    BYTE \*gt\_buf;

gt\_buf = (BYTE \* ) malloc ( MAX\_GT\_LENGTH );  
    ...  // program code, include check gt\_buf if or not NULL.  
      
    /\* global title length error \*/  
    if (gt\_len > MAX\_GT\_LENGTH)  
    \{  
        free( gt\_buf  ); // 退出之前释放gt\_buf  
        return GT\_LENGTH\_ERROR;    
    \}  
      
    ...  // other program code  
\}

防止内存操作越界。  
说明：内存操作主要是指对数组、指针、内存地址等的操作。内存操作越界是软件系统主要错误之一，后果往往非常严重，所以当我们进行这些操作时一定要仔细小心。  
示例：假设某软件系统最多可由10个用户同时使用，用户号为1-10，那么如下程序存在问题。  
\#define MAX\_USR\_NUM 10  
unsigned char usr\_login\_flg\[MAX\_USR\_NUM\]= "";

void set\_usr\_login\_flg( unsigned char usr\_no )  
\{  
    if (!usr\_login\_flg\[usr\_no\])  
    \{  
        usr\_login\_flg\[usr\_no\]= TRUE;  
    \}  
\}

当usr\_no为10时，将使用usr\_login\_flg越界。可采用如下方式解决。  
void set\_usr\_login\_flg( unsigned char usr\_no )  
\{  
    if (!usr\_login\_flg\[usr\_no - 1\])  
    \{  
        usr\_login\_flg\[usr\_no - 1\]= TRUE;  
    \}  
\}  
1    9-8：认真处理程序所能遇到的各种出错情况。  
1    9-9：系统运行之初，要初始化有关变量及运行环境，防止未经初始化的变量被引用。  
1    9-10：系统运行之初，要对加载到系统中的数据进行一致性检查。  
说明：使用不一致的数据，容易使系统进入混乱状态和不可知状态。  
1    9-11：严禁随意更改其它模块或系统的有关设置和配置。  
说明：编程时，不能随心所欲地更改不属于自己模块的有关设置如常量、数组的大小等。  
1    9-12：不能随意改变与其它模块的接口。  
1    9-13：充分了解系统的接口之后，再使用系统提供的功能。  
示例：在B型机的各模块与操作系统的接口函数中，有一个要由各模块负责编写的初始化过程，此过程在软件系统加载完成后，由操作系统发送的初始化消息来调度。因此就涉及到初始化消息的类型与消息发送的顺序问题，特别是消息顺序，若没搞清楚就开始编程，很容易引起严重后果。以下示例引自B型曾出现过的实际代码，其中使用了FID\_FETCH\_DATA与FID\_INITIAL初始化消息类型，注意B型机的系统是在FID\_FETCH\_DATA之前发送FID\_INITIAL的。

MID alarm\_module\_list\[MAX\_ALARM\_MID\];

int FAR SYS\_ALARM\_proc( FID function\_id, int handle )  
\{  
    \_UI i, j;

switch ( function\_id )  
    \{  
        ... // program code  
      
        case FID\_INITAIL:  
            for (i = 0; i < MAX\_ALARM\_MID; i++)  
            \{  
                if (alarm\_module\_list\[i\]== BAM\_MODULE // \*\*）  
                   || (alarm\_module\_list\[i\]== LOCAL\_MODULE)  
                \{

for (j = 0; j < ALARM\_CLASS\_SUM; j++)  
                    \{  
                        FAR\_MALLOC( ... );  
                    \}  
                \}  
            \}

... // program code

break;  
      
        case FID\_FETCH\_DATA:

... // program code

Get\_Alarm\_Module( );  // 初始化alarm\_module\_list

break;  
      
        ... // program code  
    \}  
\}

由于FID\_INITIAL是在FID\_FETCH\_DATA之前执行的，而初始化alarm\_module\_list是在FID\_FETCH\_DATA中进行的，故在FID\_INITIAL中（\*\*）处引用alarm\_module\_list变量时，它还没有被初始化。这是个严重错误。  
应如下改正：要么把Get\_Alarm\_Module函数放在FID\_INITIAL中（\*\*）之前；要么就必须考虑（\*\*）处的判断语句是否可以用（不使用alarm\_module\_list变量的）其它方式替代，或者是否可以取消此判断语句。  
1    9-14：编程时，要防止差1错误。  
说明：此类错误一般是由于把“<=”误写成“<”或“>=”误写成“>”等造成的，由此引起的后果，很多情况下是很严重的，所以编程时，一定要在这些地方小心。当编完程序后，应对这些操作符进行彻底检查。  
1    9-15：要时刻注意易混淆的操作符。当编完程序后，应从头至尾检查一遍这些操作符，以防止拼写错误。  
说明：形式相近的操作符最容易引起误用，如C/C++中的“=”与“==”、“|”与“||”、“&”与“&&”等，若拼写错了，编译器不一定能够检查出来。  
示例：如把“&”写成“&&”，或反之。  
ret\_flg = (pmsg->ret\_flg & RETURN\_MASK);    
被写为：  
ret\_flg = (pmsg->ret\_flg && RETURN\_MASK);

rpt\_flg = (VALID\_TASK\_NO( taskno ) && DATA\_NOT\_ZERO( stat\_data ));  
被写为：  
rpt\_flg = (VALID\_TASK\_NO( taskno ) & DATA\_NOT\_ZERO( stat\_data ));  
1    9-16：有可能的话，if语句尽量加上else分支，对没有else分支的语句要小心对待；switch语句必须有default分支。  
1    9-17：Unix下，多线程的中的子线程退出必需采用主动退出方式，即子线程应return出口。  
1    9-18：不要滥用goto语句。  
说明：goto语句会破坏程序的结构性，所以除非确实需要，最好不使用goto语句。  
?    9-1：不使用与硬件或操作系统关系很大的语句，而使用建议的标准语句，以提高软件的可移植性和可重用性。  
?    9-2：除非为了满足特殊需求，避免使用嵌入式汇编。  
说明：程序中嵌入式汇编，一般都对可移植性有较大的影响。  
?    9-3：精心地构造、划分子模块，并按“接口”部分及“内核”部分合理地组织子模块，以提高“内核”部分的可移植性和可重用性。  
说明：对不同产品中的某个功能相同的模块，若能做到其内核部分完全或基本一致，那么无论对产品的测试、维护，还是对以后产品的升级都会有很大帮助。  
?    9-4：精心构造算法，并对其性能、效率进行测试。  
?    9-5：对较关键的算法最好使用其它算法来确认。  
?    9-6：时刻注意表达式是否会上溢、下溢。  
示例：如下程序将造成变量下溢。  
unsigned char size ;  
while (size-- >= 0) // 将出现下溢  
\{  
    ... // program code  
\}

当size等于0时，再减1不会小于0，而是0xFF，故程序是一个死循环。应如下修改。  
char size; // 从unsigned char 改为char  
while (size-- >= 0)  
\{  
    ... // program code  
\}  
?    9-7：使用变量时要注意其边界值的情况。  
示例：如C语言中字符型变量，有效值范围为-128到127。故以下表达式的计算存在一定风险。  
char chr = 127;  
int sum = 200;

chr += 1; // 127为chr的边界值，再加1将使chr上溢到-128，而不是128。  
sum += chr; // 故sum的结果不是328，而是72。

若chr与sum为同一种类型，或表达式按如下方式书写，可能会好些。  
sum = sum + chr + 1;   
?    9-8：留心程序机器码大小（如指令空间大小、数据空间大小、堆栈空间大小等）是否超出系统有关限制。  
?    9-9：为用户提供良好的接口界面，使用户能较充分地了解系统内部运行状态及有关系统出错情况。  
?    9-10：系统应具有一定的容错能力，对一些错误事件（如用户误操作等）能进行自动补救。  
?    9-11：对一些具有危险性的操作代码（如写硬盘、删数据等）要仔细考虑，防止对数据、硬件等的安全构成危害，以提高系统的安全性。  
?    9-12：使用第三方提供的软件开发工具包或控件时，要注意以下几点：  
（1）充分了解应用接口、使用环境及使用时注意事项。  
（2）不能过分相信其正确性。  
（3）除非必要，不要使用不熟悉的第三方工具包与控件。  
说明：使用工具包与控件，可加快程序开发速度，节省时间，但使用之前一定对它有较充分的了解，同时第三方工具包与控件也有可能存在问题。  
?    9-13：资源文件（多语言版本支持），如果资源是对语言敏感的，应让该资源与源代码文件脱离，具体方法有下面几种：使用单独的资源文件、DLL文件或其它单独的描述文件（如数据库格式）   
10 代码编辑、编译、审查  
1    10-1：打开编译器的所有告警开关对程序进行编译。  
1    10-2：在产品软件（项目组）中，要统一编译开关选项。  
1    10-3：通过代码走读及审查方式对代码进行检查。  
说明：代码走读主要是对程序的编程风格如注释、命名等以及编程时易出错的内容进行检查，可由开发人员自己或开发人员交叉的方式进行；代码审查主要是对程序实现的功能及程序的稳定性、安全性、可靠性等进行检查及评审，可通过自审、交叉审核或指定部门抽查等方式进行。  
1    10-4：测试部测试产品之前，应对代码进行抽查及评审。  
?    10-1：编写代码时要注意随时保存，并定期备份，防止由于断电、硬盘损坏等原因造成代码丢失。  
?    10-2：同产品软件（项目组）内，最好使用相同的编辑器，并使用相同的设置选项。  
说明：同一项目组最好采用相同的智能语言编辑器，如Muiti Editor，Visual Editor等，并设计、使用一套缩进宏及注释宏等，将缩进等问题交由编辑器处理。  
?    10-3：要小心地使用编辑器提供的块拷贝功能编程。  
说明：当某段代码与另一段代码的处理功能相似时，许多开发人员都用编辑器提供的块拷贝功能来完成这段代码的编写。由于程序功能相近，故所使用的变量、采用的表达式等在功能及命名上可能都很相近，所以使用块拷贝时要注意，除了修改相应的程序外，一定要把使用的每个变量仔细查看一遍，以改成正确的。不应指望编译器能查出所有这种错误，比如当使用的是全局变量时，就有可能使某种错误隐藏下来。  
?    10-4：合理地设计软件系统目录，方便开发人员使用。  
说明：方便、合理的软件系统目录，可提高工作效率。目录构造的原则是方便有关源程序的存储、查询、编译、链接等工作，同时目录中还应具有工作目录----所有的编译、链接等工作应在此目录中进行，工具目录----有关文件编辑器、文件查找等工具可存放在此目录中。  
?    10-5：某些语句经编译后产生告警，但如果你认为它是正确的，那么应通过某种手段去掉告警信息。  
说明：在Borland C/C++中，可用“\#pragma  warn”来关掉或打开某些告警。  
示例：  
\#pragma warn -rvl // 关闭告警  
int examples\_fun( void )  
\{  
      // 程序，但无return语句。  
\}  
\#pragma warn +rvl // 打开告警  
编译函数examples\_fun时本应产生“函数应有返回值”告警，但由于关掉了此告警信息显示，所以编译时将不会产生此告警提示。  
?    10-6：使用代码检查工具（如C语言用PC-Lint）对源程序检查。  
?    10-7：使用软件工具（如 LogiSCOPE）进行代码审查。   
11 代码测试、维护  
1    11-1：单元测试要求至少达到语句覆盖。  
1    11-2：单元测试开始要跟踪每一条语句，并观察数据流及变量的变化。  
1    11-3：清理、整理或优化后的代码要经过审查及测试。  
1    11-4：代码版本升级要经过严格测试。  
1    11-5：使用工具软件对代码版本进行维护。  
1    11-6：正式版本上软件的任何修改都应有详细的文档记录。  
?    11-1：发现错误立即修改，并且要记录下来。  
?    11-2：关键的代码在汇编级跟踪。  
?    11-3：仔细设计并分析测试用例，使测试用例覆盖尽可能多的情况，以提高测试用例的效率。  
?    11-4：尽可能模拟出程序的各种出错情况，对出错处理代码进行充分的测试。  
?    11-5：仔细测试代码处理数据、变量的边界情况。  
?    11-6：保留测试信息，以便分析、总结经验及进行更充分的测试。  
?    11-7：不应通过“试”来解决问题，应寻找问题的根本原因。  
?    11-8：对自动消失的错误进行分析，搞清楚错误是如何消失的。  
?    11-9：修改错误不仅要治表，更要治本。  
?    11-10：测试时应设法使很少发生的事件经常发生。  
?    11-11：明确模块或函数处理哪些事件，并使它们经常发生。  
?    11-12： 坚持在编码阶段就对代码进行彻底的单元测试，不要等以后的测试工作来发现问题。  
?    11-13：去除代码运行的随机性（如去掉无用的数据、代码及尽可能防止并注意函数中的“内部寄存器”等），让函数运行的结果可预测，并使出现的错误可再现。  
  
12 宏  
1    12-1：用宏定义表达式时，要使用完备的括号。  
示例：如下定义的宏都存在一定的风险。  
\#define RECTANGLE\_AREA( a, b ) a \* b  
\#define RECTANGLE\_AREA( a, b ) (a \* b)  
\#define RECTANGLE\_AREA( a, b ) (a) \* (b)  
正确的定义应为：  
\#define RECTANGLE\_AREA( a, b ) ((a) \* (b))  
1    12-2:将宏所定义的多条表达式放在大括号中。  
示例：下面的语句只有宏的第一条表达式被执行。为了说明问题，for语句的书写稍不符规范。  
\#define INTI\_RECT\_VALUE( a, b )/  
    a = 0;/  
    b = 0;

for (index = 0; index < RECT\_TOTAL\_NUM; index++)  
    INTI\_RECT\_VALUE( rect.a, rect.b );

正确的用法应为：  
\#define INTI\_RECT\_VALUE( a, b )/  
\{/  
    a = 0;/  
    b = 0;/  
\}

for (index = 0; index < RECT\_TOTAL\_NUM; index++)  
\{   
   INTI\_RECT\_VALUE( rect\[index\].a, rect\[index\].b );  
\}  
1    12-3:使用宏时，不允许参数发生变化。  
示例：如下用法可能导致错误。  
\#define SQUARE( a ) ((a) \* (a))

int a = 5;  
int b;  
b = SQUARE( a++ ); // 结果：a = 7，即执行了两次增1。

正确的用法是：  
b = SQUARE( a );  
a++; // 结果：a = 6，即只执行了一次增1。

1 前言

?为了提高源程序的质量和可维护性，从而最终提高软件产品生产力，特编写此规范。

2 单片机C51编程规范－范围

本标准规定了程序设计人员进行程序设计时必须遵循的规范。本规范主要针对C51编程语言和keil编译器而言，包括排版、注释、命名、变量使用、代码可测性、程序效率、质量保证等内容。

3 单片机C51编程规范－总则

l 格式清晰

l 注释简明扼要

l 命名规范易懂

l 函数模块化

l 程序易读易维护

l 功能准确实现

l 代码空间效率和时间效率高

l 适度的可扩展性

4 单片机C51编程规范－数据类型定义

编程时统一采用下述新类型名的方式定义数据类型。

建立一个datatype.h文件，在该文件中进行如下定义：

typedef bit BOOL; // 位变量 //

typedef unsigned char INT8U; // 无符号8位整型变量 //

typedef signed char INT8S; // 有符号8位整型变量 //

typedef unsigned int INT16U; // 无符号16位整型变量 //

typedef signed int INT16S; // 有符号16位整型变量 //

typedef unsigned long INT32U; // 无符号32位整型变量 //

typedef signed long INT32S; // 有符号32位整型变量 //

typedef float FP32; // 单精度浮点数(32位长度) //

typedef double FP64; // 双精度浮点数(64位长度) //

5 单片机C51编程规范－标识符命名

5.1 命名基本原则

l 命名要清晰明了，有明确含义，使用完整单词或约定俗成的缩写。通常，较短的单词可通过去掉元音字母形成缩写；较长的单词可取单词的头几个字母形成缩写。即"见名知意"。

l 命名风格要自始至终保持一致。

l 命名中若使用特殊约定或缩写，要有注释说明。

l 除了编译开关/头文件等特殊应用，应避免使用以下划线开始和／或结尾的定义。

l 同一软件产品内模块之间接口部分的标识符名称之前加上模块标识。

5.2 宏和常量命名

宏和常量用全部大写字母来命名，词与词之间用下划线分隔。对程序中用到的数字均应用有意义的枚举或宏来代替。

5.3 变量命名

变量名用小写字母命名，每个词的第一个字母大写。类型前缀（u8\\s8 etc.）全局变量另加前缀g\_。

局部变量应简明扼要。局部循环体控制变量优先使用i、j、k等；局部长度变量优先使用len、num等；临时中间变量优先使用temp、tmp等。

5.4 函数命名

函数名用小写字母命名，每个词的第一个字母大写，并将模块标识加在最前面。

5.5 文件命名

一个文件包含一类功能或一个模块的所有函数，文件名称应清楚表明其功能或性质。

每个.c文件应该有一个同名的.h文件作为头文件。

6 单片机C51编程规范－注释

6.1 注释基本原则

l 有助于对程序的阅读理解，说明程序在"做什么"，解释代码的目的、功能和采用的方法。

l 一般情况源程序有效注释量在30％左右。

l 注释语言必须准确、易懂、简洁。

l 边写代码边注释，修改代码同时修改相应的注释，不再有用的注释要删除。

6.2 文件注释

文件注释必须说明文件名、函数功能、创建人、创建日期、版本信息等相关信息。

修改文件代码时，应在文件注释中记录修改日期、修改人员，并简要说明此次修改的目的。所有修改记录必须保持完整。

文件注释放在文件顶端，用"/\*……\*/"格式包含。

注释文本每行缩进4个空格；每个注释文本分项名称应对齐。

/\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*

文件名称：

作 者：

版 本：

说 明：

修改记录：

\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*/

6.3 函数注释

6.3.1 函数头部注释

函数头部注释应包括函数名称、函数功能、入口参数、出口参数等内容。如有必要还可增加作者、创建日期、修改记录（备注）等相关项目。

函数头部注释放在每个函数的顶端，用"/\*……\*/"的格式包含。其中函数名称应简写为FunctionName()，不加入、出口参数等信息。

/\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*

函数名称：

函数功能：

入口参数：

出口参数：

备 注：

\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*\*/

6.3.2 代码注释

代码注释应与被注释的代码紧邻，放在其上方或右方，不可放在下面。如放于上方则需与其上面的代码用空行隔开。一般少量注释应该添加在被注释语句的行尾，一个函数内的多个注释左对齐；较多注释则应加在上方且注释行与被注释的语句左对齐。

函数代码注释用"//…//"的格式。

通常，分支语句（条件分支、循环语句等）必须编写注释。其程序块结束行"｝"的右方应加表明该程序块结束的标记"end of ……", 尤其在多重嵌套时。

6.4 变量、常量、宏的注释

同一类型的标识符应集中定义，并在定义之前一行对其共性加以统一注释。对单个标识符的注释加在定义语句的行尾。

全局变量一定要有详细的注释，包括其功能、取值范围、哪些函数或过程存取它以及存取时的注意事项等。

注释用"//…//"的格式。

7 单片机C51编程规范－函数

7.1 设计原则

函数的基本要求：

l 正确性：程序要实现设计要求的功能。

l 稳定性和安全性：程序运行稳定、可靠、安全。

l 可测试性：程序便于测试和评价。

l 规范／可读性：程序书写风格、命名规则等符合规范。

l 扩展性：代码为下一次升级扩展留有空间和接口。

l 全局效率：软件系统的整体效率高。

l 局部效率：某个模块／子模块/函数的本身效率高。

编制函数的基本原则：

l 单个函数的规模尽量限制在200行以内（不包括注释和空行）。一个函数只完成一个功能。

l 函数局部变量的数目一般不超过5～10个。

l 函数内部局部变量定义区和功能实现区（包含变量初始化）之间空一行。

l 函数名应准确描述函数的功能。通常使用动宾词组为执行某操作的函数命名。

l 函数的返回值要清楚明了，尤其是出错返回值的意义要准确无误。

l 不要把与函数返回值类型不同的变量，以编译系统默认的转换方式或强制的转换方式作为返回值返回。

l 减少函数本身或函数间的递归调用。

l 尽量不要将函数的参数作为工作变量。

7.2 函数定义

l 函数若没有入口参数或者出口参数，应用void明确申明。

l 函数名称与出口参数类型定义间应该空一格且只空一格。

l 函数名称与括号()之间无空格。

l 函数形参必须给出明确的类型定义。

l 多个形参的函数，后一个形参与前一个形参的逗号分割符之间添加一个空格。

l 函数体的前后花括号"｛｝" 各独占一行。

7.3 局部变量定义

l 同一行内不要定义过多变量。

l 同一类的变量在同一行内定义，或者在相邻行定义。

l 先定义data型变量，再定义idata型变量，再定义xdata型变量.

l 数组、指针等复杂类型的定义放在定义区的最后。

l 变量定义区不做较复杂的变量赋值。

7.4 功能实现区规范

l 一行只写一条语句。

l 注意运算符的优先级，并用括号明确表达式的操作顺序，避免使用默认优先级。

l 各程序段之间使用一个空行分隔，加以必要的注释。程序段指能完一个较具体的功能的一行或多行代码。程序段内的各行代码之间相互依赖性较强。

l 不要使用难懂的技巧性很高的语句。

l 源程序中关系较为紧密的代码应尽可能相邻。

l 完成简单功能、关系非常密切的一条或几条语句可编写为函数或定义为宏。

8 单片机C51编程规范－排版

8.1 缩进

代码的每一级均往右缩进4个空格的位置。

8.2 分行

过长的语句（超过80个字符）要分成多行书写；长表达式要在低优先级操作符处划分新行，操作符放在新行之首，划分出的新行要进适当的缩进，使排版整齐，语句可读。避免把注释插入分行中。

8.3 空行

l 文件注释区、头文件引用区、函数间应该有且只有一行空行。

l 相邻函数之间应该有且只有一行空行。

l 函数体内相对独立的程序块之间可以用一行空行或注释来分隔。

l 函数注释和对应的函数体之间不应该有空行。

l 文件末尾有且只有一行空行。

8.4 空格

l 函数语句尾部或者注释之后不能有空格。

l 括号内侧（即左括号后面和右括号前面）不加空格，多重括号间不加空格。

l 函数形参之间应该有且只有一个空格（形参逗号后面加空格）。

l 同一行中定义的多个变量间应该有且只有一个空格（变量逗号后面加空格）。

l 表达式中，若有多个操作符连写的情况，应使用空格对它们分隔：

在两个以上的关键字、变量、常量进行对等操作时，它们之间的操作符前后均加一个空格；在两个以上的关键字、变量、常量进行非对等操作时，其前后均不应加空格；

逗号只在后面加空格；

双目操作符，如比较操作符, 赋值操作符"="、"+="，算术操作符"+"、"%"，逻辑操作符"&&"、"&"，位操作符"<<"、"^"等，前后均加一个空格；

单目操作符，如"!"、"~"、"++"、"-"、"&"（地址运算符）等，前后不加空格；

"->"、"."前后不加空格；

if、for、while、switch等关键字与后面的括号间加一个空格；

8.5 花括号

l if、else if、else、for、while语句无论其执行体是一条语句还是多条语句都必须加花括号，且左右花括号各独占一行。

l do\{\}while()结构中，"do"和"\{"均各占一行，"\}"和"while();"共同占用一行。

if ( ) do

\{ \{

\} \}while( );

else

8.6 switch语句

l 每个case和其判据条件独占一行。

l 每个case程序块需用break结束。特殊情况下需要从一个case块顺序执行到下一个case块的时候除外，但需要在交界处明确注释如此操作的原因，以防止出错。

l case程序块之间空一行，且只空一行。

l 每个case程序块的执行语句保持4个空格的缩进。

l 一般情况下都应该包含default分支。

Switch ( )

case x:

break;

case x:

break;

default:

break;

9 单片机C51编程规范－程序结构

9.1 基本要求

l 有main()函数的.c文件应将main()放在最前面，并明确用void声明参数和返回值。

l 对由多个.c文件组成的模块程序或完整监控程序，建立公共引用头文件，将需要引用的库头文件、标准寄存器定义头文件、自定义的头文件、全局变量等均包含在内，供每个文件引用。通常，标准函数库头文件采用尖角号< >标志文件名，自定义头文件采用双撇号″″标志文件名。

l 每个.c文件有一个对应的.h文件，.c文件的注释之后首先定义一个唯一的文件标志宏，并在对应的.h文件中解析该标志。

在.c文件中：

\#define FILE\_FLAG

在.h文件中：

\#ifdef FILE\_FLAG

\#define XXX

\#else

\#define XXX extern

\#endif

l 对于确定只被某个.c文件调用的定义可以单独列在一个头文件中、单独调用。

9.2 可重入函数

可重入函数中若使用了全局变量，应通过关中断、信号量等操作手段对其加以保护。

9.3 函数的形参

l 由函数调用者负责检查形参的合法性。

l 尽量避免将形参作为工作变量使用。

9.4 循环

l 尽量减少循环嵌套层数

l 在多重循环中，应将最忙的循环放在最内层

l 循环体内工作量最小

l 尽量避免循环体内含有判断语句

1、访问绝对地址的内存位置：

???? \#define pISR\_EINT0 (\*(unsigned \*) (\_ISR\_STRATADDRESS+0x74))

上述语句把无符号整数\_ISR\_STRATADDRESS+0x74强制转换为指针，指向RAM，用下面的语句可以访问它：

pISR\_EINT0 = (int)Eint0\_ISR

为了访问一个绝对地址，把一个整形数强制转换（typecast）为一指针。

2、\_\_irq:

???? 为了方便使用高级语言编写异常处理函数，ARM编译器对异常处理函数做了特定扩展，只要使用关键字\_irq，这样编译出来的函数就满足异常响应对现场保护和恢复的需要；

3、编写中断服务程序的一些基本原则：

???? √避免在中断服务程序中做浮点运算：好的终端读物程序应该遵循短小有效这一原则，在中断服务程序中做浮点运算大大违背这一原则，同时有些处理器/编译器就是不允许在中断服务程序中做浮点运算；

???? √中断服务程序不能有返回值：所以中断服务程序都定义为返回类型为void，即：void \_irq Eint0\_ISR(void)；

???? √中断服务函数不能传递参数：故参数列表为void，即：void \_irq Eint0\_ISR(void)；

4、Static：

???? 一个static变量，其实就是全局变量，只不过它有作用域，它可用于保存变量所在函数被类此调用期间的中间状态，比如：

int cCout()

Static int loop = 0;

.......

loop++;

.......

? \}

???? loop变量的值会跟随着函数的调用次数而递增，函数退出后，loop的值还存在，只是loop只能在函数中才能被访问（函数作用域），而loop的内存空间也只会在函数第一次被调用时才会被分配和初始化，以后每次进入函数，都不为static分配了，而直接使用上一次的值。在模块内，一个被声明为静态的函数只可被这一模块内的其他函数调用，模块外其它函数无权访问，是一个本地全局变量。

5、Constant：

???? 将一个变量或对象定义成constant类型，则定义之后不能被更新（可读不可写），即在定义或说明类型时必须给他一个初始值。

???? 几种须要注意的地方：

???? √如果const位于星号（\*）的左侧，则const修饰指针所指向的变量，即指针指向常量；如:const int \*a; 或int const \*a;这两种情况相同（cost放在变量声明符的位置无关），指针指向一个常量，此时不能对内容进行更改，即不能有写操作语句\*a=3；

???? √如果cost位于型号的右侧，cost就是修饰指针本身，即指针本身是常量；如：int\* const a;语句表示指针本身是常量，所指向内容不是常量，即a++是错误的。

???? √如果星号左右侧都有const修饰，如：const int\* const a;表示指针本身和指针指向的内容均为常量。

6.、Volatile:

???? 定义一个易失性变量，编译器有一种技术叫数据流分析，分析程序中的变量在哪里被赋值、在哪里使用、在哪里失效，分析结果可以用于常量合并，常量传播等优化。当编译器检查到代码没有修改字段的值，就有可能在你访问字段时提供上次访问的缓存值，这能够提高程序的效率，但有时这些优化会带来问题，不是我们程序所需要的，特点是对硬件寄存器操作的程序，这时可以用volatile关键字禁止做这些优化。

???? 使用volatile变量的场合：

???? √硬件寄存器通常要加volatile说明，因为每次对它的读写都可能有不同的意义；

???? √在中断服务程序中修改的供其他程序检测用的变量需要加volatile声明；否则编译器可能对变量更新一次后每次都使用缓存值不再立即更新；

???? √多任务环境下各任务间共享的标志应该加voatile关键字：在多线程访问某字段时，代码希望这些访问能够操作到操作（读取）到字段的最新值，同时写到变量的操作能立即更新；对字段加上volatile关键字，那么对该字段的任何请求（读/写）都会立刻得到执行。

对于我这样一个C语言的程序员来说，编写C++的机会其实不太多。但是我还是比较喜欢写C++语言，原因主要有几个方面：（1）自己学C++语言的时间比较长了，也比较了解，如果从大一的时候算起，现在也有小十年了；（2）windows下面的开发工具确实很好用，比如调试器调用、汇编代码查看也方便，学起来其实没有什么障碍；（3）基于C++语言的开源项目还是比较多的，比如说的eMule、webkit、notepad++、libsvm，掌握好C++语言对自己的帮助还是挺大的。

和很多朋友一样，我自己的C++学习也是非常曲折的，这其中主要有下面几个阶段。刚开始，在大一刚刚入学的时候，我们集中学习了C++的基本语法，其实我也不清楚为什么要在大学设置C++这门这么难的语言，其实对于很多工科的同学来说，C语言已经是绰绰有余了，况且能把C语言学好本身就已经很不错了。后面，随着C++的了解，我开始用MFC编写一些小程序，什么串口工具、聊天工具、FTP下载工具、图像处理工具等等，这个时候看得比较多的就是侯捷的《深入浅出MFC》。当然后来随着MFC使用的频繁，对C++语言的了解也更加深入，这个时候更多地关注C++语言的实现细节，什么《Effective C++》、《C++ Template》、《Inside the C++ object》、《Effective STL》，此时恨不得不自己会的所有技巧都用上，充分发挥C++的特性。等到工作之后，由于工作的关系更加偏重于实时操作系统，自己对编程语言有了新的认识，不再盲目追求语言的特性，而是更注重系统的稳定、项目的开发进度和语言本身的简洁和高效。无疑，在这些要求下面，C语言就是最佳的选择，因为你可以清楚地了解每一行语句后面CPU都帮我们做了些什么。我看过的很多操作系统代码，比如ucos、rt-thread、linux、vxworks都是用C语言编写的，很简洁也很高效。

网上有位知名的朋友叫云风，早期在他写的书《我的编程感悟》当中也是对C++大加褒奖，可是在后来的工程实践中反而感觉到C语言才是最好用的语言。相信很多的朋友都有类似的经验。当然，不可否认C++还是存在很大的市场，但是它的应用范围和过去相比，确实是大大缩小了。一方面，精通C++的人实在是太少了，用好C++的人更是凤毛麟角；另外一方面，C++的学习代价、应用代价实在是很高，你没有办法要求项目组里边的每个人都有很高的C++应用水平，这是没有办法做到的，就算做到了，代价是十分昂贵的。所以，为了消除彼此成员之间的差别，很多时候C++的编程规范就变成了C语言的编程规范，这可以从google C++ style guide可以看出来。

所以，今天这里写这篇文章，主要是就C++写一些自己的总结，谈谈自己的看法，欢迎各位提出宝贵意见。

**（1） 总则**

a）尽量选择所有编译器都支持的C++标准

b）必须了解类的内存分布结构

c）必须了解编译器对C++的隐形操作

d）指针是所有错误的来源，尽量用引用代替

e）用const对入参、出参和类函数进行限制

f）多用namespace限定类的作用范围

g）少用C++的高级特性

h）时刻在需要处理C文件的时候添加extern “C”

i）string类是万恶之源，尽量少用

**（2）头文件**