ST（结构化文本）中是否允许混合类型

【问题标题】：Is mixing types allowed in ST (Structured Text)ST（结构化文本）中是否允许混合类型
【发布时间】：2013-08-14 20:02:05
【问题描述】：

我想知道标准 (IEC 1131-3) 是否允许在表达式中混合不同的数据类型。

例子

VAR A : BOOL;
    B : INT;

(* ... *)

IF (B AND C) THEN
  ...
END_IF

【问题讨论】：

【解决方案1】：

在类型中“向下”转换时必须使用显式类型转换函数。 “向上”转换是隐式完成的。

VAR A : BOOL;
    B : INT;
(* ... *)
IF (INT_TO_BOOL(B) AND C) THEN
  ...
END_IF

这些类型转换的形式都有TYPEA_TO_TYPEB()的形式

【讨论】：

【解决方案2】：

它不会编译。需要进行类型转换，因为 ST 与 Pascal 一样是类型严格的。

【讨论】：