新特性:类型推断和泛型