ST怎么写时间差计算：Diff := Time_End - Time_Start; (需注意数据类型)

在结构化文本（ST）编程中，计算两个时间点之间的时间差是自动化控制系统中最基础也最易出错的操作之一。典型写法如 Diff := Time_End - Time_Start; 表面简洁，但若忽略数据类型匹配、时基单位、溢出边界与隐式转换规则，轻则结果偏差数秒，重则触发运行时错误或 PLC 停机。以下内容不讲理论，只列可立即验证、可逐行执行的实操步骤。

一、明确 ST 中时间数据类型的本质

PLC 的 ST 语言（IEC 61131-3 标准）中，时间值不是浮点数，也不是整数，而是带单位的结构化数据类型。常见时间类型有：

⚠️ 关键结论：

• 只有 TIME 和 TOD 类型支持直接相减，且结果仍为 TIME；
• DATE 相减得 INT（单位：天）；
• DT 相减得 TIME（单位：纳秒级，但实际精度取决于 PLC 硬件）；
• TIME 与 TOD 不可混用相减（编译报错）；
• 所有时间字面量（如 t#5s）必须带单位前缀 t#、d#、tod#、dt#。

二、正确写出时间差计算的 4 个必要步骤

1. 声明变量时显式指定类型，禁止依赖默认推导：

   VAR
       Time_Start : TIME;
       Time_End   : TIME;
       Diff       : TIME;  // 必须是 TIME，不是 INT 或 REAL
   END_VAR

2. 确保两个时间变量已赋有效值（未初始化的 TIME 默认为 t#0s，但逻辑上可能不满足业务起点）：
   触发采集动作（例如上升沿检测），执行 Time_Start := TON1.Q ? TON1.ET : Time_Start;；
   触发结束条件（例如传感器到位），执行 Time_End := TON2.Q ? TON2.ET : Time_End;；

   注：TON1.ET 是定时器经过时间，其类型恒为 TIME，可直接赋值。

3. 执行减法前确认顺序与符号安全性：
   判断 Time_End >= Time_Start 成立后，执行 Diff := Time_End - Time_Start;；
   若无法保证顺序（如手动输入、HMI 修改），必须加保护：

   IF Time_End >= Time_Start THEN
       Diff := Time_End - Time_Start;
   ELSE
       Diff := t#0s;  // 或触发报警：Alarm_TimeReverse := TRUE;
   END_IF

4. 验证结果是否在 TIME 有效范围内：
   TIME 类型最大值为 t#24d_20h_31m_23.647s（即 2^31−1 毫秒 ≈ 24.8 天）。若预期差值超此限：

   • 改用 DWORD 存储毫秒值：

     Time_Start_ms : DWORD := UINT_TO_DWORD(ULINT_TO_UINT(TIME_TO_DT(Time_Start))); // 不推荐，精度损失

   • 更优方案：用 LREAL 存毫秒浮点值：

     VAR
         Start_ms : LREAL;
         End_ms   : LREAL;
         Diff_ms  : LREAL;
     END_VAR
     Start_ms := TIME_TO_MS(Time_Start);  // IEC 61131-3 内置函数，返回毫秒数值
     End_ms   := TIME_TO_MS(Time_End);
     Diff_ms  := End_ms - Start_ms;

     ✅ TIME_TO_MS() 返回 LREAL，无溢出风险，支持高达 1e15 毫秒（约 31,688 年）。

三、避坑清单：9 个高频错误及修正方法

四、跨品牌实操对照表（主流 PLC）

不同厂商对时间函数的支持存在细微差异，以下为实测有效的写法（基于最新固件）：

✅ 统一建议：所有新项目，一律使用 TIME_TO_MS() + LREAL 存储差值。它规避了 TIME 类型所有边界问题，且 LREAL 在 PLC 中普遍支持双精度（15 位有效数字），对毫秒级计时足够精确。

五、真实场景调试技巧（现场可用）

当 Diff := Time_End - Time_Start; 运行结果异常时，按以下顺序排查：

1. 用在线监控看原始值：

   • 在变量表中添加 Time_Start、Time_End、Diff，设置显示格式为 HH:MM:SS.mmm；
   • 触发一次流程，观察三者是否均为非零且符合逻辑顺序。

2. 检查定时器 ET 是否被复位：

   • 若 Time_Start 来自 TON 的 ET，确认 TON 的 IN 信号在采集后保持 TRUE 至少一个扫描周期，否则 ET 归零。

3. 验证时间字面量单位：

   • 写 t#1s 表示 1 秒，t#1000ms 等价，但 t#1000 默认单位是毫秒（某些品牌），务必统一用带单位写法。

4. 抓取中间变量做断点：

   Temp_Start := Time_Start;  // 在线监控此变量
   Temp_End   := Time_End;
   Diff := Temp_End - Temp_Start;

   避免编译器优化隐藏中间值。

5. 用 HMI 强制写入测试边界值：

   • 强制 Time_Start := t#24d_20h_31m_23s;，再设 Time_End := t#24d_20h_31m_24s;，观察 Diff 是否溢出（应为 t#1s，而非归零或负值）。

六、终极安全模板（可直接复制使用）

// ======== 声明区（全局或 FB 内）========
VAR
    Time_Start : TIME := t#0s;
    Time_End   : TIME := t#0s;
    Diff_ms    : LREAL := 0.0;  // 推荐：毫秒级浮点结果
    Is_Valid   : BOOL := FALSE;
END_VAR

// ======== 执行区（循环调用）========
// 假设 Start_Trigger 和 End_Trigger 为 BOOL 信号
IF Start_Trigger AND NOT Start_Trigger_LAST THEN
    Time_Start := TON_Start.ET;  // 或 GET_LOCALTIME()
END_IF;
Start_Trigger_LAST := Start_Trigger;

IF End_Trigger AND NOT End_Trigger_LAST THEN
    Time_End := TON_End.ET;
END_IF;
End_Trigger_LAST := End_Trigger;

// 安全计算（含顺序检查 + 溢出防护）
IF Time_End >= Time_Start THEN
    Diff_ms := TIME_TO_MS(Time_End) - TIME_TO_MS(Time_Start);
    Is_Valid := TRUE;
ELSE
    Diff_ms := 0.0;
    Is_Valid := FALSE;
END_IF;

此模板满足：类型明确、顺序防护、溢出免疫、结果可读、易于调试。