Scala中的类型推断