plc - Is mixing types allowed in ST (Structured Text)

Question

I wonder if it is allowed by the standard (IEC 1131-3) to mix different data types in an expression.

Example

VAR A : BOOL;
    B : INT;

(* ... *)

IF (B AND C) THEN
  ...
END_IF

Answer 1

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

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

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

Answer 2

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