(在Scala中)是否可以使用类的泛型类型参数而不是抽象类型成员来

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

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 = ext2.id(0)

后一种解决方案更方便,更易读.这本身很重要,但我对更一般的,即语义的观点感兴趣.

This对Martin Odersky的采访是一个很好的介绍,但它似乎没有回答这个问题.

非常感谢您的任何提示或解释！