Scala类参数化中附加冒号的含义

时间:2012-10-08 17:52:03

标签: scala generics types

以下代码中[A : Manifest : WireFormat]的含义是什么?它来自com.nicta.scoobi.TextInput(可在github上找到)。它似乎不是任何通常的类型边界。

  def fromDelimitedTextFile[A : Manifest : WireFormat]
      (path: String, sep: String = "\t")
      (extractFn: PartialFunction[List[String], A])
    : DList[A] = {

    val lines = fromTextFile(path)
    lines.flatMap { line =>
      val fields = line.split(sep).toList
      if (extractFn.isDefinedAt(fields)) List(extractFn(fields)) else Nil
    }
  }

我在哪里可以找到有关此主题的更多信息?

1 个答案:

答案 0 :(得分:41)

这称为上下文绑定。它们是隐式参数列表的语法糖:

def meth[A : ContextBound1 : ContextBoundN](a: A)

// ==>

def meth[A](a: A)(implicit evidence: ContextBound1[A], ContextBoundN[A])

如果从1到N有多个上下文边界,则它们都被转换为相同的参数列表。有关它们如何工作以及它们有用的更详细说明,请参阅this question

要查找此类符号,请务必阅读StackOverflow Scala Tutorial