漫谈顺序、分支和循环

今天讲课，将顺序、分支和循环这三种流程结构聊了聊。本文作为泛读资料（有问题请跟帖提问）。

在狄杰斯特拉(Edsger W. Dijkstra)反复研究面条式代码(spaghetti code)，并在1968年给某位编辑写了一篇著名的简信，题为《Go to语句是有害的》之后，计算机科学家Corrado Bohm和Giuseppe Jacopini证明，使用顺序(sequencing)，分支/选择(alternation)和循环(iteration)这三种流程结构就足以表达所有程序的本质。三种流程结构如同万花筒中的彩纸，构成无穷无尽极富变化的程序。早期的编程书籍中，会有顺序程序设计，选择结构程序设计和循环结构程序设计等说法。有时候，人们将它们称为控制抽象(control flow abstraction)。随着变量、表达式和控制语句被所有的现代语言支持，人们已经习以为常地不将它们作为抽象或抽象机制了，仅将它们作为语句或程序的实现看待。

三种流程结构的进一步说明，顺序结构参见[0.2.2命令编程范式]，分支结构参见[1.2.5策略模式(5.9)]，循环结构参见[0.2.3函数编程范式]。下面综合的说明