TypeOf 演算子は、objectexpression のランタイム型に typename との互換性があるかどうかを判断します。互換性があるかどうかは typename の型のカテゴリによって決まります。次の表に、互換性の条件を示します。
typename の型のカテゴリ | 互換性の条件 |
|---|
クラス | objectexpression の型が typename、または typename から継承した型 |
構造体 | objectexpression の型が typename |
インターフェイス | objectexpression が typename を実装しているか、typename を実装しているクラスから継承している |
objectexpression のランタイム型が互換性の条件を満たしていれば、result は True になります。それ以外の場合、result は False になります。
TypeOf には必ずキーワード Is を指定して、TypeOf...Is 式の形で使用します。