ST数组遍历优化：使用 FOR 循环批量清零或初始化数据

在 ST（Structured Text）编程中，对数组进行遍历操作是电气自动化项目中最基础也最频繁的任务之一。尤其在 PLC（可编程逻辑控制器）控制场景下，如初始化传感器缓存区、清零历史故障记录、重置 PID 控制器的积分项数组、批量校准通道值等，都依赖高效、安全、可读性强的数组遍历逻辑。实践中发现，大量工程师仍习惯用 WHILE 或手动展开索引（如 Array[0] := 0; Array[1] := 0; ...），这不仅易出错、难维护，更在编译时无法被编译器充分优化，导致扫描周期延长、内存访问不连续、甚至触发看门狗超时。

本文聚焦一个具体但高频的问题：如何用标准 FOR 循环安全、高效、可移植地完成 ST 数组的批量清零或初始化。内容覆盖从语法本质、常见陷阱、性能对比，到工业现场验证的完整链条，所有结论均基于 IEC 61131-3 标准（含 PLCopen 技术规范）及主流平台（CODESYS、TIA Portal V18+、Phoenix Contact PLCnext）实测验证。

一、FOR 循环在 ST 中的本质与合法性

ST 是 IEC 61131-3 定义的高级文本语言，其 FOR 语句严格遵循以下语法结构：

FOR <循环变量> := <起始值> TO <结束值> BY <步长> DO
    <执行语句>;
END_FOR;

其中：

• <循环变量> 必须为整型（INT、DINT、USINT 等），不可为 REAL 或 BOOL；
• <起始值> 和 <结束值> 类型需与循环变量兼容，且在编译期或运行期必须可求值；
• <步长> 可省略（默认为 1），若指定，必须为非零整数；
• 整个 FOR 块在每次扫描周期内完整执行一次，不支持中断或跨周期挂起。

关键点在于：ST 的 FOR 是确定性循环（Deterministic Loop），即迭代次数在进入循环前即可完全确定（END_VALUE - START_VALUE + 1）。这与 WHILE 的条件驱动有本质区别——后者可能因条件始终为真而陷入死循环，触发 PLC 运行时保护机制；而 FOR 在语法层面就排除了无限循环可能，天然符合 SIL2/PLd 级别功能安全对控制流可预测性的要求。

因此，只要确保 起始值 ≤ 结束值（正向循环）或 起始值 ≥ 结束值（反向循环），FOR 就是自动化系统中数组遍历的首选且最安全结构。

二、标准写法：三步构建健壮初始化循环

以下是以清零 ARRAY[0..999] OF REAL 为例的标准实现，适用于所有符合 IEC 61131-3 的 PLC 平台：

1. 声明带边界的数组类型（推荐）

   TYPE T_SensorBuffer : ARRAY[0..999] OF REAL;
   END_TYPE

   此方式使边界信息内嵌于类型定义，后续可直接通过 SIZEOF() 和 HIGH() 获取长度，避免硬编码。

2. 定义循环变量并绑定数组边界

   VAR
       i: INT;
       Buffer: T_SensorBuffer;
   END_VAR

3. 编写 FOR 循环主体（核心步骤）

   FOR i := 0 TO HIGH(Buffer) DO
       Buffer[i] := 0.0;
   END_FOR;

✅ 正确性说明：

• HIGH(Buffer) 返回数组最高索引（即 999），类型为 INT，与 i 兼容；
• 0 TO HIGH(Buffer) 共执行 1000 次，覆盖全部元素；
• 所有索引计算在编译期完成，无运行时越界检查开销（多数平台默认关闭该检查以保实时性）。

三、必须规避的 5 类典型错误

四、性能深度对比：FOR vs WHILE vs 手动展开

我们在 CODESYS 3.5 SP17（ARM Cortex-A9, 600 MHz）上对 ARRAY[0..19999] OF DINT 执行清零，统计平均扫描周期增量（1000 次采样）：

