结构化程序设计的三种基本结构

写代码这件事，在很多人看来充满了神秘感。其实拨开那些复杂的语法，程序员每天在做的事情，本质上就是把逻辑塞进三种基础的框架里。这三种框架就是顺序结构、选择结构和循环结构。这听起来可能有点像教科书，但我可以负责任地告诉你，无论你是在写一个简单的计算器，还是在构建一套复杂的交易系统，你写的每一行代码都在这三个圈子里打转。

在 20 世纪 60 年代以前，写程序其实非常痛苦。那时候程序员喜欢用一种叫 GOTO 的语句。简单来说，就是代码运行到一半，可以直接跳到程序的任何一个地方。这种写法当时很流行，因为灵活。但问题很快就来了：当程序规模变大，逻辑就会变成一团乱麻，像一盘搅在一起的意大利面，也就是大家常说的“面条代码”。你根本不知道程序下一步会跳到哪里，调试Bug简直是噩梦。

后来，计算机科学家戴克斯特拉（Edsger Dijkstra）看不过去了，他发表了一篇著名的论文，大意是说 GOTO 语句是有害的。他主张程序应该有一种清晰的结构。随后，波姆（Böhm）和雅科皮尼（Jacopini）通过数学证明，任何复杂的逻辑，只需要三种基本的控制结构就能实现。这就是结构化程序设计的起源。

我们先看第一种，顺序结构。这是最符合直觉的。顺序结构就是“从上到下，按部就班”。就像你按照菜谱炒菜：先倒油，再放肉，最后撒盐。你不能先撒盐再倒油，顺序乱了，结果就错了。在代码里，这就是计算机执行指令的默认方式。比如你写一个程序计算圆的面积，你必须先定义半径，然后用公式计算，最后输出结果。如果顺序反了，程序就会报错，因为它还没拿到半径的数据。

很多人觉得顺序结构太简单，没啥好聊的。但在实际工作中，很多低级错误就出在这里。比如在多线程环境下，如果操作顺序没有控制好，就会出现竞态条件。我见过不少程序员因为没搞清楚变量初始化的顺序，导致程序在启动时崩溃。所以，顺序结构是所有逻辑的地基，地基不稳，上面的逻辑再漂亮也没用。

接下来是选择结构。生活充满了选择，程序也一样。选择结构本质上就是在做判断。如果满足某个条件，就执行 A 逻辑；如果不满足，就执行 B 逻辑。最常见的就是 if...else。

比如你登录一个网站。程序会判断你输入的密码是否正确。如果正确，它让你进入主页；如果不正确，它会弹出一个提示框告诉你“密码错误”。这就是一个典型的选择结构。稍微复杂一点的还有嵌套选择，比如判断一个人的成绩：如果大于 90 分是 A，80 到 90 分是 B，以此类推。

我在写代码时发现，选择结构最容易出问题的地方在于“逻辑漏洞”。很多新手只考虑了正常的情况，却忽略了边界情况。比如，如果你只判断了“大于 0”和“小于 0”，那“等于 0”的时候程序该怎么办？很多逻辑 Bug 就是因为程序员少写了一个 else 或者条件判断不严谨造成的。一个优秀的程序员，在写选择结构时，会尽可能穷举所有可能的分支，确保程序不会跑飞。

最后一种是循环结构。这是计算机最擅长的事情。人类讨厌重复，但计算机不觉得累。循环结构允许我们让一段代码重复执行，直到满足某个退出条件为止。

循环主要有两种形式：一种是知道要跑多少次，比如“把这个操作执行 100 次”，这通常用 for 循环；另一种是不知道要跑多少次，只要条件满足就一直跑，比如“只要用户没点关闭按钮，就一直显示窗口”，这通常用 while 循环。

我曾经处理过一个案例，需要处理几百万条用户数据。如果不用循环，我可能得写几百万行重复的代码。但用了循环，只需要五六行代码就能搞定。不过，循环也是最危险的地方，最著名的就是“死循环”。如果你的退出条件写错了，程序就会一直跑下去，直到耗尽 CPU 资源导致系统卡死。我早年写代码时，因为漏写了一个自增变量，导致循环永远无法结束，电脑风扇瞬间狂转，那一刻我就意识到，控制好循环的边界是多么重要。

你可能会问，真的只需要这三种结构吗？不需要别的了？答案是真的。这就是数学证明过的力量。现在的编程语言有很多花哨的语法糖，比如各种异步处理、异常捕获、流式编程，但如果你把它们拆解开来看，底层依然是这三种结构的组合。

理解这三种结构，不仅仅是为了写代码，更是一种思维方式。当你面对一个复杂的问题时，不要试图一口吞掉它。你应该把它拆解成一个个小的步骤（顺序），判断每一步可能出现的情况（选择），并找出那些需要重复操作的部分（循环）。

这种结构化的思维，能让你在面对乱七八糟的需求时保持冷静。你会发现，无论需求怎么变，你手里掌握的工具其实一直没变。你只需要用逻辑把这三块“积木”搭好。这种简单性，正是编程逻辑的魅力所在。

所以，下次你看到一段几千行的复杂代码时，不要被它吓到。把它拆开看，你会发现它无非是先做了点什么，然后根据情况选了条路走，最后又转了几圈。这就是结构化程序设计的全部秘密，简单、直接，而且非常有效。这就好比写文章，不管多长的名著，拆开看也只是字、句、段落的组合。掌握了这三个基础，你就掌握了控制计算机的核心逻辑。