类型推断 Type inference

编译器根据初始化值、实参和周围的预期类型推导表达式或声明类型。