类型:不变