9.6 类型推断