小编Maj*_*kij的帖子

def multi_fun(i:Int, s:String)(d:Double) […]

如何将此函数现在作为参数传递给另一个函数,即需要指示哪个参数类型？

def fun_that_likes_multi_fun(mf:(Int, String)(Double) ? Unit) […]

这不起作用,甚至无法解析.

很明显,不能用抽象类型成员参数化方法.但是,是否有任何理由存在类的泛型类型参数,除了类型和实例化可以写得更短的便利问题,例如在以下抽象的List-ArrayList场景中:

这里,参数化由抽象类型成员实现:

trait base1 {
    type X
    def id(x: X): X
}
class extension1 extends base1 {
    override def id(x: X): X = x
}
val ext1: base1 { type X = Int } = new extension1 { type X = Int }
val y1 = ext1.id(0)

这里通过泛型类型参数实现:

trait base2[X] {
    def id(x: X): X
}
class extension2[X] extends base2[X] {
    override def id(x: X): X = x
}
val ext2: base2[Int] = new extension2[Int]
val y2 = …