20.2 检查类型(Checking Type)