Scala元组列表模式守卫中类型错误的成因问询

这个错误看起来有点迷惑人，但根源其实是你在定义泛型方法时犯了一个容易忽略的命名错误：你把泛型参数的名字命名成了Int，这直接遮蔽了Scala标准库中的scala.Int类型。

错误原因详解 #

在你的方法定义里：

def splitSeq[Int](in: List[Int], out: List[(Int,Int)] = Nil): List[(Int,Int)] = ...

这里的[Int]并不是指定方法处理scala.Int类型，而是定义了一个名为Int的泛型类型参数——就像我们通常写[T]一样。这会导致方法内部所有的Int都指代这个无约束的泛型参数，而非实际的整数类型。

当编译器处理守卫条件end + 1 == next时，它不知道如何对泛型类型Int的实例end执行+操作。Scala会尝试寻找隐式转换来解决这个问题，而其中一个默认的隐式转换是把任意类型转为String。于是end + 1会被解析为end.toString() + "1"，结果是一个String类型。但next是泛型参数Int的实例，此时编译器尝试比较String和泛型Int，就抛出了那个看起来奇怪的类型不匹配错误：它期望得到String，但你提供的1是scala.Int类型。

修正方案 #

你有两种选择来修复这个问题：

1. 去掉泛型，专门处理整数列表

如果你的方法只需要处理List[Int]，完全不需要泛型，直接删除泛型参数即可：

object foo{
  def splitSeq(in: List[Int], out: List[(Int,Int)] = Nil): List[(Int,Int)] = (in,out) match {
    case (Nil,o) => o.reverse  // 注意：原代码会返回倒序结果，这里需要反转修正
    case (next :: rest, Nil) => splitSeq(rest, List((next,next)))
    case (next :: rest, (start, end) :: accRest) if (end + 1 == next) => splitSeq(rest, (start, next) :: accRest)
    case (next :: rest, acc) => splitSeq(rest, (next,next) :: acc)
  }
}

额外提示：原代码每次往列表头部添加元素，最终返回的结果是倒序的，所以需要在case (Nil,o)分支里加上reverse来得到正确的顺序。

2. 保留泛型，使用合法的类型参数名

如果你想让方法支持更多数值类型（比如Long、Double），可以把泛型参数改名为常规的名字（比如T），并添加数值类型的约束：

import scala.math.Numeric.Implicits._

object foo{
  def splitSeq[T](in: List[T], out: List[(T,T)] = Nil)(implicit num: Numeric[T]): List[(T,T)] = (in,out) match {
    case (Nil,o) => o.reverse
    case (next :: rest, Nil) => splitSeq(rest, List((next,next)))
    case (next :: rest, (start, end) :: accRest) if (end + num.one == next) => splitSeq(rest, (start, next) :: accRest)
    case (next :: rest, acc) => splitSeq(rest, (next,next) :: acc)
  }
}

这里通过Numeric[T]隐式参数来支持数值运算，用num.one代替硬编码的1，让方法可以兼容所有数值类型。

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