（在 Scala 中）有什么可以用类的泛型类型参数而不是抽象类型成员来完成的吗？

Question

很明显，不能对具有抽象类型成员的方法进行参数化。但是，除了类型和实例化可以写得更短的便利问题之外，是否存在任何理由类的泛型类型参数，例如在以下抽象的 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 = ext2.id(0)

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

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

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

Answer 1

Dean Wampler 和 Alex Payne 所著的Scala 编程一书很好地 overview 介绍了何时使用类型参数和抽象类型成员。

除了不能参数化方法（这可能是一个很大的限制）之外，还有两个抽象类型成员的限制：

1. 抽象类型不能进行方差注释（参见p. 269）这意味着没有与抽象类型成员等效的trait List[+T] 或trait Function[-T,+R]。

   李>

2. 抽象类型可能会导致与路径相关的类型出现不合理的类型错误。 p. 272 上有一个例子。