程序结构随想

作者：lover_P

[自序]

    本来打算这一段时间好好补补算法知识，多写点程序而少写些文字。但今天突然对程序结构有所感悟，不由得写下了这篇文章。

[正文]

    所谓程序结构，就是指通常人们所说的“结构化编程”、“面向对象编程”等等。通常，最常见的程序结构包括：

    当然，还有很多程序结构如“面向组件”程序和“面向方面”程序等等，这些是我所不了解的，不便细说。通常一提到非结构化程序，人们自然而然地会想起汇编语言程序；同时，C语言也可以编写一些非结构化的程序。而结构化程序就多得很了，几乎在高级语言刚出现的时候，所有的高级语言都是结构化的，如FORTRAN、Pascal、C等等。至于面向对象程序，我就更不用说了，现在漫山遍野都是面向对象编程的声音，这类编程语言也有很多，如C++（它并不是纯面向对象的）、Java、C#等。

    我这里所想到的，并不是这些语言的应用，而是这些程序结构（以及支持它们的编程语言）之间的辩证关系。

    非结构化程序为当今很多程序员所不齿，认为这是一种不好的编程风格。但是，以汇编语言为代表的非结构程序编程语言却是最能直接表达机器行为的，用这些语言编写的这些程序，通常可以以最高的效率运行在特定的平台上。当然，这也要冒着最大的风险并且付出最大的努力。但是，非结构化程序也可以体现出其结构化的一面。譬如，几乎所有的汇编语言都提供call/ret、PROC/ENDP等语言构造以支持结构化程序的编写。因此，在为了效率而不得不使用汇编语言编写程序的时候，我们应该在追求效率的同时尽量地使用这些语言特性，使得程序更具结构化，这对于代码维护来说是相当重要的。即便你工作在一个非常低级的平台上，该平台的汇编语言不支持call/ret，我们也应该以明确的代码通过利用跳转指令来达到结构化目的。

    在结构化程序设计语言出现伊始，人们就为其深深吸引。确实，明确的代码意图、清晰的程序结构使得程序设计不再是一种煎熬，对于代码维护人员来说更是一个福音。因此，结构化程序设计思想以迅雷不及掩耳之势席卷人们的思维，而结构化程序设计语言更是如雨后春笋般地出现。但是，在大家盲目地追求结构化时，我认为，我们应该根据所解决问题的范畴进行灵活的思辨。如果我们为了追求更低的风险和更高的可维护性而使用结构化程序设计语言来书写底层应用，我们应该考虑在结构化程序中引入非结构化思想，譬如，使用全局变量避免函数调用中的传参，使用宏来代替函数调用以减少调用开销等等。当然，这些都是很危险的，要求有很高的语言控制能力才能够完成。另外，如果我们希望我们的代码具有更高的可重用性，我们还可以考虑把面向对象的思想引入到结构化程序设计中，如通过结构体等来保存数据，在一个单独的库中对某一特定类型的结构体定义特定的操作等等。当然，这也是危险的，我们不应该在结构化程序中过度地模拟面向对象程序结构，否则会适得其反，使代码变得一团糟，毫无可读性。