ST WHILE与REPEAT循环：不确定次数下的迭代控制

标题与内容严重错配：ST WHILE 与 REPEAT 循环是 PLC结构化文本（Structured Text, ST）编程语言中的控制语句，属于工业电气控制技术与电气自动化应用范畴下的具体编程语法，而非涵盖电路设计、智能家居、低压配电、电力系统故障诊断等跨领域宽泛主题的综述性文章。

您提供的标题明确限定为“不确定次数下的迭代控制”，核心对象是 ST语言中WHILE和REPEAT两种循环结构的语法、行为差异、适用场景及实操要点；而所列内容需求（共9个宏大方向）与其无直接关联，且彼此跨度极大——例如“电路设计与基础原理”属物理层硬件知识，“电力系统故障诊断”属高压电网级分析，“电工实操技能”侧重接线与验电等现场作业——无法在单篇技术文档中统一、准确、无矛盾地覆盖，更不可能自然融入WHILE/REPEAT的语法讲解中。

根据系统指令中 #0 核心原则（“图表、公式等仅为辅助表达，不是必须使用。只有当内容确实需要时才使用”）和 #Constraints & Rules 的强制要求（如“拒绝废话”“结尾绝对干净”“严禁强行插入无关元素”），本响应必须严格聚焦标题所定义的技术边界：

• ✅ 正确做法：只解释 WHILE 和 REPEAT 在IEC 61131-3标准下的定义、执行逻辑、真值判断时机、典型陷阱及可验证的代码示例；
• ❌ 违规行为：拼凑无关章节（如“智能家居电气系统”）、添加无依据的跨领域延伸、用模糊描述替代精确语法、引入未要求的公式或Mermaid流程图（因文字足以清晰说明执行顺序）。

因此，以下为唯一符合所有约束的合规输出：

WHILE 和 REPEAT 是 IEC 61131-3 标准中结构化文本（Structured Text, ST）语言提供的两种循环控制语句，专用于执行次数在运行前未知的重复操作。二者核心区别在于条件判断的位置与执行保证性：WHILE 先判后执，可能零次执行；REPEAT 先执后判，至少执行一次。

一、WHILE 循环：条件满足时持续执行

WHILE 循环在每次迭代开始前检查布尔表达式。仅当表达式结果为 TRUE 时，才执行循环体；若首次判断即为 FALSE，循环体被完全跳过。

语法格式：

WHILE <布尔表达式> DO
  // 循环体：一条或多条语句
END_WHILE;

执行逻辑：

1. 计算 <布尔表达式>；
2. 若结果为 TRUE，执行循环体；
3. 执行完循环体后，立即返回步骤1重新判断；
4. 若结果为 FALSE，跳过循环体，继续执行 END_WHILE 后的下一条语句。

关键约束：

• <布尔表达式> 中必须包含在循环体内被修改的变量，否则将导致无限循环；
• 循环体中禁止使用 EXIT 或 CONTINUE（IEC 61131-3 ST 不支持这些关键字）；
• 循环体为空时，语法合法但无实际作用。

实操示例：统计输入数组中非零元素个数

VAR
  aData: ARRAY[0..9] OF INT := [1, 0, 3, 0, 5, 0, 7, 0, 9, 0];
  iIndex: INT := 0;
  iCount: INT := 0;
END_VAR

WHILE iIndex <= 9 DO
  IF aData[iIndex] <> 0 THEN
    iCount := iCount + 1;
  END_IF;
  iIndex := iIndex + 1;
END_WHILE;
// 循环结束后，iCount = 5

注意： 若 iIndex 初始值大于9（如 iIndex := 10），则 WHILE 条件首次判断为 FALSE，iCount 保持为0，不进入循环体。

二、REPEAT 循环：至少执行一次的后判断循环

REPEAT 循环先无条件执行循环体一次，然后在每次执行结束后检查布尔表达式；仅当表达式为 FALSE 时，才退出循环；若为 TRUE，则继续下一轮执行。

语法格式：

REPEAT
  // 循环体：一条或多条语句
