2.5 类型推断