1.3.4　验证

经历前三个环节之后，你可能觉得，既然程序在编译过程中没有出错，而且在运行时也没有扰乱计算机系统，那就意味着开发工作已经完成了。其实并非如此。接下来，你还必须验证程序的实际效果是否跟预想的相符。你必须判断它有没有解决本来应该解决的问题？运行结果是否正确？

为此，你必须回到当初所要解决的问题，并把程序输出的结果与该问题应有的答案对比。如果两者相符，则表明程序是正确的。这样你才能说自己把程序写完了。

在编写更复杂的程序之前，我们首先必须意识到，一个合适的（或者说良好的）程序应该具备下面四项特征：

□正确（correct）：程序所做的事情与我们希望它做的事情一致。

□完整（complete）：程序必须把它应该做的每件事都做完。

□精准（concise）：程序能够高效地完成它应该做的事，并且不会做多余的事。

□清晰（clear）：程序能让阅读与维护其代码的人很容易理解。

本书主要关注其中的三项特征，也就是正确程度（correctness，正确性）、完整程度（completeness，完整性）与清晰程度（clarity，清晰性）。1.2节展示的那段程序代码写在hello1.c文件中，该程序虽然正确，但不够完整，也不够清晰。我们很快就会解释原因。