问中、高级语言中的条件跳转语句

EN

联系来源所作的区分是不清楚的。

在我看来，它所做的区分是结构化流控制语句和非结构化流控制语句。

“条件跳转”只是一个if语句等等。if也是一个结构化语句。大多数结构化语言不公开非结构化条件跳转语句(尽管它存在于程序集级别)。

“无条件跳转”是一个goto语句等等。goto也被认为是一种非结构化语句，尽管在目前的结构化语言中，它所能做的事情常常受到限制。“结构化无条件跳转”的一个例子是函数调用--函数总是会被跳入(这就是使它无条件的原因)，但它也必须向后跳(这就是它的结构)。

break和continue通常被认为是非结构化流控制的最后遗迹，尽管根据定义，它们是结构化流控制语句的局部。

“条件”和“结构化”流控制语句之间的区别完全是正交的。

我还要补充的是，一个合理的“流控制语句”定义能够使代码在下一行中被执行。条件跳转是在某些情况下跳出下一行的跳转。无条件跳转是指在任何情况下都要跳出下一行。

在大多数语言中，从现有特性编写条件跳转是非常简单的，例如

If (x > 0) goto y;

因此，对条件跳转语句的需求很少，因此您看不到它。有这样的陈述

Ifgoto (x > 0, y); 

似乎是不必要的，混乱的，愚蠢的。