scala - 对于 "trait Queue[T]"， `Queue` 是一种类型吗？

Question

在 scala 中定义了一个特征:

trait Queue[T]

Queue 是一种类型吗？或其他东西，例如类型构造函数？

来自 http://artima.com/pins1ed/type-parameterization.html#19.3书“programming in scala”，它说:

Queue, as defined in Listing 19.4, is a trait, but not a type.

但是有人认为它是一个类型，所以我完全糊涂了。

是不是类型？如果不是，它到底是什么？

Answer 1

下面的句子回答了你的问题:

Queue, as defined in Listing 19.4, is a trait, but not a type. Queue is not a type because it takes a type parameter.

我们称Queue 为通用类型。不能单独使用，否则编译器会报错

trait Queue takes type parameters

试试这个:

type Q1 = Queue[Int]
//type Qwrong = Queue