博途CASE语句为何不执行任何分支？

Question

博途（TIA Portal）中CASE语句不执行任何分支，常见原因在于**选择变量（Selector）的数据类型与CASE标签值不匹配或超出有效范围**。例如：使用INT型变量作为选择器，却在CASE分支中写入超出-32768~32767的字面量（如35000），编译虽通过，但运行时因隐式类型截断或比较失败导致所有分支被跳过；又如选择器为BYTE而CASE项含负数，或使用未初始化的局部变量（初始值为0，但无对应CASE 0分支）；此外，若选择器为枚举（ENUM）但赋值非法（如直接赋整数而非枚举成员），其底层值可能不在定义范围内，CASE亦无法匹配。还需注意：CASE语句不支持浮点数直接比较，且必须包含ELSE分支（或确保全覆盖）以捕获未定义情况——否则逻辑“静默失效”。建议用监控表实时观察选择器实际值，并检查数据类型一致性、初始化状态及枚举定义完整性。

Answer 1

```html

一、现象层：CASE语句“静默跳过”——运行时无报错却无分支执行

在TIA Portal V16/V17/V18中，工程师常观察到CASE结构块（如SELECT...CASE...ELSE...END_SELECT）编译成功、PLC运行正常，但所有CASE分支均未触发，且ELSE也未执行——逻辑彻底“消失”。该现象不抛出任何诊断中断或编译警告，属于典型的**静默逻辑失效（Silent Logic Failure）**，极易被误判为工艺条件未满足，实则源于底层数据契约破裂。

二、数据层：类型系统与隐式转换的“暗礁”

• INT选择器 + 超范围字面量：定义sel : INT := 35000;，CASE中写CASE 35000: → 编译通过，但35000在INT中被截断为-30736（补码溢出），比较恒为假；
• BYTE选择器 + 负数CASE项：BYTE有效范围0~255，若写CASE -1:，该标签在编译期即被忽略（非语法错误，但不可达）；
• 浮点数直接参与CASE：SCL中REAL或LREAL不能作为Selector——TIA Portal SCL规范明确禁止，编译报错0001: Invalid data type for selector。

三、初始化层：未显式赋值的变量陷阱

变量声明	实际初始值	典型风险场景
LOCAL sel : INT;	0（全局/局部DB中为0；FC中为未定义值，但多数固件初始化为0）	若所有CASE分支为1/2/3，缺失CASE 0:且无ELSE，则永远不执行
LOCAL state : (IDLE, RUN, STOP);	底层值=0 → 对应IDLE（若定义顺序严格）	若枚举未按顺序定义或被强制赋值（如state := 5;），则脱离枚举空间

四、枚举层：ENUM的“合法表象”与“非法值”悖论

当使用自定义枚举类型时，SCL允许如下非法赋值：

TYPE MyState : (INIT:=0, READY:=1, ERROR:=99);
END_TYPE

// 危险操作：
myVar : MyState;
myVar := 5; // ✅ 语法合法！但5不在枚举成员定义中

此时myVar底层值为5，而所有CASE分支（INIT/READY/ERROR）对应0/1/99，导致全部不匹配。TIA Portal不校验运行时枚举值合法性，仅依赖开发者自律。

五、架构层：CASE语句的设计约束与防御性编程

1. 全覆盖强制要求：SCL标准规定——若未提供ELSE分支，且CASE标签未穷举Selector全值域，则编译通过但运行时无默认兜底；
2. 类型安全边界：Selector与每个CASE标签必须可隐式转换为同一基础类型（如USINT/CASE 255 ✅，USINT/CASE 256 ❌）；
3. 调试验证闭环：必须启用在线监控表（Online Watch Table），同时观察Selector变量原始值、十六进制表示、及类型声明三者一致性。

六、诊断层：系统化排错流程图

flowchart TD
  A[CASE无分支执行？] --> B{监控Selector实时值}
  B -->|值为X| C[检查X是否在任一CASE标签中]
  B -->|值异常/跳变| D[检查变量初始化与赋值链路]
  C -->|否| E[核查Selector与CASE标签数据类型]
  C -->|是| F[确认枚举定义完整性及赋值合法性]
  E --> G[对比INT/BYTE/WORD等范围边界]
  F --> H[用TYPEOF和SIZEOF验证底层值]
  G --> I[添加ELSE分支并写入诊断标记]
  H --> I
  I --> J[部署后验证ELSE是否触发]

七、解决方案层：工业级健壮编码实践

• 始终显式初始化Selector：sel : INT := 0; 或绑定至有明确初值的DB字段；
• 枚举操作封装函数：避免裸赋整数，改用MyState#READY等符号化引用；
• CASE前插入断言校验：IF NOT IS_IN_ENUM_RANGE(sel) THEN LogError('Invalid enum value'); END_IF;；
• 将关键CASE重构为结构化状态机（使用SCL中的STATE关键字或自定义状态DB+转移表），提升可测试性与可观测性。

```