9.2 局部变量类型推断