5.7 类型推断