1.4 类型推导