字符串字面值未被解释为字符串类型

Question

我正在尝试实现 Iterable[String] 的一个简单子(monad)类，但我遇到了一些对我来说似乎有点奇怪的事情。我的代码如下:

class ItString[String] extends Iterable[String]{
    override def iterator: Iterator[String] = new Iterator[String] {
        def hasNext = true
        def next = "/"
    }
}

我的 IDE 提示它期待一个 String 但它实际上是 String 类型，并且在尝试编译时，它进一步揭示了问题是它需要 String 但文字实际上是 java.lang.String 类型。现在，我可以通过将其更改为 "/".asInstanceOf[String] 来解决此问题，但我想知道为什么 Scala 无法正确识别类型。

Answer 1

因为我可以编译以下内容:

class ItString extends Iterable[String] {
  override def iterator: Iterator[String] = new Iterator[String] {
    def hasNext = true
    def next = "/"
  }
}

我可以推断出您的问题在于写作:

class ItString[String] extends ...

发生的事情是 String 不是指类型 java.lang.String，而是一个未知的参数化类型(如 T 或 A)。因此，当您编写 [String] 时，这意味着将由实现类确定的一些未知类型 而不是 String键入您想要的。