📄 194.txt
字号:
写防错程序，而不是断言。如某模块收到其它模块或链路上的消息后，要对消息的合理性
进行检查，此过程为正常的错误检查，不能用断言来实现。
¹ 7-8：对较复杂的断言加上明确的注释。
说明：为复杂的断言加注释，可澄清断言含义并减少不必要的误用。
¹ 7-9：用断言确认函数的参数。
示例：假设某函数参数中有一个指针，那么使用指针前可对它检查，如下。
int exam_fun( unsigned char *str )
{
EXAM_ASSERT( str != NULL ); // 用断言检查“假设指针不为空”这个条件
... //other program code
}
¹ 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
}
¹ 7-11：用断言对程序开发环境（OS/Compiler/Hardware）的假设进行检查。
说明：程序运行时所需的软硬件环境及配置要求，不能用断言来检查，而必须由一段专门
代码处理。用断言仅可对程序开发环境中的假设及所配置的某版本软硬件是否具有某种功
能的假设进行检查。如某网卡是否在系统运行环境中配置了，应由程序中正式代码来检查
；而此网卡是否具有某设想的功能，则可由断言来检查。
对编译器提供的功能及特性假设可用断言检查，原因是软件最终产品（即运行代码或机器
码）与编译器已没有任何直接关系，即软件运行过程中（注意不是编译过程中）不会也不
应该对编译器的功能提出任何需求。
示例：用断言检查编译器的int型数据占用的内存空间是否为2，如下。
EXAM_ASSERT( sizeof( int ) == 2 );
¹ 7-12：正式软件产品中应把断言及其它调测代码去掉（即把有关的调测开关关掉）
。
说明：加快软件运行速度。
¹ 7-13：在软件系统中设置与取消有关测试手段，不能对软件实现的功能等产生影响
。
说明：即有测试代码的软件和关掉测试代码的软件，在功能行为上应一致。
¹ 7-14：用调测开关来切换软件的DEBUG版和正式版，而不要同时存在正式版本和DE
BUG版本的不同源文件，以减少维护的难度。
¹ 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 程序效率
¹ 8-1：编程时要经常注意代码的效率。
说明：代码效率分为全局效率、局部效率、时间效率及空间效率。全局效率是站在整个系
统的角度上的系统效率；局部效率是站在模块或函数角度上的效率；时间效率是程序处理
输入任务所需的时间长短；空间效率是程序所需内存空间，如机器代码空间大小、数据空
间大小、栈空间大小等。
¹ 8-2：在保证软件系统的正确性、稳定性、可读性及可测性的前提下，提高代码效
率。
说明：不能一味地追求代码效率，而对软件的正确性、稳定性、可读性及可测性造成影响
。
¹ 8-3：局部效率应为全局效率服务，不能因为提高局部效率而对全局效率造成影响
。
¹ 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;
¹ 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 质量保证
¹ 9-1：在软件设计过程中构筑软件质量。
¹ 9-2：代码质量保证优先原则
（1）正确性，指程序要实现设计要求的功能。
（2）稳定性、安全性，指程序稳定、可靠、安全。
（3）可测试性，指程序要具有良好的可测试性。
（4）规范/可读性，指程序书写风格、命名规则等要符合规范。
（5）全局效率，指软件系统的整体效率。
（6）局部效率，指某个模块/子模块/函数的本身效率。
（7）个人表达方式/个人方便性，指个人编程习惯。
¹ 9-3：只引用属于自己的存贮空间。
说明：若模块封装的较好，那么一般不会发生非法引用他人的空间。
¹ 9-4：防止引用已经释放的内存空间。
说明：在实际编程过程中，稍不留心就会出现在一个模块中释放了某个内存块（如C语言指
针），而另一模块在随后的某个时刻又使用了它。要防止这种情况发生。
¹ 9-5：过程/函数中分配的内存，在过程/函数退出之前要释放。
¹ 9-6：过程/函数中申请的（为打开文件而使用的）文件句柄，在过程/函数退出之
前要关闭。
说明：分配的内存不释放以及文件句柄不关闭，是较常见的错误，而且稍不注意就有可能
发生。这类错误往往会引起很严重后果，且难以定位。
示例：下函数在退出之前，没有把分配的内存释放。
typedef unsigned char BYTE;
int example_fun( BYTE gt_len, BYTE *gt_co⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -