这是楼梯书的示例：
object Example {
class Queue[+T] private (
private[this] var leading: List[T],
private [this] var trailing: List[T]
) {
private def mirror: Unit = {
if(leading.isEmpty) {
while(!trailing.isEmpty) {
leading = trailing.head :: leading
trailing = trailing.tail
}
}
}
// cannot resolve symbol U
def this[U >: T](xs: U*) = this(xs.toList, Nil)
// Covariant type T occurs in contra-variant position
def this(xs: T*) = this(xs.toList, Nil)
def head: T = {
mirror
leading.head
}
def tail: Queue[T] = {
mirror
new Queue(leading.tail, trailing)
}
def enqueue[U >: T](x: U) = new Queue[U](leading, x :: trailing)
def size = leading.size + trailing.size
}
}
我添加了以下几行：
// cannot resolve symbol U
def this[U >: T](xs: U*) = this(xs.toList, Nil)
// Covariant type T occurs in contra-variant position
def this(xs: T*) = this(xs.toList, Nil)
因为我需要一些公共构造函数来创建新的队列。但是这些构造函数中的每一个都有其问题（请参阅注释）。如何解决这些问题？
没有参数的构造函数似乎可以正常编译：
def this() = this(Nil, Nil)
在Scala中，多个构造函数的首选替代方法是将一个伴随对象与apply方法配合使用：
object Queue {
def apply[T, U <: T](xs: U*): Queue[T] = new Queue(xs.toList, Nil)
def apply[T](xs: T*): Queue[T] = new Queue(xs.toList, Nil)
}
这样，您可以像使用Scala标准集合中的大多数数据结构一样，使用val q = Queue(1, 2, 3)（实例化）来实例化队列new。
我上面编写的对象不会按原样编译，因为擦除后这两个apply方法的类型相同，解决此问题的方式也不同，但是在这个精确的示例中，我认为最好简单地使用第二个函数。
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句