6.16 类型推断