TIA V13SP1 開始，S7-1200 V4.0開始，支持以下處理Variant類型的變量的指令，如圖1-2所示。

圖1 LAD中Variant類型的變量比較操作指令

圖2 SCL中Variant類型的變量比較操作指令

注：EQ_TypeOfDB、NE_TypeOfDB、TypeOfDB指令參見DB_ANY。

EQ_Type、NE_Type、TypeOf

表1 LAD指令詳情

SCL指令：TypeOf（操作數），操作數是FC/FB的Input/Output/InOut/Temp中定義為Variant類型的參數，該語句輸出是數據類型，在程序中只能用在IF與CASE進行比較。

用法1：IF指令，操作數對應的實參的類型與一個變量類型的比較，例如：

IF （TypeOf（操作數1） = 變量類型（例如Byte））

。..

END_IF;

用法2：IF指令，兩個操作數對應的實參的類型比較，例如：

IF （TypeOf（操作數1） = TypeOf（操作數2））

。..

END_IF;

用法3：CASE OF指令，操作數對應的實參的類型與多個變量類型的比較，例如：

CASE （TypeOf（操作數）） OF

Byte：

。..

Int：

。..

ELSE

。..

END_CASE;

使用舉例：

編寫FC，檢查輸入Variant變量類型，Byte則輸出True，其它則輸出False，如圖3-6所示。

圖3 FC6參數定義

圖4 程序詳情

SCL的版本程序，如圖5所示。

圖5 SCL版本的程序

OB1多次調用該FC6，可以看到結果，“DB16”.Static_1是Byte類型，“DB16”.Static_3不是Byte類型。

圖6 OB1多次調用FC6

EQ_ElemType、NE_ElemType、TypeOfElements

表2 LAD指令說明

SCL指令：TypeOfElements（操作數），操作數是FC/FB的Input/Output/InOut/Temp中定義為Variant類型的參數，該語句輸出是數據類型，在程序中只能用在IF與CASE進行比較。

比較之前，通常先使用IS_ARRAY檢查操作數對應的實參是否是數組類型。

用法1：IF指令，操作數對應的實參為數組類型，對該數組元素的類型與一個變量類型的比較，例如：

IF （TypeOfElements（操作數1） = 變量類型（例如Byte））

。..

END_IF;

用法2：IF指令，兩個操作數對應的實參均為數組類型的類型，比較它們數組元素的類型，例如：

IF （TypeOfElements（操作數1） = TypeOfElements（操作數2））

。..

END_IF;

用法3：CASE OF指令，操作數對應的實參為數組類型，對該數組元素的類型與多個變量類型的比較，例如：

CASE （TypeOfElements（操作數）） OF

Byte：

。..

Int：

。..

ELSE

。..

END_CASE;

注意

1.如果上述三種用法操作數不是數組類型，但是數據類型和比較對象的數據類型相同，也會當做該數據類型的數組進行處理，相當于執行的TypeOf指令。

2.用法2，也可以是這樣的：

IF （TypeOfElements（操作數1） = TypeOf（操作數2））

。..

END_IF;

或者

IF （TypeOf（操作數1） = TypeOfElements（操作數2））

。..

END_IF;

即一邊是數組，一邊不是數組的比較。

使用舉例：

編寫FC，檢查輸入Variant變量類型，數組元素如果是Byte則輸出1為True，輸出2為False，數組元素如果是Int則輸出1為False，輸出2為True，其余情況輸出1為False，輸出2為False，如圖7-10所示。

圖7 FC7參數定義

圖8 程序詳情

SCL的版本程序，如圖9所示。

圖9 SCL版本的程序

OB1多次調用該FC7，可以看到結果，“DB17”.Static_1是Byte數組，“DB17”.Static_4是Int數組，“DB17”.Static_7不是以上兩種類型。

圖10 OB1多次調用FC7

IS_NULL、NOT_NULL

表3 LAD指令說明

對于SCL，雖然沒有相對應指令，但是可以在IF指令中，將Variant變量與NULL比較

IF （操作數 = NULL）

。..

END_IF;

理論上來說，對于每個參數出現了Variant的FC/FB，都應該檢查該Variant變量是否指向了空指針，此處的空指針不一定是形參填寫NULL，也有可能填寫沒有初始化的Temp中的Variant。

對于最新的S7-1200 V4.2版本，只有一種情況可以初始化Temp中的Variant，就是指令DB_ANY_TO_VARIANT（參見DB_ANY），同時運行沒有錯誤，否則Temp中的Variant就相當于NULL。

使用舉例：

程序架構：OB1調用FC9，FC9調用FC8，FC8中檢查3個輸入是否是NULL，是則輸出True，不是則輸出False，FC9的3個Temp變量作為FC8的3個輸入，Temp_1是不賦值的Int變量，Temp_2和Temp_3是通過DB_ANY_TO_VARIANT初始化的Variant變量，其中為Temp_2初始化的DB1是不滿足DB_ANY_TO_VARIANT條件的DB塊，為Temp_3初始化的DB19是不滿足DB_ANY_TO_VARIANT條件的DB塊，最終將FC8的3個輸出關聯FC9的3個輸出至OB1中顯示，如圖11-13所示。

圖11 FC8程序詳情

圖12 FC9程序詳情

OB1調用FC9

圖13 OB1調用FC9

從圖13中可知，不滿足DB_ANY_TO_VARIANT條件的DB1初始化的Temp_2相當于NULL，其余兩個都可以視作有明確指向。

IS_ARRAY

表4 LAD指令說明

SCL指令：

IS_ARRAY（操作數），操作數是FC/FB的Input/Output/InOut/Temp中定義為Variant類型的參數，當操作數對應的實參為數組或者P#指針格式，IS_ARRAY（操作數） 為True，否則IS_ARRAY（操作數） 為False。

使用方法：

IF IS_ARRAY（操作數） THEN

。..

END_IF;

審核編輯：郭婷