这道题的四个选项里，最容易让人犹豫的是 D。学过 C 语言，我们确实见过 `goto`，也用过 `break`、`continue` 和 `return`。既然这些语句都能改变程序的执行方向，为什么「跳转结构」反而不属于基本控制结构？

答案是 **D，跳转结构**。

题目考查的是结构化程序设计的三种基本控制结构，也就是顺序结构、选择结构和循环结构。它没有要求列出 C 语言允许使用的全部语句类型。把这两个问题分开，答案就很清楚了。

我们可以用一句话抓住这道题的关键，**语言里存在跳转语句，不代表结构化程序设计要把跳转列为第四种基本控制结构。**

这里的「基本」很关键。它讨论的是程序怎样通过少数几种规则组织起来，让复杂逻辑仍然可以被阅读、分析和验证。顺序、选择、循环能够通过组合和嵌套构成复杂的控制流程，任意跳转并不需要作为一种独立的基本构件加入其中。

理解这个区别，比单独记住「选 D」更有价值，因为后续遇到 `goto`、多层循环、提前返回、汇编跳转指令时，我们仍然能保持同一套清晰的判断。

程序运行时，总有一个必须解决的问题，就是当前操作完成后，下一步执行什么。

计算两个整数的和，需要读取数值、完成运算、保存结果。处理一组数据，需要对每个元素重复执行某段操作。判断一个数是否合格，需要根据条件决定进入哪条处理路径。看起来差别很大的程序，沿着执行路线分析，都离不开操作之间的先后关系、条件之间的分支关系，以及某段操作的重复关系。

结构化程序设计把这些关系整理成三种基本形态。

