类型稳定性