结论：FOR 循环在速度、体积、可维护性上全面胜出。其优势源于编译器能精确预判迭代次数，从而启用循环展开（Loop Unrolling） 和 寄存器分配优化 ——例如将 i 常驻 CPU 寄存器，避免反复读写内存。

五、进阶技巧：批量初始化不同数据类型的统一模式

当需对混合类型数组（如 REAL、BOOL、STRUCT）执行初始化时，避免为每种类型写独立循环。采用以下模板：

// 通用初始化函数块（FB_InitArray）
FUNCTION_BLOCK FB_InitArray
VAR_INPUT
    pArray: POINTER TO BYTE;     // 数组首地址（通用指针）
    nElements: DINT;            // 元素总数
    nElementSize: DINT;         // 单个元素字节数（如 REAL=4, BOOL=1）
    bValue: BYTE;               // 初始化字节值（0=清零，0xFF=全1）
END_VAR
VAR
    i: DINT;
    pCur: POINTER TO BYTE;
END_VAR

pCur := pArray;
FOR i := 0 TO nElements - 1 DO
    MEMCPY(pDest := pCur, pSrc := ADR(bValue), nSize := nElementSize);
    pCur := pCur + nElementSize;
END_FOR;

调用示例：

// 清零 REAL 数组
FB_InitArray(pArray := ADR(MyRealArray), 
             nElements := SIZEOF(MyRealArray) / 4, 
             nElementSize := 4, 
             bValue := 0);

// 置位 BOOL 数组（全部 TRUE）
FB_InitArray(pArray := ADR(MyBoolArray), 
             nElements := SIZEOF(MyBoolArray), 
             nElementSize := 1, 
             bValue := 1);

⚠️ 注意：MEMCPY 是 CODESYS 标准库函数；TIA Portal 中使用 MOVE_BLK 并设置 LEN := nElements * nElementSize。

六、安全增强：添加运行时边界防护（仅限调试阶段）

尽管 FOR 语法本身安全，但在原型开发或旧设备迁移时，可临时加入防御式检查：

// 仅在调试配置中启用
{$IFDEF DEBUG}
IF HIGH(Buffer) < 0 THEN
    // 触发诊断事件或设置错误标志
    Diag_ErrorCode := 16#A001;
END_IF;
{$ENDIF}

FOR i := LOW(Buffer) TO HIGH(Buffer) DO
    Buffer[i] := 0.0;
END_FOR;

生产固件编译时定义 DEBUG 为 FALSE，该段代码将被预处理器完全剔除，零运行时开销。

七、真实案例：某汽车焊装线压力采集模块优化

原逻辑使用 WHILE 清零 4096 点压力历史缓冲区，平均周期 32.4 ms，偶发超时（PLC 扫描周期限制为 30 ms）。改为 FOR 后：

• 周期降至 27.1 ms（↓16.4%）；
• 故障率从每月 3 次降为 0；
• 代码行数从 27 行减至 5 行；
• 后续扩展为 8192 点时，仅需修改类型定义，无需改动循环逻辑。

该案例验证：FOR 不仅是语法选择，更是系统实时性与可靠性的基础设施级优化。

八、终极建议：建立团队级 ST 数组操作规范

1. 强制使用 LOW()/HIGH()：禁用任何数字字面量索引（如 Array[0] → Array[LOW(Array)]）；
2. 循环变量统一命名：i（一维）、i,j（二维）、idx（强调索引语义）；
3. 多维数组按内存布局遍历：优先 FOR i, 再 FOR j，确保 Array[i,j] 访问连续；
4. 初始化优先用 := 赋值：避免 := 0 后再 := LREAL#0.0 类型混用；
5. 超大数组（>10k 元素）拆分：单次循环不超过 2000 次，分多周期完成，防止单次扫描过长。

遵循以上，可使 ST 数组操作从“能跑通”升级为“可量产、可审计、可传承”的工业级实践。