C语言编程的结构化要求和正确性与容错性要求

一、结构化要求

（1）禁止出现两条等价的支路。

（2）禁止使用GOTO跳转语句。

（3）用 IF 语句来强调只执行两组语句中的一组。禁止 ELSE GOTO 和 ELSE RETURN。

（4）用 CASE 实现多路分支。

（5）避免从循环引出多个出口。

（6）3.6 函数只有一个出口。

（7）不使用条件赋值语句。

（8）避免不必要的分支。

（9）不要轻易用条件分支去替换逻辑表达式。

二、正确性与容错性要求

（1）程序首先是正确，其次是优美。

（2）无法证明你的程序没有错误，因此在编写完一段程序后，应先回头检查。

（3）改一个错误时可能产生新的错误，因此在修改前首先考虑对其它程序的影响。

（4）所有变量在调用前必须被初始化。

（5）对所有的用户输入，必须进行合法性检查。

（6）不要比较浮点数的相等，如：10.0 * 0.1 == 1.0 ， 不可靠。

（7） 程序与环境或状态发生关系时，必须主动去处理发生的意外事件，如文件能否逻辑锁定、打印机是否联机等。

（8）单元测试也是编程的一部分，提交联调测试的程序必须通过单元测试。