def fn[String] 似乎破坏了 Scala / java.lang.String 的兼容性

Question

你好，堆栈溢出，

我希望你能帮助我解决我的第一个问题:)

所以我遇到了 Scala 类型推断的问题。代码如下：

object Problem {

  def ok(fn: (String) => Unit) = fn("")

  // type mismatch; found: java.lang.String("") required: String
  def fail[String](fn: (String) => Unit) = fn("")

}

Scala 在这里期望什么样的字符串？

请注意，这是解释我的问题的最小示例。当我尝试实现更复杂的接口（确切地说是 Play 的 Iteratee）时，出现了最初的问题，所以，不，省略 [String] 不是一个选项。 （如果有人认为实际代码会有所帮助，我会提供。）

我试过def fail[java.lang.String] ...，但它显示expected ], found .。

我确实阅读了Scala String vs java.lang.String - type inference，它很好地解释了java.lang.String 与scala.Predef.String，但我仍然无法针对我的具体问题提出解决方案。

有什么想法吗？

编辑：所以这是我尝试实现http://www.playframework.org/documentation/api/2.0/scala/play/api/libs/iteratee/Iteratee.html的最初尝试，只是我写了String而不是T。 （使用T 可以编译，这很有意义！）我的失败；显然我对所有类型参数有点不知所措：

val stream = WS.url("url").get({ headers =>
  (new Iteratee[Array[Byte], String] {
    def fold[T](done: (String, Input[Array[Byte]]) => Promise[T],
                cont: (Input[Array[Byte]] => Iteratee[Array[Byte], String]) => Promise[T],
                error: (String, Input[Array[Byte]]) => Promise[T]): Promise[T] =
    {
      done("something", Input.Empty)
    }
  })
})

问候， 亨德里克

Answer 1

当你写作时：

def fail[String](fn: (String) => Unit) = fn("")

方括号String 之间的类型参数只是一个任意名称，在您的情况下，它将隐藏scala 或java 字符串。它完全等同于：

def fail[T](fn: (T) => Unit) = fn("")

如果你想将类型限制为字符串，你只需要写：

def fail(fn: (String) => Unit) = fn("")

它适用于 scala 和 java 字符串（因为它们是相同的）。

Answer 2

这个问题与 Java vs Scala 字符串无关。

在def fail[String](fn: (String) => Unit) = fn("") 行中，您定义了一个全新 类型参数并将其命名为String。这掩盖了一般定义。

如果您打算对类型进行抽象，则需要类型参数。您在 fail 示例中没有这样做，应该删除它。

如果您要覆盖使用类型参数的内容，则应在 class 级别指定：

class A extends B[String]

查看 Iteratee 的代码，我猜您正在尝试使用其各种 done、cont 和 error 函数来实现 fold。 Fold 只有一个类型参数，用于返回类型，所以我不确定它来自哪里。输入类型参数是在类中指定的，因此如果您扩展Iteratee[String, Unit]，则应提供这些参数。