第四节 相关型定义判断