ST怎么写嵌套IF逻辑：IF A THEN IF B THEN ... END_IF; END_IF;

在结构化文本（Structured Text，ST）编程中，嵌套 IF 语句是实现多条件分支控制最基础也最常用的逻辑结构。它直接对应 PLC（可编程逻辑控制器）中对设备运行状态、工艺约束、安全联锁等多层级判断的真实需求。下面以 IEC 61131-3 标准为依据，手把手教你正确编写、调试并优化嵌套 IF 逻辑，覆盖语法细节、常见错误、可读性陷阱、替代方案及工业现场避坑要点。

一、ST 中嵌套 IF 的标准语法结构

IEC 61131-3 明确规定：IF 语句支持任意深度的嵌套，但必须严格配对——每个 IF 必须有且仅有一个对应的 END_IF;，且嵌套层级通过缩进和分号体现，而非花括号。

标准写法如下：

IF A THEN
    IF B THEN
        // 当 A 和 B 同时为 TRUE 时执行
        Output := TRUE;
    ELSIF C THEN
        // 当 A 为 TRUE、B 为 FALSE、C 为 TRUE 时执行
        Output := FALSE;
    ELSE
        // 当 A 为 TRUE、B 和 C 均为 FALSE 时执行
        Output := NOT Output;
    END_IF;
ELSIF D THEN
    // 当 A 为 FALSE、D 为 TRUE 时执行（注意：此处已退出第一层 IF 的 B/C 分支）
    Output := FALSE;
ELSE
    // 当 A 和 D 均为 FALSE 时执行
    Output := TRUE;
END_IF;

关键规则：

每个 IF、ELSIF、ELSE 后必须跟一个布尔表达式，不可省略；
THEN 后可接单条语句，也可接多条语句（无需 {} 包裹），但每条语句末尾必须有分号 ;；
END_IF; 是独立语句，必须带分号，且不能写成 END_IF 或 end_if;；
ELSIF 是一个单词（无空格），不是 ELSE IF；后者在 ST 中会被解析为 ELSE 后跟一个新 IF 语句，造成逻辑断裂。

二、为什么不能写成 `ELSE IF`？——解析器视角的致命差异

很多初学者习惯类比 C 或 Python 写成：

IF A THEN
    DoA();
ELSE IF B THEN   // ❌ 错误！ST 解析器会将其视为：ELSE + 新 IF 语句
    DoB();
END_IF;

这段代码实际被解析为：

IF A THEN
    DoA();
ELSE
    IF B THEN   // 这是一个全新的、未配对的 IF！
        DoB();
    END_IF;     // 这个 END_IF 只关闭了内层 IF
END_IF;         // 这个 END_IF 关闭外层 IF → 语法合法，但逻辑错乱！

问题在于：ELSE IF 中的 IF 成为 ELSE 子句的一部分，导致：

若 A = FALSE 且 B = FALSE，DoB() 不执行，但程序不会进入任何 ELSE 分支（因 ELSE 已被 IF B THEN 占用）；
若后续添加 ELSE，将无法与原始 IF A 对齐，引发“ELSE 无匹配 IF”编译错误。

✅ 正确写法唯一：ELSIF（带下划线，一个词）。

三、嵌套深度控制：3 层为工程实践上限

虽然标准不限制嵌套深度，但工业现场强烈建议：单个 IF 块内嵌套不超过 3 层。原因如下：

问题类型	表现	后果
可读性崩塌	缩进达 12 空格以上，`END_IF;` 难以定位	维护人员需横向滚动或反复折叠，平均排查时间增加 300%
调试失效	在线监控时，IDE 仅高亮当前 `IF` 条件值，不显示嵌套路径	无法快速判断是 `A` 失败，还是 `A AND B` 失败，还是 `A AND B AND C` 失败
编译器限制	某些旧版 PLC（如早期 Siemens S7-1200 V4.0 以下）对嵌套深度硬限为 4 层	超限时编译报错 `Error 427: Nesting depth exceeded`，且无明确行号提示

✅ 推荐做法：当条件组合 ≥ 4 个变量时，改用 CASE 或状态机（State Machine），或提前提取为布尔中间变量。

例如，将四条件嵌套：

// ❌ 不推荐：4 层嵌套
IF Mode = AUTO THEN
    IF StartBtn THEN
        IF SensorOK THEN
            IF NoAlarm THEN
                MotorStart := TRUE;
            END_IF;
        END_IF;
    END_IF;
END_IF;

改为清晰变量+单层 IF：

// ✅ 推荐：语义化中间变量
AutoReady := (Mode = AUTO) AND StartBtn AND SensorOK AND NOT AlarmActive;
IF AutoReady THEN
    MotorStart := TRUE;
END_IF;

四、布尔表达式书写规范：避免隐式类型转换陷阱

ST 中 IF 后的表达式必须返回 BOOL 类型。常见错误包括：

