It should be possible to determine at run time whether the type of an object conforms to a statically given type.

• 应该可以决定在运行的时侯一个对象的类型是否符合一个静态的特定类型。