ST退出循环技巧：正确使用 EXIT 指令跳出多重循环

在结构化文本（ST）编程中，EXIT 指令看似简单，却是最容易被误用、导致逻辑失控的关键指令之一。尤其在嵌套多层 FOR、WHILE 或 REPEAT 循环时，错误理解 EXIT 的作用域，会引发跳转目标不明确、变量状态异常、甚至 PLC 扫描周期紊乱等严重问题。本文只讲一件事：如何精准、安全、可验证地用 EXIT 跳出指定层级的循环——不依赖标签、不修改结构、不引入额外标志位，仅靠 ST 语言原生机制实现。

一、先明确：EXIT 到底退出哪一层？

ST 标准（IEC 61131-3 第 3 版）明确规定：
EXIT 指令仅退出其所在最近的一层循环体（FOR/WHILE/REPEAT），且仅对该循环生效，对任何外层循环完全无影响。

这不是“默认行为”，而是语法强制约束。例如：

FOR i := 1 TO 3 DO
    FOR j := 1 TO 4 DO
        IF j = 2 THEN
            EXIT; // ← 此处 EXIT 仅退出内层 FOR j 循环
        END_IF;
    END_FOR; // ← j 循环在此结束，i 仍为当前值（如 i=1）
END_FOR;

执行过程：

• i = 1 → 进入 j 循环：j = 1 → 继续；j = 2 → EXIT 触发 → 立即跳出 j 循环；
• 程序流直接到达 END_FOR;（j 层末尾），不执行 j = 3, 4；
• 接着 i 自增为 2，重新开始下一轮 j 循环。

✅ 结论：EXIT 是局部退出，不是“全局跳出”。它不识别、不感知外层循环的存在。

二、陷阱实录：三类典型误用场景

场景 1：试图用单个 EXIT 跳出两层循环（常见于新手）

错误写法：

FOR i := 1 TO 3 DO
    FOR j := 1 TO 4 DO
        IF i = 2 AND j = 3 THEN
            EXIT; // ❌ 期望跳出 i 和 j 两层，实际只跳出 j
        END_IF;
    END_FOR;
END_FOR;
// 后续代码仍会执行 i = 2 剩余部分、i = 3 全部

后果：逻辑中断失败，设备可能持续运行错误工步，或错过关键报警时机。

场景 2：在 WHILE 中混用 EXIT 与 CONTINUE（尤其在西门子 TIA Portal）

错误写法：

WHILE condition1 DO
    IF condition2 THEN
        EXIT; // ← 退出 WHILE
    END_IF;
    IF condition3 THEN
        CONTINUE; // ← 跳过本次剩余代码，回到 WHILE 条件判断
    END_IF;
    // ... 其他代码
END_WHILE;

问题：CONTINUE 在 ST 中并非标准指令（IEC 61131-3 不定义 CONTINUE）。西门子扩展支持，但罗克韦尔 Logix、倍福 TwinCAT 默认不识别 CONTINUE，编译报错或静默忽略，造成逻辑偏移。

场景 3：在 REPEAT...UNTIL 中误判退出条件边界

错误写法：

REPEAT
    counter := counter + 1;
    IF counter > 10 THEN
        EXIT; // ← 错！此时 counter 已为 11，但 UNTIL 条件尚未检查
    END_IF;
UNTIL counter >= 10;

分析：REPEAT...UNTIL 是后测循环，先执行循环体，再判断 UNTIL 表达式。上述代码中：

• counter 达到 10 时，循环体执行完毕，进入 UNTIL counter >= 10 → TRUE → 正常退出；
• 但若 counter 在循环体中被意外改写（如 counter := counter * 2），EXIT 可能提前触发，而 UNTIL 条件失去校验意义，导致状态不可控。

三、正确解法：三层可控退出策略（无标签、无标志位）

▶ 策略 1：使用 EXIT + 显式外层循环控制变量（推荐用于 2 层嵌套）

核心思想：让外层循环的控制条件可被内层逻辑主动修改，使外层在下次迭代前自然终止。

示例：需在 j = 3 且 i = 2 时彻底跳出两层循环。

exitOuter := FALSE; // 布尔标志，声明在循环外
FOR i := 1 TO 3 DO
    IF exitOuter THEN
        EXIT; // ← 外层 FOR 的 EXIT
    END_IF;
    FOR j := 1 TO 4 DO
        IF i = 2 AND j = 3 THEN
            exitOuter := TRUE; // ← 标记需退出外层
            EXIT;              // ← 先退出内层
        END_IF;
        // 内层其他处理...
    END_FOR;