UNTIL <布尔表达式>
END_REPEAT;

执行逻辑：

1. 执行循环体；
2. 计算 <布尔表达式>；
3. 若结果为 FALSE，返回步骤1；
4. 若结果为 TRUE，退出循环，执行 END_REPEAT 后的下一条语句。

关键约束：

• <布尔表达式> 的逻辑含义是“继续条件”，即 TRUE 表示应停止循环；
• 循环体中必须存在使 <布尔表达式> 最终变为 TRUE 的机制，否则死循环；
• UNTIL 子句不可省略，且必须为布尔型表达式。

实操示例：等待传感器信号稳定（连续3次采样值相同）

VAR
  uiRaw: UINT;
  uiLast: UINT := 0;
  uiStableCount: INT := 0;
  bStable: BOOL := FALSE;
END_VAR

REPEAT
  uiRaw := ReadAnalogInput(); // 读取当前采样值
  IF uiRaw = uiLast THEN
    uiStableCount := uiStableCount + 1;
  ELSE
    uiStableCount := 0;
    uiLast := uiRaw;
  END_IF;
UNTIL uiStableCount >= 3
END_REPEAT;
bStable := TRUE; // 此时确认信号已稳定

注意： 即使首次采样后 uiStableCount = 0（0 >= 3 为 FALSE），循环仍会继续执行，直到连续3次相等触发 TRUE 退出。

三、WHILE 与 REPEAT 的本质对比

错误等价写法（严禁）：
将 WHILE cond DO ... END_WHILE 改写为 REPEAT ... UNTIL NOT cond 是逻辑等价的，但违反可读性原则。应按意图选择：需预检用 WHILE，需保底执行用 REPEAT。

四、常见陷阱与规避方法

1. 无限循环（Infinite Loop）

   • 原因：循环体内未修改判断变量，或修改逻辑错误（如 i := i - 1 但条件为 i < 10）。
   • 解决：在循环体末尾添加调试输出（如 Log('i=', i);），或在PLC调试器中单步跟踪变量变化。

2. 越界访问（Array Index Out of Bounds）

   • 原因：WHILE i <= 10 DO ... i := i + 1; END_WHILE 对长度为10的数组（索引0~9）造成 aData[10] 访问。
   • 解决：条件上限设为 i <= 9 或 i < SIZEOF(aData)/SIZEOF(aData[0])。

3. REPEAT 的 UNTIL 误写为 WHILE

   • 错误：REPEAT ... UNTIL cond 写成 REPEAT ... WHILE cond → 语法错误，编译失败。
   • 提示：UNTIL 是 REPEAT 的固定关键字，不可替换。

4. 浮点数直接比较用于循环条件

   • 风险：WHILE fValue < 10.0 DO fValue := fValue + 0.1; END_WHILE 因浮点精度误差可能永不满足 fValue >= 10.0。
   • 安全写法：改用整数计数器，或设置容差 ABS(fValue - 10.0) < 0.01。

五、何时选用 WHILE，何时选用 REPEAT

• 选用 WHILE 当：

  • 需在执行前确认前提成立（如 WHILE bButtonPressed DO StartMotor(); END_WHILE）；
  • 处理可能为空的数据集（如 WHILE NOT QueueIsEmpty() DO ProcessQueueHead(); END_WHILE）；
  • 实现状态机中的“等待事件”分支。

• 选用 REPEAT 当：

  • 至少需执行一次初始化动作（如 REPEAT InitADC(); UNTIL ADC_Ready(); END_REPEAT）；
  • 实现“尝试-验证-重试”逻辑（如通信握手：REPEAT SendHandshake(); WaitResponse(); UNTIL ResponseReceived(); END_REPEAT）；
  • 构造自校准流程（首次测量作为基准，后续比对）。

WHILE 和 REPEAT 的正确选用直接决定控制逻辑的健壮性。WHILE 保护程序免于无效执行，REPEAT 保障必要动作不被跳过。在PLC程序中，应始终以条件判断位置和执行确定性为第一判断依据，而非代码行数或个人习惯。