程序结构只有三种
· 3 min read
程序结构只有三种：顺序、分支、循环。这句话正确吗？我认为 break 和 continue 也属于程序结构
这是一个非常经典且深刻的编程理论问题。
直接给结论：从结构化程序设计（Structured Programming）的理论定义来看，你的教材或老师是对的，但你的直觉也反映了现代编程的实际情况。
我们可以从以下两个维度来拆解这个问题：
1. 为什么说“只有三种”？（理论层面）
在计算机科学中，这被称为 Böhm-Jacopini 定理。该定理证明了：任何算法都可以只用这三种基本控制结构来表示。
| 结构 | 核心逻辑 | 形象比喻 |
|---|---|---|
| 顺序 (Sequence) | 代码按编写顺序从上到下执行。 | 直行道，没有分叉。 |
| 分支 (Selection/Branch) | 根据条件的真假选择不同的路径（if, switch）。 | 十字路口，根据红绿灯选路。 |
| 循环 (Iteration/Loop) | 重复执行一段代码直到满足退出条件（for, while）。 | 操场跑圈，跑够数为止。 |
这三种结构之所以被视为“原子级”的基石，是因为它们足以构建任何复杂的逻辑。
2. 为什么 break 和 continue 不算独立结构？（语义层面）
你认为它们属于程序结构是有道理的，因为它们确实改变了程序的流向。但在计算机术语中，它们通常被归类为**“跳转语句”（Jump Statements）**，而不是“结构”。
- 它们是“附属品”：
break和continue不能独立存在。如果没有循环（或switch），它们就失去了存在的意义。 - 它们的作用是“干预”而非“构建”：
break是强制结束当前循环。continue是跳过本次迭代，直接进入下一次判定。
- 本质是受限的
goto：在早期的编程中，人们使用goto随处跳转，导致代码像“意大利面”一样混乱。为了规范化，现代语言引入了break和continue作为有纪律的跳转，用来辅助优化循环结构。
3. 你的理解错了吗？
你并没有错，你只是在用“功能角度”看问题，而定理是在用“最小完备集”看问题。
- 理论上：不需要
break，你也可以通过修改循环条件（比如while的布尔值）来实现同样的功能。 - 实践上：为了让代码更好读、更简洁，我们离不开
break和continue。
小贴士：在 C# 中，除了这三种基本结构和跳转语句，还有一种特殊的结构叫 异常处理 (Exception Handling)，即
try-catch-finally。虽然它本质上也涉及分支和跳转，但在现代应用开发中，它常被视为第四种重要的流控制方式。
总结
“顺序、分支、循环”是构建大厦的砖块、钢筋和水泥；而 break 和 continue 更像是电梯或紧急出口——它们很有用，但你不能只用电梯盖出一栋房子。
既然聊到了跳转，你想看看在嵌套循环中，如何优雅地使用 break 才能避免逻辑混乱吗？