2.3.1 类型推断