汇川PLC ST语言中，如何正确声明并初始化数组变量？

Question

在汇川PLC（如H5U、H3U系列）的ST语言编程中，初学者常误用C语言风格初始化数组，导致编译报错或变量未按预期赋初值。典型问题：直接写 `ARRAY[0..2] OF INT := [1, 2, 3];`（缺少类型名）或 `MyArr : ARRAY[0..2] OF INT := (1, 2, 3);`（括号应为方括号）。正确语法要求**显式声明类型+方括号初始化**，且必须在变量声明区完成初始化（不可在程序体中赋值）。例如： `myData : ARRAY[0..4] OF DINT := [10, 20, 30, 40, 50];` 注意：索引范围需为常量表达式；初始化元素个数必须严格匹配数组长度；若省略初始化，则元素值为该数据类型的默认值（如INT为0，BOOL为FALSE）。此外，汇川不支持嵌套结构体数组的复合字面量初始化，需逐元素赋值。忽视这些规则将导致下载失败或运行时逻辑异常。

Answer 1

```html

一、认知层：ST语言数组初始化的本质差异

初学者常将C语言的int arr[] = {1, 2, 3};直接迁移至汇川ST环境，却忽略IEC 61131-3标准对声明与初始化的强约束性。汇川H5U/H3U系列PLC基于CoDeSys内核（V3.5+），其ST语法严格区分“类型定义”与“变量声明”，不允许匿名类型直接初始化。例如：ARRAY[0..2] OF INT := [1,2,3];因缺失变量标识符与显式类型名而非法；而MyArr : ARRAY[0..2] OF INT := (1,2,3);则因使用圆括号违反ST字面量语法规则被拒。

二、语法层：合法初始化的四大铁律

1. 显式变量名 + 类型声明 + 初始化子句：必须形如 varName : ARRAY[LB..UB] OF TYPE := [val1, val2, ..., valN];
2. 索引范围必须为编译期常量表达式：支持0..5、1..MAX_COUNT（若MAX_COUNT为VAR_GLOBAL CONSTANT），但禁止0..n-1（n为变量）
3. 元素个数严格等于数组长度：ARRAY[0..4] OF DINT := [10,20,30] → 编译报错“初始化元素不足”
4. 初始化仅允许在变量声明区（VAR/ VAR_INPUT/ VAR_OUTPUT等块内），程序体（如IF ... THEN中）不可出现:=赋初值操作

三、实践层：典型错误对照表与修正方案

错误写法	报错现象（汇川AutoShop V4.8.0）	合规修正
ARRAY[0..2] OF INT := [1,2,3];	“Syntax error: expected identifier”	myArr : ARRAY[0..2] OF INT := [1,2,3];
buf : ARRAY[1..3] OF REAL := (1.1, 2.2, 3.3);	“Expected '[' but found '('”	buf : ARRAY[1..3] OF REAL := [1.1, 2.2, 3.3];
flags : ARRAY[0..7] OF BOOL; → 后续在POU中写 flags := [TRUE, FALSE, ...];	“Assignment not allowed in body for array variable”	移入VAR声明区：flags : ARRAY[0..7] OF BOOL := [TRUE,FALSE,TRUE,FALSE,TRUE,FALSE,TRUE,FALSE];

四、进阶层：默认值机制与结构体数组的边界处理

当省略初始化子句时，汇川按数据类型赋予确定默认值：INT→0、REAL→0.0、BOOL→FALSE、STRING→''、TIME→T#0s。此行为保障了系统上电时状态可预测。但需警惕嵌套结构体数组——例如：TYPE MotorData : STRUCT speed: REAL; en: BOOL; END_STRUCT;，则motors : ARRAY[0..2] OF MotorData := [ (speed:=100.0, en:=TRUE), ... ];在汇川中不被支持，必须拆解为：

motors[0].speed := 100.0;
motors[0].en := TRUE;
motors[1].speed := 200.0;
motors[1].en := FALSE;
// ... 逐元素赋值

五、诊断层：编译失败根因分析流程图

graph TD
  A[编译报错] --> B{错误关键词}
  B -->|“expected identifier”| C[检查是否缺失变量名]
  B -->|“Expected '['”| D[检查括号类型：必须方括号]
  B -->|“Initialization length mismatch”| E[校验元素个数 vs 索引跨度 UB-LB+1]
  B -->|“Assignment not allowed”| F[确认初始化语句位于VAR区而非程序体]
  C --> G[添加变量标识符]
  D --> H[替换'()'为'[]']
  E --> I[补全或删减初始化值]
  F --> J[剪切初始化语句至最近VAR块]

六、工程层：高可靠性初始化模式推荐

• 常量数组复用：定义VAR_GLOBAL CONSTANT如CALIB_COEFS : ARRAY[0..9] OF REAL := [1.001, 0.998, ...];，多POU共享且不可篡改
• 分段初始化防错：对长数组采用分组命名+注释，如// Axis1 PID params: Kp,Ki,Kd,Tf
axis1_pid : ARRAY[0..3] OF REAL := [10.0, 0.5, 2.0, 0.1];
• 运行时校验兜底：在INITIAL步骤中用FOR循环检测关键数组是否为预期默认值，异常则触发报警标志位

```