SCL 数组：定义、下标、ARRAY[*] 与数组 DB

数组是 SCL 里最容易“看起来会、实际越界”的部分。这页把定义、下标、边界、数组 DB 和常用指令串起来；具体指令页见 SCL 指令手册。

定义

一维数组：

1VAR
2   Values : Array[1..8] of Int;
3   Raw    : Array[0..15] of Byte;
4END_VAR

多维数组：

1VAR
2   Matrix : Array[0..3, 0..7] of Real;
3END_VAR

• 下标范围由声明决定：Array[1..8] 从 1 开始，Array[0..7] 从 0 开始。
• 元素类型可以是基本类型、Struct、UDT、甚至 FB 实例（数组实例）。
• 多维数组按行/列顺序访问，例如 Matrix[2, 5]；不要把它当一维数组拍平。

数组 DB

全局数组通常放在数据块里：

1DATA_BLOCK "DB_Data"
2{ S7_Optimized_Access := 'TRUE' }
3VERSION : 0.1
4   VAR
5      Values : Array[1..8] of Int;
6   END_VAR
7BEGIN
8END_DATA_BLOCK

访问：

1"DB_Data".Values[1] := 10;
2#Sum := #Sum + "DB_Data".Values[#i];

• 优化块按符号访问，不能依赖绝对地址。
• 需要绝对地址/指针或旧库兼容时，才考虑标准访问；见 SCL 优化块与标准块。
• 数组 DB 的写保护属性会影响某些指令（例如 CountOfElements），排查时先看 DB 属性。

边界：不要写死 0..N

通用库函数用 Array[*] + 边界指令：

1FUNCTION_BLOCK "FB_ArraySum"
2   VAR_IN_OUT
3      Data : Array[*] of Int;
4   END_VAR
5   VAR_OUTPUT
6      Sum : DInt;
7   END_VAR
8   VAR_TEMP
9      i : DInt;
10   END_VAR
11BEGIN
12   #Sum := 0;
13   FOR #i := LOWER_BOUND(ARR := #Data, DIM := 1)
14          TO UPPER_BOUND(ARR := #Data, DIM := 1) DO
15      #Sum := #Sum + #Data[#i];
16   END_FOR;
17END_FUNCTION_BLOCK

注意：TIA 的 LOWER_BOUND/UPPER_BOUND 只接受 ARRAY[*]；把固定 Array[1..8] 直接传进去会报 “Only ARRAYs with variable limits are permitted”。

批量操作

• 数组之间复制：MOVE_BLK / UMOVE_BLK，IN/OUT 用数组起始元素，COUNT 是元素个数。
• 批量填充：FILL_BLK / UFILL_BLK。
• 取长度：单维用 UPPER_BOUND - LOWER_BOUND + 1；VARIANT 指向的数组用 CountOfElements。
• 序列化：Serialize / Deserialize 把结构/数组转成字节流，跨通信/文件使用。

指令细节：

• MOVE_BLK
• FILL_BLK
• BLOCK_MOVE 家族
• LOWER_BOUND
• UPPER_BOUND
• CountOfElements

常见坑

• 假设下标从 0 开始：Array[1..8] 写 [0] 会越界或访问到别的数据。
• 循环边界写死：调用方换数组长度后越界；用 LOWER_BOUND/UPPER_BOUND 或 CountOfElements。
• 多维数组拍平：Matrix[i] 不是一行；要按声明维度访问。
• 数组越界：TIA 不保证运行时一定报错，可能读到错误值；先检查上下界。
• 优化块绝对地址：优化块里不要依赖 P#/绝对偏移；用符号访问。
• 结构体数组复制：MOVE_BLK 按元素类型复制；结构体布局/版本不一致时先确认。
• ARRAY[*] 未绑定：通用块必须有调用方传实际数组，否则边界指令结果无效。
• DB 写保护：某些读取/计数指令在写保护 DB 上会返回 0；检查 DB 属性。

下一步

• 把数组放进完整程序：缓冲站 FIFO、ID 校验
• 看批量指令：SCL 数组与 DB 指令
• 看优化/标准块差异：SCL 优化块与标准块