Question

我使用Scala 2.9

我有课:

    class Queue[T] private( private val heading: List[T], private val trailing: List[T] ) {
        def this( a: T* ) = this( a.toList, Nil )

        private def mirror = {
            if ( heading.isEmpty ) {
                new Queue[T]( trailing.reverse, Nil )
            } else this
        }

        def head = {
            val q = mirror
            if ( q.heading.isEmpty ) None else new Some(q.heading.head)
        }

        def tail = {
            val q = mirror
            if ( q.heading.isEmpty ) q else new Queue[T]( q.heading.tail, trailing )
        }

        def enqueue( a: T ) = {
            new Queue[T]( heading, a::trailing )
        }
    }

在方法 queue 中,如果我写下 new Quue( 标题, a : trailing) (删除类型参数 [T]),该代码将无法汇编和表达关于“ 在类型类类类类类( a: T*) 中, 构建器 Quue [ T] 和构建器 Quue (类类类类) 中, 匹配参数类型( 标题: List[ T], 尾随: List[ T] 队列 [ T] 匹配参数类型( 列表 [ T] 、 List[ T] ) 的清晰引用。”

那么为什么有必要明确指定类型参数 < code> [T] , 否则 Scala 将把两个单独的列表作为一个整体处理为重复参数? 我认为它与类型推断有关, 请有人解释一下吗?

Answer 1

如果您不给出类型参数, 编译者可以将 < code> T (主建构者) 或 < code> List[ T] (辅助建构者) 推导出来。

Answer 2

Heiko s 回答是正确的, 但为了略为澄清这一点, 在 < code> enqueue 中的 < code> T 是一个不同的 < code> T , 与您即将创建的 < codeçue < /code > 背景下的 < code> 不同, 因此必须推断出导致模糊性的原因。为什么您有2个构建器呢? 我建议您在外部世界的构建器中使用一个伴侣 :

class Queue[T] private( private val heading: List[T], private val trailing: List[T]) { /* ... */}

object Queue {
  def apply[T](xs: T*) = new Queue(xs.toList, Nil)
}

友情链接