第5章 控制流（Control Flow: Conditions and Loops）

一、导读

控制流语句让程序能够根据条件做出决策并重复执行代码。本章介绍如何实现 if 条件语句、while 和 for 循环语句，以及逻辑运算符的短路求值机制，使 Lox 语言具备完整的流程控制能力。

学习目标：掌握条件分支和循环语句的语法解析与执行机制，理解短路求值的原理和实现，学会处理控制流语句的嵌套和作用域问题。

重要性：控制流是编程语言从简单计算器进化为通用计算工具的关键一步。没有控制流，程序只能按照固定的顺序执行，无法实现条件判断和重复操作。几乎所有的算法和数据结构都依赖于控制流来组织计算逻辑。

核心问题：如何实现条件分支的执行？循环语句的迭代机制如何工作？for 循环的初始化、条件和更新部分如何协调？逻辑运算符的短路求值如何避免不必要的计算？控制流语句的作用域如何处理？

二、核心概念详解

2.1 if 语句的条件分支

if 语句根据条件表达式的真假决定执行哪个分支。在 Lox 中，条件表达式的求值结果如果是 false 或 nil 则视为假（falsy），其他所有值都视为真（truthy）。解释器先求值条件表达式，然后根据结果选择执行 then 分支或 else 分支。else 分支是可选的，当存在嵌套的 if-else 时，else 总是与最近的未匹配的 if 配对（dangling else 问题）。

if (x > 0) {
  print "positive";
} else if (x == 0) {
  print "zero";
} else {
  print "negative";
}

2.2 while 循环的执行机制

while 循环在条件为真时重复执行循环体。解释器的实现是一个简单的循环结构：先求值条件表达式，如果为真则执行循环体，然后回到条件判断；如果为假则退出循环。循环体的执行可能改变条件中引用的变量，从而使条件最终变为假。如果条件永远为真，则形成无限循环。

var i = 0;
while (i < 10) {
  print i;
  i = i + 1;
}

2.3 for 循环的结构解析

for 循环是语法糖，它包含初始化（initializer）、条件（condition）、更新（increment）和循环体（body）四个部分。在 Lox 中，for 循环在解析阶段被脱糖（desugar）为等价的 while 循环：

// for 循环
for (var i = 0; i < 10; i = i + 1) {
  print i;
}

// 等价于
{
  var i = 0;
  while (i < 10) {
    i = i + 1;
    print i;
  }
}

这种脱糖处理简化了解释器的实现，不需要为 for 循环添加新的执行逻辑。外层的花括号确保了初始化变量的作用域限制在 for 循环内部。

2.4 短路求值的优化策略

逻辑与（and）和逻辑或（or）运算符采用短路求值（Short-Circuit Evaluation）。对于 and，如果左操作数为假，则整个表达式一定为假，不需要求值右操作数；对于 or，如果左操作数为真，则整个表达式一定为真，同样不需要求值右操作数。短路求值不仅提高了效率，还支持了常见的编程习惯，如 x != nil and x.property。

// 短路求值的实际应用
if (index >= 0 and index < length) {
  print items[index];
}

// 如果没有短路求值，当 index 为 -1 时，
// items[index] 可能导致越界错误

2.5 语句与表达式的区别

在 Lox 中，语句（Statement）和表达式（Expression）是两个不同的概念。表达式有值，可以嵌套；语句执行动作，没有值。if 和 while 在 Lox 中被设计为语句而非表达式（与 Rust 等语言不同）。print 是语句，var 声明是语句，块也是语句。理解语句和表达式的区别对于正确设计文法和解析器至关重要。

2.6 块语句与作用域

块语句（Block Statement）是用花括号包围的一组语句，它创建了一个新的局部作用域。在块内声明的变量只在块内可见，块结束后这些变量就不再可访问。块可以嵌套，内层块可以访问外层块的变量，但外层块不能访问内层块的变量。当内外层存在同名变量时，内层变量遮蔽（shadow）外层变量。块语句的实现需要在进入块时创建新环境，在退出块时恢复外层环境。

{
  var a = 1;
  var b = 2;
  {
    var a = 3;  // 遮蔽外层的 a
    print a;    // 输出: 3
    print b;    // 输出: 2 (来自外层)
  }
  print a;      // 输出: 1 (外层 a 未受影响)
}

三、深入分析

3.1 Dangling Else 问题

当 if 语句嵌套时，else 子句的归属可能产生歧义：

if (a)
  if (b)
    print "a and b";
else
  print "not a";

这里的 else 属于内层的 if (b) 还是外层的 if (a)？大多数语言（包括 Lox）采用"最近匹配"规则：else 总是与最近的未匹配的 if 配对。在递归下降解析器中，这通过将 else 分支放在 if 的解析循环中自然实现。

3.2 循环中的 break 和 continue

Lox 语言的基本版本不包含 break 和 continue 语句，但这是常见的扩展需求。实现 break 需要在循环执行时建立一个标记，当遇到 break 语句时跳出当前循环。实现 continue 则需要跳过当前迭代的剩余部分，直接进入下一次迭代。在树遍历解释器中，可以通过特殊的异常（如 BreakException、ContinueException）来实现控制流的跳转。

