缩小、增加类型。