4.4.3 类型推断的工作原理