完善类型推导