24.5 再论类型推导