类型是排他性合