IntelliJ IDEA 中的 Scala 字符串类型推断

Question

据我所知，在 Scala 中

String 是java.lang.String 的别名

正如here 解释的那样，可以在Predef.scala 中看到：

type String = java.lang.String

所以本质上，它们是相同的。

但是，在 IntelliJ IDEA 2017.2.5 中，以下代码会产生错误：

trait PerceptualHash {
  def calc[A](bi: BufferedImage): A
}

sealed trait BinaryStringPerceptualHash extends PerceptualHash {
  override def calc[String](bi: BufferedImage): String
}

private object GeneralBinaryStringPerceptualHash extends BinaryStringPerceptualHash {
  def calc[String](bi: BufferedImage): String = "0"
}

这里，"0" 带有下划线，并带有消息“java.lang.String 类型的表达式不符合预期的 String 类型”。

但如果我像这样更改"0"：

def calc[String](bi: BufferedImage): String = new String("0")

然后我没有收到这样的错误消息。

发生了什么事？是预期的行为（如果是，为什么），是我做错了什么，还是 Intellij IDEA 中的类型推断错误？

Answer 1

您对calc 的签名表明PerceptualHash 可以将BufferedImage 转换为调用者要求的任何类型。例如。这样做是合法的

GeneralBinaryStringPerceptualHash.calc[Int](image)

所以String 在

def calc[String](bi: BufferedImage): String = "0"

只是您给参数的名称，与标准String 类型无关。是一样的

def calc[A](bi: BufferedImage): A = "0"

但如果我像这样更改“0”：

def calc[String](bi: BufferedImage): String = new String("0")

然后我没有收到这样的错误消息。

您应该会收到一条不同的错误消息，但您仍然应该收到一条。

你可能想要

trait PerceptualHash[A] {
  def calc(bi: BufferedImage): A
}

// calc is already def calc(bi: BufferedImage): String here, no need to override
sealed trait BinaryStringPerceptualHash extends PerceptualHash[String]

改为。