6.10 新特性:局部变量类型推断