Scala泛型类型A下递归函数previous参数的默认值设置问题

• 你遇到的泛型类型不匹配报错，核心是两个设计漏洞叠加导致的：
  • 调用compressHelper时，第三个previous参数留空，本身就不符合语法要求；
  • 作为开放泛型的A没有合法的默认初始值——不管你传Int、String还是其他具体类型，编译器都无法确定这个值能匹配当前调用场景下的A类型，自然会抛出类型不匹配错误。
    本质上你需要一个“无初始值”的占位状态来处理第一次迭代的场景，而不是硬塞一个具体类型的默认值。

• 用Option[A]包装previous参数，从根源解决泛型初始值问题：
  • 初始递归调用时传入None，代表当前还没有遇到任何列表元素，不需要依赖具体的A类型实例；
  • 每一轮递归处理完当前元素后，把当前元素包装成Some(head)传递给下一轮的previous参数，全程不需要硬编码具体类型值，完全适配任意泛型A的场景。

• 你原来的实现逻辑有两个明显的遗漏点，调整后才能得到正确结果：
  • 原来的分支里，只有遇到不同元素的时候才会把上一组的计数结果存入acc，遍历到列表末尾（匹配Nil）时，最后一组连续元素的计数结果会被漏掉，必须在终止分支补加这部分内容；
  • 原来的相等分支里，没必要每一轮都把当前元素反复追加到acc里，只需要在遇到不同元素、或者遍历结束的时候，把累计好的组结果一次性存入acc，既减少无效操作，也不会出现重复计数的问题。
  • 原代码在元素不同的分支存在逻辑错位：遇到新元素时要存入acc的是上一个元素的累计计数结果，而不是把当前新元素带旧计数存入acc。

def compress[A](l: List[A]): List[(A, Int)] = {
  def compressHelper(
    remaining: List[A], 
    acc: List[(A, Int)], 
    previous: Option[A], 
    counter: Int
  ): List[(A, Int)] = remaining match {
    // 遍历到列表末尾，把最后一组元素追加到结果中
    case Nil => 
      previous.map(prev => acc :+ (prev, counter)).getOrElse(acc)
    case head :: tail => previous match {
      // 第一次处理列表元素，初始化当前组的计数
      case None => compressHelper(tail, acc, Some(head), 1)
      case Some(prev) =>
        if (head == prev) {
          // 当前元素和上一个相同，累加计数即可，不用更新结果
          compressHelper(tail, acc, Some(prev), counter + 1)
        } else {
          // 遇到不同元素，把上一组的统计结果存入acc，重置当前组计数
          compressHelper(tail, acc :+ (prev, counter), Some(head), 1)
        }
    }
  }
  // 初始调用：原列表、空acc、无历史元素、初始计数0
  compressHelper(l, List.empty[(A, Int)], None, 0)
}

• 测试效果：传入List('a','a','a','b','c','d','d','e','a','a')，返回结果为List((a,3), (b,1), (c,1), (d,2), (e,1), (a,2))，完全匹配题目要求的输出格式。
• 额外优化提示：基础框架跑通后，后续可以把acc :+ elem的末尾追加操作改成往列表头部压入元素，递归结束后做一次reverse，可以避免不可变List在末尾追加的O(n)性能开销，适配更长的输入列表。

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