3.3.1 关于类型推断