特征/类类型参数优先于方法类型参数的规则是什么

我已经使用 scala 一段时间了，我认为我真的开始理解一切（好吧，大多数事情......），但我发现自己对 Map 类中的许多方法定义感到困惑。我知道 FoldLeft 等如何工作，但我感到困惑的是 Map 函数中使用的类型参数。我们以 FoldLeft 为例：

foldLeft [B] (z: B)(op: (B, (A, B)) ⇒ B) : B

Map 特征本身的定义采用两个类型参数“A”和“B”（例如 Map[A,+B]）。据我所知，当您使用与类/特征的类型参数之一相同的名称为方法定义类型参数时，它会覆盖类/特征值。以 Foo 的定义为例：

class Foo[A : Manifest, B : Manifest] {
  def isAString() = manifest[A] == manifest[String]
  def isAInt() = manifest[A] == manifest[Int]
  def isBString() = manifest[B] == manifest[String]
  def isBInt() = manifest[B] == manifest[Int]
  def nowIsBString[B : Manifest] = manifest[B] == manifest[String]
}

scala> val f = new Foo[String,Int]
f: Foo[String,Int] = Foo@7bacb41

scala> f.isAString
res290: Boolean = true

scala> f.isAInt
res291: Boolean = false

scala> f.isBString
res292: Boolean = false

scala> f.isBInt
res293: Boolean = true

scala> f.nowIsBString[String]
res294: Boolean = true

scala> f.nowIsBString[Int]
res295: Boolean = false

因此，在 FoldLeft 定义中，“B”来自方法定义，“A”来自特征定义。例如：

val xm = Map("test" -> 1, "test2" -> 2)

scala> val foldFn = (z: Int, kv: (String, Int)) => z + kv._2 
foldFn: (Int, (String, Int)) => Int = <function2>

scala> m.foldLeft(0)(foldFn)
res298: Int = 3

这正如预期的那样，函数的“B”与特征的“B”匹配，但是如果我将函数的“B”类型更改为 String 而不是 Int 会怎么样：

scala> val foldFn = (z: String, kv: (String, String)) => z + kv._2 
foldFn: (String, (String, String)) => java.lang.String = <function2>

scala> m.foldLeft("")(foldFn)
<console>:19: error: type mismatch;
 found   : (String, (String, String)) => java.lang.String
 required: (java.lang.String, (java.lang.String, Int)) => java.lang.String
              m.foldLeft("")(foldFn)

因此，我们将 kv 参数更改为 (String, Int)：

scala> val foldFn = (z: String, kv: (String, Int)) => z + kv._2 
foldFn: (String, (String, Int)) => java.lang.String = <function2>

scala> m.foldLeft("")(foldFn)
res299: java.lang.String = 12

与我的 Foo 示例不同，在这种情况下，Map 的“B”值优先于函数定义，但仅限于 kv 参数。我期望看到的 FoldLeft 定义如下：

foldLeft[C] (z: C)(op: (C, (A, B)) => C): C

这对我来说会更清楚，但它不是这样定义的。那么有谁知道方法参数何时覆盖特征/类参数以及何时不会覆盖的规则？

Scala 在这方面与 Java 相同，以下内容来自《名称》的“名称”章节Java规范 http://docs.oracle.com/javase/specs/jls/se5.0/html/names.html适用：

一份声明d属于一个名为n隐藏任何声明 其他类型命名n在该点的范围内d发生 整个范围内d.

因此，方法的类型参数将始终隐藏具有相同名称的类或特征类型参数。你的Foo例子证明了这一事实。

您在以下情况中看到的明显反例Map's foldLeft只是令人不快的人工制品 https://issues.scala-lang.org/browse/SI-3834当前版本的 Scaladoc，原样指出 https://stackoverflow.com/a/8398311/334519在您链接的问题的答案中。foldLeft没有定义在Map特质，但在TraversableOnce http://www.scala-lang.org/api/current/scala/collection/TraversableOnce.html，其中没有名为的特征类型参数B at all.

一般来说，在方法中隐藏特征或类的类型参数当然是一个非常糟糕的主意。