类型相容及应用.