Scala中的抽象类型与泛型