第一节 单定义判断