END_FOR;

执行路径验证：

• i = 1：正常执行全部 j 循环；
• i = 2：j = 1, 2 正常；j = 3 → exitOuter := TRUE + EXIT → 跳出 j 循环；
• 回到外层 FOR 末尾，i 自增前先判断 IF exitOuter THEN EXIT → 立即退出外层 FOR；
• i = 3 不再执行。

✅ 优势：语义清晰、跨平台兼容（所有支持 ST 的 PLC 均有效）、无需扩展指令。

▶ 策略 2：重构为单层循环 + 算术索引（推荐用于规则性多重遍历）

当嵌套循环遍历的是二维数组或固定范围组合（如 i ∈ [1..3], j ∈ [1..4]），可将双循环压平为单循环，用整除/取模还原坐标：

// 遍历 3×4 矩阵，共 12 次
FOR idx := 0 TO 11 DO
    i := (idx / 4) + 1;   // 整除（向下取整），ST 中 `/` 对整数默认为整除
    j := (idx MOD 4) + 1;
    IF i = 2 AND j = 3 THEN
        EXIT; // ← 单层 EXIT，目标唯一、无歧义
    END_IF;
    // 处理 matrix[i,j]
END_FOR;

注：MOD 是 IEC 标准运算符，/ 对整数操作数自动执行整数除法（非浮点）。无需类型转换。

✅ 优势：彻底消除嵌套层级；EXIT 作用域绝对明确；代码行数减少，扫描时间更稳定。

▶ 策略 3：使用 RETURN 提前终止函数块（推荐用于 FB/FUN 封装逻辑）

若多重循环封装在函数块（FB）或函数（FUN）中，可利用 RETURN 立即退出整个代码段：

METHOD ProcessGrid : BOOL
VAR
    i, j : INT;
BEGIN
    FOR i := 1 TO 3 DO
        FOR j := 1 TO 4 DO
            IF i = 2 AND j = 3 THEN
                ProcessGrid := TRUE; // 设置返回值
                RETURN; // ← 退出整个 METHOD，内外层循环同时终止
            END_IF;
        END_FOR;
    END_FOR;
    ProcessGrid := FALSE;
END_METHOD

✅ 优势：零标志变量、零额外判断、逻辑收口干净；适用于需返回状态的工艺模块。

⚠️ 注意：RETURN 仅在 FB/FUN/PROGRAM 的可执行段中有效，不可在 STRUCT 或 VAR_GLOBAL 中使用。

四、硬核验证：用 PLCopen 测试用例确认行为

以下测试逻辑已通过 PLCopen 认证测试集（TC08 循环控制）验证：

结论：EXIT 行为高度标准化，差异仅来自工程师对作用域的理解偏差，而非平台缺陷。

五、终极检查清单（每次写 EXIT 前必读）

请逐项确认：

1. 定位层级：EXIT 所在行，向上最近的 FOR/WHILE/REPEAT 是第几层？
2. 是否需要穿透：若需跳出多层，是否已采用「策略 1（标志变量）」或「策略 2（压平循环）」？
3. 变量快照：EXIT 执行瞬间，哪些变量已被修改？这些值是否符合下一步逻辑前提？
4. 循环后处理：EXIT 后紧邻的代码，是否依赖本应由循环完成的初始化或清理？
5. 平台兼容：是否使用了 CONTINUE、GOTO 等非标指令？如是，是否已在目标 PLC 上实测通过？

六、替代方案对比表（按可靠性排序）

注：GOTO 在 IEC 61131-3 中未定义，西门子支持 GOTO/LABEL，但罗克韦尔、施耐德、欧姆龙均不支持，严禁用于通用项目。

七、现场故障速查：EXIT 相关异常现象与根因

八、最佳实践黄金三条

1. EXIT 永远只负责一层退出：把它当作“关门”动作——关哪扇门，就站在那扇门前按按钮，不要幻想一按关整栋楼。
2. 凡需跨层，必留痕迹：用布尔变量、整型状态码或 RETURN 值明示“我已决定终止”，让逻辑流向可追踪、可审计。
3. 绝不信任直觉，只信在线监控：在真实 PLC 上用强制/跟踪功能，逐周期观察 EXIT 触发时 i, j, counter 的精确值和程序指针位置——这是唯一真相。