可能重复：Scala：抽象类型与泛型
我理解它的方式，以下两个类定义是相同的 . 除了语法之外，有什么区别？
abstract class Container[T] {}
class IntContainer extends Container[Int] {}
abstract class Container2 { type T }
class IntContainer2 extends Container2 { type T = Int }
当我查看反编译的字节代码时，我注意到第一个集合仍然具有泛型（尽管IntContainer被定义为具有类型Object： public class IntContainer extends Container<Object> ） . 第二组没有这样的信息 . 我认为所有通用类型都被删除了......
PS使用Scala 2.10-M5
1 回答
抽象类型和泛型之间存在明显的差异，我们总是需要记住：
如果一个类作为泛型类型，则同一个类的多个实例可以具有不同的泛型类型
如果具体类作为抽象类型，对于给定的Scala类，该（实际上）该类的所有实例将具有相同的抽象类型 .
现在应该清楚，两者可以以不同的方式使用：
泛型主要是为必须充当容器的类或者应该对给定目标执行某些操作的业务类而设计的 . 从这个意义上讲，泛型参数允许您在编译时检查类型安全性
抽象类型主要用于定义更高级别的行为或属性，并在子类化时对其进行细化 . 泛型与继承无关
如果你看另一个角度，虽然将参数传递给GenericClass [T]和T的方法是一个常见的特性，但设计一个接收ClassWithAbstractTypeT和classWithAbstractType.T的方法却更为罕见 . 实际上，除非路径依赖的方法是活动的，否则禁止编写Scala 2.9中的方法编码（如果我没有错，则默认情况下在2.10中是活动的）