Scala中向函数类型参数列表添加原生类型引发编译报错的原因探究

这个问题核心是对Scala泛型参数的命名规则理解出现了小偏差，咱们一步步理清楚：

• 带[Int]的函数为何报错？
  你写的def sum[Int](l: List[Int]): Int里，[Int]是泛型类型参数的名称，不是指定Scala内置的scala.Int类型！相当于你给一个类型变量起了个和内置整数类型完全一样的名字，直接把原生的Int给“遮蔽”（shadow）了。
  此时函数里所有出现的Int，都是这个自定义的泛型参数（一个未知的占位类型），而不是我们平时用的整数类型。比如List[Int]里的元素类型是这个未知泛型，返回值的Int也是它，甚至foldLeft里的b: Int都是这个不确定的类型。

  编译错误的根源就在这里：你调用foldLeft(0)时，0是原生scala.Int类型，但累加器a的类型是那个未知的泛型Int。当执行a + b时，编译器找不到这个未知类型的+方法——毕竟它不知道这个泛型参数到底是什么类型，自然无法匹配到Int类里的重载+方法，于是抛出了你看到的错误。

• 去掉[Int]为何正常编译？
  当你写成def sum(l: List[Int]): Int时，这里的Int就是Scala内置的scala.Int具体类型，没有泛型参数的干扰。foldLeft里的a和b都是明确的整数类型，scala.Int本身就定义了匹配的+方法（(x: Int): Int），编译器能准确识别并执行加法逻辑，所以编译完全没问题。

简单总结：泛型参数只是一个占位符名字，你可以叫它[A]、[T]随便什么，但千万别用Scala内置类型的名字（比如Int、String），否则会遮蔽原生类型，让编译器误解你的代码意图。

内容的提问来源于stack exchange，提问作者JOKKINATOR