❌ IF Counter > 0 THEN → 若 Counter 是 INT，比较结果为 BOOL，合法；
❌ IF Timer.Q THEN → Timer.Q 是 BOOL，合法；
❌ IF DB1.ManualMode THEN → 若 DB1.ManualMode 定义为 BYTE，则非法（类型不匹配）；
❌ IF NOT FaultCode THEN → 若 FaultCode 是 WORD，NOT 按位取反，结果仍为 WORD，非 BOOL，编译失败。

✅ 正确写法：显式转为布尔。

// 方案1：用 <> 0 判断非零
IF DB1.ManualMode <> 0 THEN ...

// 方案2：用 BOOL 类型映射（推荐）
// 在变量声明区定义：
// ManualModeBOOL : BOOL := DB1.ManualMode <> 0;
IF ManualModeBOOL THEN ...

// 方案3：用标准函数（IEC 61131-3 内置）
IF GVL_BOOL(DB1.ManualMode) THEN ... // 需确认 PLC 支持 GVL 函数库

五、调试嵌套 IF 的三步定位法

当逻辑异常时，按顺序执行：

断点打在每一层 IF 条件后：在 IF A THEN 下一行设断点，观察 A 实际值；
用临时变量捕获分支路径：在每个 THEN / ELSIF 块首行赋值标记：

BranchID := 0;  // 默认未进入任何分支
IF A THEN
    BranchID := 1;
    IF B THEN
        BranchID := 11;
        Output := TRUE;
    ELSIF C THEN
        BranchID := 12;
        Output := FALSE;
    END_IF;
ELSIF D THEN
    BranchID := 2;
    Output := FALSE;
END_IF;

在线监控 BranchID 值即可秒级定位执行路径（如 11 = A 且 B 成立，2 = 仅 D 成立）。

导出条件真值表验证：对所有输入组合列真值表，人工比对输出是否符合预期。例如双条件 IF A THEN IF B THEN X := 1; END_IF; END_IF; 的真值表为：

A	B	X
FALSE	—	保持原值（不修改）
TRUE	FALSE	保持原值（不修改）
TRUE	TRUE	1

注意：ST 中 IF 不具备“默认赋初值”特性，未覆盖分支的变量值维持上一次扫描周期的值（即“保持性”），这是与 C 语言的根本区别。

六、替代方案对比：何时该放弃嵌套 IF？

场景	推荐方案	理由
条件基于同一枚举变量（如 `State : (IDLE, RUN, STOP, ERROR)`）	`CASE State OF ... END_CASE;`	语法更紧凑，IDE 支持自动补全分支，防止漏写 `ELSE`
多条件组合超过 5 种，且存在时序依赖（如启动流程：检查→预充→合闸→运行）	状态机（Sequential Function Chart 或 ST 状态机）	将“条件判断”升维为“状态迁移”，逻辑主干清晰，易于添加超时、重试、复位等扩展
条件含大量计算（如 `IF (Speed > Setpoint * 1.05) AND (Temp < 80) AND (Vib < 3.2) THEN ...`）	提前计算中间变量 + 单层 `IF`	避免重复计算，提升扫描周期稳定性；便于在线修改阈值

七、真实工程案例：输送带急停联锁逻辑重构

原始代码（嵌套 4 层，难以维护）：

IF EmergencyStopPB THEN
    IF ConveyorRunning THEN
        IF DriveEnabled THEN
            IF NotInMaintenance THEN
                ConveyorStop := TRUE;
                Alarm := EMERGENCY_STOP;
            END_IF;
        END_IF;
    END_IF;
END_IF;

重构后（语义化 + 单层 IF）：

// 中间变量：含义即文档
IsEmergActive   := EmergencyStopPB;
IsConveyorUp    := ConveyorRunning AND DriveEnabled;
IsSafeToStop    := NotInMaintenance;

// 联锁条件：一目了然
CanTriggerStop  := IsEmergActive AND IsConveyorUp AND IsSafeToStop;

IF CanTriggerStop THEN
    ConveyorStop := TRUE;
    Alarm := EMERGENCY_STOP;
END_IF;

效果：代码行数减少 30%，新人 10 秒内可理解逻辑，且所有变量名均可直接用于 HMI 报警文本，无需额外注释。

八、终极检查清单（每次编写后必核）

[ ] 所有 IF / ELSIF / ELSE 后均有布尔表达式，无遗漏；
[ ] ELSIF 拼写正确（非 ELSE IF 或 ElseIf）；
[ ] 每个 END_IF; 前有且仅有一个未关闭的 IF；
[ ] 布尔变量未参与算术运算（如 Flag + 1）；
[ ] 嵌套 ≤ 3 层，超限时已拆分为中间变量或改用 CASE；
[ ] 所有 IF 块内，变量赋值覆盖全部分支（或明确注释“保持原值”）；
[ ] 在线调试时，BranchID 或等效标记已部署。

编写嵌套 IF 不是炫技，而是为机器读懂你的意图。让 PLC 看懂，更要让三年后的自己一眼看懂。