顺序结构负责表达依次完成的动作，选择结构负责表达根据条件决定的路径，循环结构负责表达按照条件重复的动作。Dijkstra 在讨论结构化程序设计时，也使用了串接、选择和重复这三种分解形式。它们的价值在于把执行流程组织成可以逐层理解的结构。[cs.utexas.edu](https://www.cs.utexas.edu/~EWD/transcriptions/EWD02xx/EWD249/EWD249.html?utm_source=chatgpt.com)

说到顺序结构，我们可以直接看一段最普通的 C 代码。

```c
int a = 12;
int b = 8;
int sum;

sum = a + b;
sum = sum * 2;
```

执行到这里，`a` 的值是 12，`b` 的值是 8。第一次给 `sum` 赋值时，它得到 20。下一条赋值语句使用前面的结果，把它更新为 40。

这里没有分支，也没有重复。前一个操作为后一个操作提供结果，执行顺序直接影响计算结果。

如果把后面两条赋值语句交换，就不再是原来的计算过程。甚至在这个例子中，交换后的第一条语句会读取尚未初始化的局部变量，产生错误的程序行为。顺序结构看起来简单，却承担着表达数据依赖的重要任务。

我们在实际开发中经常写出这种代码。解析请求头、提取参数、构造内部对象，是一连串有先后关系的操作。数据库事务里，某些检查通过后才能更新记录，记录更新完成后才能提交事务。即使整个业务流程包含分支和循环，其中很多局部过程仍然采用顺序结构。

不过，顺序结构并不等于 CPU 内部必须像一条流水线上的单个工人那样，机械地做完一件事再开始另一件事。

现代处理器可能采用流水线、乱序执行和推测执行，编译器也可能调整某些操作的实现方式。讨论 C 程序的顺序结构时，我们关注的是语言层面规定的执行效果，以及程序中必须保持的先后关系。处理器如何提高执行效率，属于另一个层次的问题。

同样，顺序结构也不能扩大理解成「一个表达式里的所有部分都按书写方向求值」。语句之间的顺序和表达式内部的求值规则，需要分别分析。这道软考题涉及的是控制流程的组织方式，并不要求把这些细节混在一起判断。

当程序需要根据条件选择不同动作时，选择结构就出现了。

```c
int score = 82;
int passed;

if (score >= 60) {
    passed = 1;
} else {
    passed = 0;
}
```

这段代码有一个明确的判断点。`score >= 60` 成立，就把 `passed` 设置为 1；条件不成立，就把它设置为 0。两条路径完成后，程序继续执行 `if` 语句之后的代码。

选择结构的核心是按条件决定路径，而不是一定要出现完整的 `if...else`。

下面的写法同样包含选择结构。

```c
int temperature = 85;
int alarm = 0;

if (temperature > 80) {
    alarm = 1;
}
```

条件成立时执行报警标记的赋值，条件不成立时不执行这条赋值，直接继续后面的流程。即使没有显式写出 `else`，也仍然存在「执行这一段」和「跳过这一段」的路径选择。

真实的软件系统大量依赖这种结构。操作系统检查访问权限，权限满足才允许操作；网络协议实现检查报文是否合法，合法报文进入后续处理；数据库执行约束检查，根据检查结果决定是否接受修改。这些行为的具体实现可以很复杂，但局部的控制关系仍然可以落到条件与路径上。

选择也不局限于两条路径。C 语言的 `switch` 可以根据一个表达式的值选择相应分支，因此同样属于选择结构。它不会因为分支数量较多，就变成一种新的基本控制结构。

这里也有一个容易被忽略的细节。`switch` 中的某个分支执行完，如果没有遇到适当的控制转移，执行可能继续进入后续分支。因此，理解 `switch` 时不能只记住「多选一」这三个字，还要看实际语句怎样安排。

这并不影响它在本题中的归类。我们需要区分控制结构的总体类型，以及某一种语言构造的具体执行规则。

当同一类操作需要执行多次，循环结构就派上用场了。

```c
int values[] = {3, 5, 7, 9};
int sum = 0;

for (int i = 0; i < 4; i++) {
    sum += values[i];
}
```

程序依次处理数组中的四个元素，得到的总和是 24。

这里重复的是 `sum += values[i]` 所表达的累加操作。每轮循环使用不同的下标，从数组中取出不同元素。循环变量、继续条件和更新操作共同控制重复过程。

如果没有循环，我们当然可以针对这四个元素手工展开。

```c
sum += values[0];
sum += values[1];
sum += values[2];
sum += values[3];
```

对于固定的四个元素，两种写法都能表达累加。但实际程序中的数据量往往在运行时才能确定。读取一个文件时，我们未必提前知道有多少个字符；处理网络数据时，我们未必提前知道需要接收多少批数据。循环让程序能够用一段有限的代码表达次数可变的重复行为。

C 语言提供 `for`、`while` 和 `do...while` 等循环写法。它们的语法不同，判断继续执行的时机也有区别，却都属于循环结构。

`while` 在进入循环体之前判断条件，因此循环体可能一次也不执行。`do...while` 在循环体执行之后判断条件，正常进入该语句后，循环体至少执行一次。`for` 常把初始化、继续条件和更新动作集中写在一起，适合下标遍历等场景。

把它们分成三种语句，是语言语法层面的分类。把它们归为循环结构，是程序设计层面的概括。这个区别恰好也能帮助我们理解本题，语法形式的数量不等于基本控制结构的数量。

更复杂的程序，通常是三种结构不断组合的结果。

```c
int values[] = {12, -3, 8, -1, 5};
int sum = 0;

for (int i = 0; i < 5; i++) {
    if (values[i] >= 0) {
        sum += values[i];
    }
}
```

这段代码计算数组中非负元素的总和。

变量初始化按照顺序完成，`for` 负责重复遍历，`if` 决定当前元素是否参与累加，`sum += values[i]` 完成被选中的操作。

程序的外层是循环，循环内部嵌套选择，选择分支内部又可以包含顺序执行的多条语句。我们不需要因为三种关系出现在同一段代码中，就为它发明第四种基本结构。

这也是结构化程序设计很实用的一点。阅读程序时，我们可以先把整个循环看作一个处理块，理解它完成什么任务；再进入循环体，分析每一轮如何处理数据。复杂度由层次来承接，不必一次追踪所有可能路径。

与之相比，任意跳转允许控制流程直接转移到某个带标签的位置。如果一个函数里存在大量相互交织的跳转，单看某段代码附近的文字，可能无法确定它从哪里进入，也无法确定它会把执行带到哪里。

问题并不是计算机执行不了。计算机很擅长按照地址转移控制。真正困难的是，人类在阅读、修改和验证时，要同时记住更多路径和更多状态。

这时就能看出「跳转语句」与「基本控制结构」的差别。

跳转描述的是一种控制转移动作。顺序、选择、循环描述的是程序组织起来之后的流程形态。前者可以参与后者的实现，但不能因为存在一种控制转移动作，就把它直接增加为结构化程序设计的第四种基本结构。

从规范的角度看，C 语言确实有跳转语句。公开的 C11 委员会草案 N1570 在第 6.8.6 节列出了 `goto`、`continue`、`break` 和 `return`。因此，解释本题时不能说成「C 语言没有跳转语句」，也不能说成「这些语句不合法」。题目排除的是跳转作为三种基本控制结构之一的资格。[open-std.org](https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf?utm_source=chatgpt.com)

我们可以把这四种语句放回实际代码中理解。

`break` 常用于提前结束所在的最内层循环，或者退出所在的最内层 `switch`。例如在数组中查找某个值，找到后就没有必要继续扫描剩余元素。

```c
int values[] = {4, 7, 9, 12};
int target = 9;
int found = 0;

for (int i = 0; i < 4; i++) {
    if (values[i] == target) {
        found = 1;
        break;
    }
}
```

这段代码仍然围绕一个循环组织，循环内有条件判断。`break` 提供了提前退出的方式，却没有使整个算法脱离顺序、选择、循环这套分析框架。

当然，严格按照单入口、单出口的结构化构造要求分析，循环中间的提前出口需要单独讨论。现代工程实践通常会在清晰性和形式约束之间做选择。考试中的三种基本结构、严格的结构化理论，以及项目中的编码规范，彼此相关，但不能完全画等号。

`continue` 的作用也不是结束整个循环。它结束当前这一轮剩余部分的执行，把控制交给该循环后续规定的处理位置。

对于 `for` 循环，这通常会进入更新表达式，再判断继续条件。对于 `while` 循环，则回到条件判断。记住这一点，可以避免把 `continue` 理解成简单的「直接跳到下一条数据」，因为具体如何进入下一轮，仍然由所在循环决定。

`return` 结束当前函数的执行。它不是结束整个程序的统一命令。一个辅助函数执行 `return` 后，调用者通常还会继续运行。只有放到具体调用关系中，才能准确判断它对整个程序流程的影响。

`goto` 则可以把控制转移到同一个函数内符合要求的标签位置。它的灵活性比局部的循环退出更强，也更容易让流程形成复杂的跨越关系。结构化程序设计对不受约束跳转的警惕，主要就与这种可读性和推理成本有关。

但工程实践并不是看到 `goto` 就判定代码错误。

一个可以查证的真实案例是 Linux 内核编码风格文档。该文档专门讨论函数的集中退出，认可在需要共同清理资源的场景中使用 `goto`，同时建议在没有清理工作时直接返回。它关心的是控制路径是否清楚，以及资源释放是否可靠。[The Linux Kernel documentation](https://www.kernel.org/doc/html/latest/process/coding-style.html?utm_source=chatgpt.com)

这个案例放在资源管理中很容易理解。

一个 C 函数可能依次申请内存、获取其他资源，再完成具体处理。不同阶段失败时，已经取得的资源数量不同。失败发生在早期，可能只需要释放一块内存；失败发生在后期，可能需要撤销多项操作。

如果每个错误分支都复制一遍清理代码，函数会出现许多相似片段。未来增加一项资源时，所有相关分支都要修改，漏掉一处就可能留下资源泄漏。

把清理路径集中起来，可以减少重复，也可以让释放顺序更容易检查。这是受约束地利用跳转解决实际问题，而不是任由控制流在函数中来回穿插。

因此，这道题不能推导出「所有使用 `goto` 的代码都不符合工程要求」，也不能推导出「结构化语言必须删除所有跳转能力」。它只要求识别结构化程序设计最基本的三种流程组织方式。

再往下追问，还会碰到一个很有意思的问题。

既然计算机最终经常使用跳转指令执行分支和循环，为什么选择、循环算基本结构，跳转却不算？

这里需要把源代码层面的组织方式与机器指令层面的实现方式分开。

一段 `if` 代码编译后，可能包含条件跳转。一段 `while` 代码编译后，可能包含回到循环判断位置的跳转。某些 `switch` 实现可能使用跳转表，也可能使用一串比较。具体生成什么指令，会受到目标处理器、编译器和优化选项的影响。

源程序中的循环仍然是循环，不能因为底层用了跳转，就把它重新命名为第四种基本控制结构。

就像文件系统可以建立在磁盘扇区之上，但描述目录结构时，我们不会因为底层存在扇区，就把扇区列为一种目录组织关系。底层实现机制和上层组织规则，各自回答不同的问题。

这也解释了为什么编程语言可以在语法上提供许多能力，而教学中仍然只强调少数几种基本控制结构。教学模型是在提取组织规律，不是在给所有关键字逐个安排一个独立类别。

结构化程序设计还经常和「单入口、单出口」一起出现。

这个说法可以从代码块的边界来理解。一个处理块从明确的位置进入，在明确的位置完成，外部代码使用它时，不需要知道内部每条语句怎样排列。多个这样的处理块可以继续组合，形成更大的处理块。

顺序结构让一个块完成后进入下一个块。选择结构让条件分支在完成后汇合。循环结构把重复过程包在一个整体中，对外仍然表现为一段具有边界的处理过程。

这个模型让我们能够分层验证程序。证明某个判断分支正确，再证明循环每一轮保持必要条件，就有机会逐步理解整个算法，而不必凭直觉相信一大片代码。

不过，「单出口」也不应被机械地等同于「每个 C 函数只能出现一个 `return`」。那是更具体的编码约束。现实项目可能允许提前返回，以减少过深的条件嵌套，也可能因为审计或规范要求采用集中返回。两种风格如何选择，需要看项目目标，不能由这道选择题直接裁决。

同样，只使用 `if`、`for`、`while`，也不自动保证程序设计良好。

一个函数即使完全没有 `goto`，仍然可能拥有十几层嵌套、混乱的变量状态和难以辨认的业务条件。结构化程序设计关注的是流程能够被清楚组织和推理，关键字只是实现手段。

我们读代码时，真正要追踪的是每个条件控制什么范围，每个循环什么时候结束，每个变量在哪些路径上发生变化，以及一个处理块完成后能保证什么结果。

对于软考，这样的理解可以转化为很稳定的答题方法。

看到题干出现「结构化程序设计」「三种基本控制结构」，就把判断范围锁定在顺序、选择、循环。不要因为某个选项对应合法的 C 语句，就把它也算进去。

如果题干改成「以下哪一项不是 C 语言的跳转语句」，判断依据就会变化。`goto`、`continue`、`break`、`return` 才是相关语法类别，`if` 和 `while` 则分别承担选择与循环的作用。

如果题干改成「循环结构可以使用哪些语句实现」，就应比较 `for`、`while`、`do...while`，而不是重新讨论三种基本结构。

如果题干问「能否通过顺序、选择和循环组织复杂算法」，关注点又回到程序设计理论。这里的表达能力并不等于每一次改写都最简洁，也不保证改写后的代码性能最好。理论上能够表达，与工程上怎样表达更清楚，是相关但不同的判断。

回到原题，A 的顺序结构负责依次执行，B 的选择结构负责按条件分支，C 的循环结构负责按条件重复，它们共同构成结构化程序设计的三种基本控制结构。D 的跳转结构不在这三者之中，因此答案确定为 D。我们需要记牢的不是「跳转不存在」，而是「C 语言具有跳转能力，结构化程序设计的基本结构仍然是顺序、选择和循环」。

## 参考资料

[Dijkstra，Notes on Structured Programming](https://www.cs.utexas.edu/~EWD/transcriptions/EWD02xx/EWD249/EWD249.html)，讨论程序的结构化分解与推理方法。

[C11 委员会草案 N1570](https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf)，其中第 6.8 节说明 C 语言的语句分类。

[Linux 内核编码风格文档](https://www.kernel.org/doc/html/latest/process/coding-style.html)，其中第 7 节讨论函数集中退出与资源清理。

这道题的四个选项里，最容易让人犹豫的是 D。学过 C 语言，我们确实见过 goto，也用过 break、continue 和 return。既然这些语句都能改变程序的执行方向，为什么「跳转结构」反而不属于基本控制结构？

C 语言有跳转语句，为什么基本控制结构却只有顺序、选择和循环

紫薇堂堂主

人工智能

这道题的关键区分：C语言存在goto、break等跳转语句，但结构化程序设计的基本控制结构只有顺序、选择、循环三种。跳转是语法层面控制转移动作，不构成第四种基本结构。

文件系统

代码解释

数据库

编译器

Linux

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

EdgeOne AI 安全实战专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

C 语言有跳转语句，为什么基本控制结构却只有顺序、选择和循环-腾讯云开发者社区-腾讯云

C 语言有跳转语句，为什么基本控制结构却只有顺序、选择和循环

C 语言有跳转语句，为什么基本控制结构却只有顺序、选择和循环

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