3.3 控制流的语义正确性

控制流语句的语义正确性需要仔细验证。例如，while 循环的终止性（是否一定会停止）在一般情况下是不可判定的（停机问题）。但解释器至少应该保证：条件表达式每次迭代都被重新求值；循环变量的修改能正确影响条件判断；嵌套循环的变量作用域不会相互干扰。

四、实践案例

4.1 案例一：实现冒泡排序

使用 for 循环和 if 语句实现冒泡排序算法：

var arr = [5, 3, 8, 1, 9, 2, 7, 4, 6];
var n = 9;

for (var i = 0; i < n - 1; i = i + 1) {
  for (var j = 0; j < n - 1 - i; j = j + 1) {
    if (arr[j] > arr[j + 1]) {
      var temp = arr[j];
      arr[j] = arr[j + 1];
      arr[j + 1] = temp;
    }
  }
}

for (var i = 0; i < n; i = i + 1) {
  print arr[i];
}

这个例子展示了嵌套 for 循环、if 条件判断、数组访问和变量交换等控制流特性的综合应用。

4.2 案例二：短路求值的安全访问模式

短路求值在实际编程中常用于安全访问可能为 nil 的对象：

fun findUser(id) {
  // 模拟查找用户
  if (id == 1) return "Alice";
  return nil;
}

var user = findUser(1);
if (user != nil and user != "") {
  print "Found: " + user;
}

var nobody = findUser(999);
if (nobody != nil and nobody != "") {
  print "Found: " + nobody;
} else {
  print "User not found";
}

如果没有短路求值，当 nobody 为 nil 时，第二个条件 nobody != "" 仍然会被求值，在某些语言中可能导致空指针异常。

五、常见误区

5.1 误区一：for 循环需要独立的执行逻辑

for 循环完全可以用 while 循环等价表示，因此不需要在解释器中为 for 循环实现独立的执行逻辑。在解析阶段将 for 循环脱糖为 while 循环是一种简洁高效的做法，减少了代码重复和维护成本。

5.2 误区二：短路求值只是性能优化

短路求值不仅是性能优化，更是语义需求。许多编程模式依赖短路行为来避免错误，如先检查指针非空再访问其属性。如果取消短路求值，这些模式将不再安全，可能导致运行时错误。

5.3 误区三：所有值都可以作为条件

在不同语言中，条件表达式的真假判定规则不同。Lox 中只有 false 和 nil 是 falsy，其他值（包括 0、""）都是 truthy。这与 JavaScript（0、""、NaN 都是 falsy）和 Python（0、""、[] 都是 falsy）不同。混淆这些规则会导致逻辑错误。

5.4 误区四：循环变量在循环结束后不可访问

在 Lox 中，for 循环的初始化部分如果使用了 var 声明，该变量的作用域被限制在循环体内（包括条件、更新和循环体）。但如果在循环外已经定义了同名变量，循环内的赋值会影响外层变量。理解作用域规则对于避免变量遮蔽和意外修改非常重要。

六、本章小结

本章讲解了控制流语句的实现方法。if 语句提供了条件分支能力，通过求真值判定选择执行路径。while 循环提供了基于条件的重复执行能力。for 循环作为语法糖，在解析阶段被脱糖为等价的 while 循环。逻辑运算符的短路求值既提高了效率又支持了安全访问模式。这些控制流语句使 Lox 语言能够表达复杂的程序逻辑，是构建实用程序的基础。

七、扩展知识：控制流的底层实现

在编译器层面，控制流语句最终被转换为跳转指令。if-else 被编译为条件跳转，循环被编译为条件跳转加无条件回跳。在更底层的机器码层面，这些跳转对应 CPU 的条件码和分支指令。现代 CPU 的分支预测器（Branch Predictor）会尝试预测跳转方向以提升流水线效率，错误的预测会导致流水线冲刷（Pipeline Flush），带来显著的性能惩罚。因此，编写对分支预测友好的代码（如将更可能为真的条件放在前面）在性能敏感的场景中是有意义的。

八、思考题

请为 Lox 语言添加 break 和 continue 语句，说明需要修改哪些组件，以及如何通过异常机制实现控制流跳转。

设计一个 do-while 循环语句，说明它与 while 循环的区别，并给出文法规则和解析实现。

如果将 Lox 的 for 循环脱糖为不使用花括号块的 while 循环，会产生什么作用域问题？请举例说明。

比较短路求值和非短路求值在实际编程中的影响，列举至少三个依赖短路行为的编程模式。

请分析以下代码的执行结果，并解释原因：

var i = 0;
for (var i = 1; i <= 3; i = i + 1) {
  print i;
}
print i;

请设计一个 switch/match 表达式，支持模式匹配功能（类似 Rust 的 match 或 Scala 的 pattern matching），给出文法规则和至少三个使用示例。