结构化程序设计工具：N-S图与PAD图的核心原理与应用指南
1. 从流程图到结构化：为什么我们需要N-S图和PAD图？
干了这么多年软件开发和带新人，我发现一个挺有意思的现象：很多刚入行的朋友，一提到画流程图，脑子里蹦出来的还是那种带箭头的传统流程图。这种图当然直观，画个开始结束的框，中间用流程线一连，逻辑似乎就清晰了。但真到了要写代码，或者跟团队详细评审一个复杂算法的时候，问题就来了——流程线到处乱飞，嵌套层次一多，图就成了一团乱麻，根本看不清哪段代码对应哪个判断分支。我自己早年也踩过这个坑，一个几百行的业务逻辑，用传统流程图画出来，A4纸打了两页，自己看着都晕。
后来接触到结构化程序设计方法，才算是找到了“解药”。它的核心思想就三条：顺序、选择、循环。任何复杂的程序，理论上都能拆解成这三种基本结构的组合。既然思想是结构化的，那描述它的工具也应该是结构化的。这就是N-S图和PAD图登场的背景。它们俩可以说是“流程图”的“结构化升级版”，最大的特点就是完全取消了流程线。你没看错，一根箭头线都没有。所有的逻辑关系，全靠图形元素的严格嵌套和区域划分来体现。这强迫你在设计阶段就必须思考清楚逻辑的层次和结构，画出来的图几乎就是伪代码的视觉化，甚至能直接对应到最终代码的缩进块。
所以，当你拿到一个算法描述，感觉用文字说不清，用传统流程图又画得乱时，就该请出这两位了。它们特别适合用来进行算法设计、逻辑梳理、教学讲解和代码评审。对于初学者，画N-S图或PAD图能帮你建立清晰的结构化思维；对于有经验的开发者，用它们来拆解一个复杂函数，往往能发现隐藏的逻辑漏洞或冗余。接下来，我就结合几个经典的例题，带你彻底搞懂这两种图的画法、区别以及实际应用中的门道。
2. N-S图详解：像盒子一样嵌套你的逻辑
N-S图，也叫盒图或Chapin图。它的理念非常直观：把整个算法过程看作一个大的矩形盒子，然后在这个大盒子里，根据顺序、选择、循环这三种结构，像套娃一样嵌套进不同的小盒子。
2.1 N-S图的三种基本结构画法
这是基础中的基础，必须刻在脑子里。
2.1.1 顺序结构这是最简单的。就是一个矩形框从上到下分成几个格子，每个格子里写一个操作步骤。执行顺序就是从上到下，一目了然。
+-------------------+ | 步骤A | +-------------------+ | 步骤B | +-------------------+ | 步骤C | +-------------------+它对应代码就是：
步骤A 步骤B 步骤C2.1.2 选择结构（分支结构）N-S图的选择结构像一个倒立的“L”。先在顶部画一个条件判断框（通常用菱形或写有“条件”的框），然后下面分出两个分支区域。条件为真（True/Yes）执行左边（或上边）区域的操作，条件为假（False/No）执行右边（或下边）区域。这两个分支区域本身又可以包含顺序、选择或循环结构。
+------------------------+ | 条件P？ | +------------------------+ | | +-------+--------+ +---------+-------+ | 条件为真(T) | | 条件为假(F) | | 操作A | | 操作B | +---------------+ +-----------------+对应代码就是经典的if-else：
if 条件P: 操作A else: 操作B2.1.3 循环结构循环结构有两种，当型循环（While）和直到型循环（Do-While），在N-S图里画法有区别。
- 当型循环（While）：先判断，后执行。图形是一个大的“L”型框。框的顶部是循环条件，右边（或下边）的大区域是循环体。执行时，先判断条件，为真则进入循环体执行，执行完再回头判断条件；为假则跳出循环。
+---------------------------------+ | while 条件P | | | | +---------------------------+ | | | 循环体操作 | | | +---------------------------+ | +---------------------------------+- 直到型循环（Do-While）：先执行，后判断。图形类似，但循环条件放在了循环体的下方。意味着循环体至少会被执行一次。
+---------------------------------+ | do | | | | +---------------------------+ | | | 循环体操作 | | | +---------------------------+ | | | | until 条件P | +---------------------------------+注意：在实际画图时，为了清晰，我们通常会在循环框的顶部或底部明确写上“while (条件)”或“do-while/until (条件)”。循环体本身是一个独立的子盒子。
2.2 例题实战：判断闰年
我们用一个经典例题来练手：输入一个年份，判断是否为闰年。闰年规则：能被4整除但不能被100整除，或者能被400整除。
第一步：逻辑分析
- 输入年份
year。 - 判断条件：
(year % 4 == 0 AND year % 100 != 0) OR (year % 400 == 0)。 - 如果条件为真，输出“是闰年”；否则，输出“不是闰年”。
第二步：绘制N-S图根据分析，这是一个典型的选择结构。我们从一个大的“开始”盒子出发。
+-----------------------------------------------------+ | 开始 | +-----------------------------------------------------+ | 输入年份 year | +-----------------------------------------------------+ | (year%4==0 and year%100!=0) or year%400==0 | +-----------------------------------------------------+ | | | | +-------------------+------------------+ | | | | | | | 条件为真(T) | 条件为假(F)| | | 输出“是闰年” | 输出“不是闰年”| | | | | | +--------------------------------------+ | +-----------------------------------------------------+ | 结束 | +-----------------------------------------------------+绘制心得：
- 条件框要写清楚：复杂的条件最好用接近编程语言的表达式写出来，避免歧义。
- 分支区域要对齐：确保“T”和“F”两个分支的盒子在视觉上对齐，这样读起来更舒服。
- 保持矩形：N-S图的美感就在于所有框都是矩形嵌套，画的时候尽量用直尺或绘图工具保持规整。
3. PAD图解析：树形展开，逻辑层次一目了然
如果说N-S图是“套娃”，那PAD图（Problem Analysis Diagram，问题分析图）就更像一棵横向生长的树。它的根在左边，逻辑层次向右逐级展开。这种结构让它天生擅长表现复杂的多层嵌套逻辑，阅读顺序是从上到下、从左到右。
3.1 PAD图的三种基本结构画法
3.1.1 顺序结构在PAD图里，顺序结构就是一条竖线，从左边的竖线上引出几条向右的横线，每条横线上写一个操作。竖线表示控制流从上到下。
| ------+------ 步骤A | ------+------ 步骤B | ------+------ 步骤C |3.1.2 选择结构PAD图的选择结构像一个横着的“T”。先画一条竖线，在某个节点向右引出一条横线，横线末端画一个倒三角形（或标注“条件”），从这个三角形的两个角分别引出两条分支线，一条线上标“T”和对应操作，另一条标“F”和对应操作。
| ------+---------------------+ | | | 条件P？ | | | | | T | F | | | | | | | 操作A | 操作B| | | |为了更紧凑，也常用以下画法，将条件直接写在横线上：
| ------+------[ 条件P ]------ | | | | T|F | | | | | 操作A 操作B3.1.3 循环结构PAD图的循环结构用一个矩形框（或圆角矩形）把循环体括起来，并在框的左侧或上侧标明循环类型和条件。
- 当型循环（While）：
| ------+------ while (条件P) | | | +-----+ | |循环体| | +-----+ |- 直到型循环（Until）：
| ------+------ repeat | | | +-----+ | |循环体| | +-----+ | | | until (条件P) |3.2 例题实战：求1到100的累加和
我们用另一个经典例题来理解PAD图：计算1+2+3+...+100的和。
第一步：逻辑分析（使用当型循环）
- 初始化：设累加器
sum = 0，计数器i = 1。 - 循环条件：
i <= 100。 - 循环体：
sum = sum + i;i = i + 1。 - 循环结束后，输出
sum。
第二步：绘制PAD图
| ------+------ sum = 0 | ------+------ i = 1 | ------+------ while (i <= 100) | | | +-----------------+ | | sum = sum + i | | | i = i + 1 | | +-----------------+ | ------+------ 输出 sum |PAD图绘制技巧：
- 利用树形结构：对于多层嵌套（比如循环里套分支），PAD图的优势极大。只需在循环体那个框里，继续向右画出分支结构即可，层次非常清晰。
- 对齐是关键：确保同一逻辑层级的节点在垂直方向上大致对齐，这样控制流一目了然。
- 善用缩进：子结构（如循环体、分支体）相对于其父节点要有明显的向右缩进，体现从属关系。
4. N-S图 vs PAD图：核心区别与选用指南
了解了基本画法，我们得说说这哥俩到底有啥不同，什么时候该用谁。这可不是随便选，用对了工具效率翻倍。
4.1 直观对比
| 特性 | N-S图 (盒图) | PAD图 (问题分析图) |
|---|---|---|
| 核心思想 | 盒子嵌套 | 树形展开 |
| 流程线 | 无 | 无 |
| 阅读顺序 | 从上到下 | 从上到下，从左到右 |
| 层次表现 | 通过矩形嵌套体现，嵌套深时可能横向占空间大 | 通过树形向右缩进体现，纵向更紧凑 |
| 擅长场景 | 逻辑结构相对扁平，分支循环层次分明但嵌套不深的算法 | 逻辑复杂，多层嵌套（如循环内含多级分支）的算法 |
| 可修改性 | 较差。增加一个操作可能影响整个盒子布局 | 较好。树形结构便于增删节点 |
| 与代码对应 | 非常直观，几乎与代码块一一对应 | 直观，尤其对应深层缩进的代码 |
4.2 如何选择？
根据我多年的经验，可以遵循一个简单的原则：
- 当你设计的算法逻辑层次清晰，嵌套不太深（一般不超过3层），且希望图形和最终代码的视觉结构高度一致时，用N-S图。它的“盒子”感很强，能很好地训练初学者的结构化思维，防止写出面条代码。例如，简单的排序算法、基础数学计算等。
- 当你面对一个非常复杂的业务逻辑，里面充满了
if-else if-else的多层分支，或者循环里套着分支，分支里又套着循环时，请毫不犹豫地选择PAD图。它的树形结构能够把这些复杂的层次像目录一样清晰地展开，避免了一堆盒子挤在一起看不清的尴尬。例如，解析复杂文件格式、状态机实现、游戏逻辑等。
一个综合例题对比：找出三个数中的最大值。
算法描述：输入a, b, c三个数。先比较a和b，将较大的数存入max；再用max和c比较，若c更大则更新max。最后输出max。
N-S图画法：
+-----------------------------------+ | 开始 | +-----------------------------------+ | 输入 a, b, c | +-----------------------------------+ | a > b ? | +-----------------------------------+ | | | | | T | F | | | max = a | max = b | | | | | | +-----------------------------------+ | max > c ? | +-----------------------------------+ | | | | | F | T | | | | max = c | | | | | | +-----------------------------------+ | 输出 max | +-----------------------------------+ | 结束 | +-----------------------------------+PAD图画法：
| ------+------ 输入 a, b, c | ------+------[ a > b ]-------- | | | | T|F | | | | | max = a max = b | ------+------[ max > c ]------ | | | | F|T | | | | | max = c | ------+------ 输出 max |从这个例子可以看出，对于线性判断流程，两者都能清晰表达。但PAD图在垂直方向上更节省空间。
5. 复杂场景实战：冒泡排序算法的图形化表达
光看简单例子不过瘾，我们挑战一个稍微复杂点的经典算法——冒泡排序。我们用它对一个数组arr进行升序排序。算法核心是：重复遍历数组，比较相邻元素，如果顺序错误就交换，直到没有交换发生为止。
算法步骤细化：
- 设数组长度为
n。 - 设置一个标志位
swapped = True，表示可能还需要排序。 - 当
swapped为真时循环： a. 将swapped设为 False。 b. 从i=0到i=n-2遍历数组： i. 如果arr[i] > arr[i+1]，则交换它们，并将swapped设为 True。 - 循环结束，数组排序完成。
这个逻辑包含一个外层循环（控制是否已排序完成）和一个内层循环（遍历比较）。我们分别用N-S图和PAD图来表示。
5.1 用N-S图表示冒泡排序
+----------------------------------------------------------+ | 开始 | +----------------------------------------------------------+ | 输入数组 arr[], 获取长度 n | +----------------------------------------------------------+ | swapped = true | +----------------------------------------------------------+ | while (swapped == true) | | | | +----------------------------------------------------+ | | | swapped = false | | | +----------------------------------------------------+ | | | for i = 0 to n-2 | | | | | | | | +------------------------------------------+ | | | | | if (arr[i] > arr[i+1]) | | | | | +------------------------------------------+ | | | | | | | | | | | | | T | F | | | | | | | 交换 arr[i] 和 arr[i+1] | | | | | | | swapped = true | | | | | | | | | | | | | | +----------+-------------------------+------+ | | | | | | | +----------------------------------------------------+ | +----------------------------------------------------------+ | 输出排序后的 arr[] | +----------------------------------------------------------+ | 结束 | +----------------------------------------------------------+N-S图绘制难点与技巧： 在这个图中，我们看到了循环嵌套选择结构。内层的for循环本身是一个循环盒子，里面又嵌套了一个选择盒子。
- 难点：确保每个盒子的边界清晰，特别是内层选择结构的两个分支，要在有限的横向空间内画清楚。
- 技巧：可以适当拉宽内层循环的盒子，给选择结构留出足够的绘制空间。如果页面宽度有限，也可以考虑将
for循环的条件和执行部分分开标注。
5.2 用PAD图表示冒泡排序
| ------+------ 输入 arr[], n = len(arr) | ------+------ swapped = true | ------+------ while (swapped == true) | | | +-----------------------------+ | | swapped = false | | | | | | for i = 0 to n-2 | | | | | | | +-------------------+ | | | |[arr[i]>arr[i+1]] | | | | | | | | | | | | T|F | | | | | | | | | | | | |交换元素 | | | | | |swapped=true | | | | | | | | | | | +--------------+----+ | | +-----------------------------+ | ------+------ 输出 arr[] |PAD图绘制优势体现： 在这个例子中，PAD图的优势非常明显。树形结构让逻辑层次一目了然：
- 最外层是
while循环框。 - 缩进一层，是循环体内的两个顺序操作：
swapped=false和for循环。 for循环再向右缩进，里面包含一个选择结构。- 选择结构的两个分支（T和F）继续向右缩进。
整个图的纵向跨度不大，但所有层次关系清晰可见，修改起来也方便。如果要增加一个优化（比如记录最后一次交换的位置），只需要在for循环的框内增加一个节点即可。
6. 常见“踩坑点”与实战心得
画了这么多年图，也看过无数新人画的图，有些坑是反复出现的。这里总结一下，帮你避雷。
6.1 N-S图常见问题
- 盒子画不规整，嵌套关系混乱：这是最常见的问题。画图时不用尺或绘图软件，导致盒子歪斜，嵌套的边界看不清谁属于谁。务必使用工具（如Visio、Draw.io、甚至PPT的矩形工具）来画，保证横平竖直。
- 流程线残留思维：虽然N-S图没有流程线，但有人在盒子外面画箭头指示“接下来进入这里”。这是完全错误的。所有控制流必须由盒子的物理位置（上下、包含）来体现。
- 选择结构分支区域大小失衡：为了美观，尽量让“T”和“F”两个分支的盒子宽度保持一致，即使一个分支的操作很多，另一个很少。可以将操作多的分支内容简化表述，或者通过拉长盒子高度来解决，避免图形扭曲。
- 循环条件位置错误：混淆“当型”和“直到型”。记住：条件在循环体之上（或之左）的是
while（先判断）；条件在循环体之下（或之右）的是do-while（后判断）。最好在框上直接标注“while (条件)”或“do ... until (条件)”。
6.2 PAD图常见问题
- 节点不对齐，控制流线交叉：PAD图的美感在于清晰的树形。如果同一层的节点（如
while循环后的两个顺序语句）没有在垂直方向大致对齐，或者连接线画得歪七扭八，整个图就会显得很乱。画图时心里要有根“主竖线”，所有同层节点都从这根线的不同水平位置引出。 - 缩进混乱，层次不清：子结构没有明显向右缩进，或者缩进距离不统一，导致无法快速判断逻辑从属关系。建议使用固定的缩进量（比如每次缩进2厘米）。
- 选择结构画法不规范：PAD图的选择结构变体较多，有人画倒三角，有人直接写
[条件]。团队内部最好统一一种画法。我推荐直接用[条件]的横线加分支形式，简洁明了。 - 忽略“开始/结束”符号：虽然PAD图理论上可以从最左端的竖线开始，但明确标出“开始”和“结束”节点，能使图纸更完整，尤其在与他人交流时。
6.3 工具推荐与实操建议
- 手绘：适用于快速构思、草稿和白板讨论。重点在于理清逻辑，不必追求完美。
- 数字绘图：
- Draw.io / diagrams.net：免费、开源、在线，功能强大，支持多种图形，非常适合画N-S图和PAD图。有丰富的模板和形状库。
- Microsoft Visio：老牌专业绘图软件，功能全面，模板丰富，适合生成需要嵌入正式文档的图表。
- Visual Paradigm：强大的UML和建模工具，也支持流程图等，适合在大型软件工程中使用。
- PPT / Keynote：如果要求不高，用自带的形状工具也能画出不错的效果，方便与演示文稿整合。
我的个人工作流：
- 白板草稿：接到一个复杂函数需求，先在白板上用PAD图快速勾勒出主逻辑树，和同事讨论。
- 工具细化：讨论定稿后，用Draw.io绘制正式的PAD图或N-S图，确保图形规范。
- 嵌入文档：将导出的图片放入设计文档或代码注释中。有时甚至会将PAD图直接作为注释写在复杂函数的上方，比大段文字描述直观得多。
最后想说的是，N-S图和PAD图不仅仅是画给别人的，更是画给自己的。强迫自己用这种结构化的图形把逻辑梳理一遍的过程，本身就是一次深刻的代码设计审查。很多逻辑漏洞和冗余思考，在画图阶段就能被发现。当你觉得代码写得别扭的时候，不妨退一步，拿起笔或者打开绘图工具，画一画，也许思路就豁然开朗了。