scala中的b / w Method [Int]（）与Method（）的区别？

Question

在scala中看到map的方法签名后

def map[A, B](l: List[A])(f: A => B): List[B] = ???

我对上面 [A, B] 的外行理解是，它们表明我们将在定义的方法中专门使用泛型 A 和 B 类型。

现在我继续实现一种方法，使用类似的编码模式从两个列表中连续添加值（基本上是 zipWith）。

def addCorresponding[Int](l1: List[Int],
                        l2: List[Int]): List[Int] =
  (l1, l2) match {
      case (_, Nil) => Nil
      case (Nil, _) => Nil
      case (x::xs, y::ys) => {
          List((x + y)) ++ addCorresponding(xs, ys)
      }
}

但在最后一个匹配项中添加元素时出现此错误： type mismatch found: Int Required: String

从方法签名中删除 [Int] 可修复此错误。

我确信我对泛型类型以及何时将它们添加到方法签名中的理解存在漏洞。如果有人能指导我并解释为什么带有 [Int] 的 addCorresponding 方法会出错但没有它也能正常工作，我将不胜感激？

Answer 1

泛型方法（采用类型参数）将是

def addCorresponding[A](l1: List[A], l2: List[A]): List[A]

或者，如果列表可以包含不同类型的元素

def addCorresponding[A, B, C](l1: List[A], l2: List[B]): List[C]

如果你实现了一个适用于具体类型Int的方法，那么你的方法就不再是通用的了：

def addCorresponding(l1: List[Int], l2: List[Int]): List[Int]

换句话说，您在此处将具体类型Int 应用于List[_]，而不是抽象类型参数。如果你写

def addCorresponding[Int](l1: List[Int], l2: List[Int]): List[Int]

然后你“影子”具体类型Int 与抽象类型参数Int 恰好具有相同的名称；但从技术上讲，您正在编写通用方法

def addCorresponding[XXX](l1: List[XXX], l2: List[XXX]): List[XXX]

如果你想保持你的方法通用但对A类型的元素执行某些操作，你可能需要一个类型类，例如Numeric来算术添加元素

def addCorresponding[A](l1: List[A],
                        l2: List[A])(implicit num: Numeric[A]): List[A] =
  (l1, l2) match {
    case (_, Nil) => Nil
    case (Nil, _) => Nil
    case (x::xs, y::ys) =>
      List((num.plus(x, y))) ++ addCorresponding(xs, ys)
  }