使用Scala获取列表首个非重复元素时遇前置引用编译错误

咱们先拆解你遇到的forward reference extends over definition of value lst编译错误，再一步步修复代码，最后给你更符合Scala风格的写法。

错误原因分析 #

你的代码里有几个关键问题：

1. 变量作用域混乱：你在外部定义了不可变的val lt，但在do块的if分支里又重新定义了val lt = lst——这不仅不会修改外部的列表，还会让编译器混淆变量引用：它误以为你在lst的定义中引用了还未定义的局部lt（虽然实际是外部的，但嵌套作用域导致识别出错），从而抛出forward reference错误。
2. 重复定义的cond变量：外部的var cond和do块内部重新定义的var cond是两个完全独立的变量，循环判断的是外部的cond，但你在内部修改的是局部cond，这会导致循环逻辑彻底失效。
3. 不符合Scala的惯用写法：你试图用命令式的变量重新定义来更新列表，但Scala更推荐使用不可变数据和函数式风格，这种写法容易引发作用域问题。

修复命令式代码（解决编译错误） #

如果想保留你原来的命令式思路，我们需要调整变量定义和作用域：

var lt = List(1,2,3,3,2,4,5,1,5,7,8,7)
var cond = false
do {
  // 直接更新外部的cond，不再重新定义
  cond = lt.tail.contains(lt.head)
  if (cond) {
    // 直接给var类型的lt重新赋值，不再定义新的val lt
    lt = lt.filter(_ != lt.head)
  } else {
    println(lt.head)
  }
} while (cond) // 当cond为true时继续循环（首元素重复，需要过滤）

这段代码可以正常编译运行，输出结果是4。

更优雅的Scala函数式写法 #

Scala不推荐过多使用var和do-while，这里给你两种更简洁安全的函数式实现：

方法1：递归模式匹配 #

利用模式匹配和递归处理列表，完全避免可变变量：

def findFirstNonDuplicate[T](list: List[T]): Option[T] = list match {
  // 如果首元素在剩余列表中存在，过滤掉所有该元素后递归
  case head :: tail if tail.contains(head) =>
    findFirstNonDuplicate(list.filter(_ != head))
  // 首元素不重复，返回它
  case head :: _ => Some(head)
  // 空列表返回None，避免空指针
  case Nil => None
}

val lt = List(1,2,3,3,2,4,5,1,5,7,8,7)
findFirstNonDuplicate(lt).foreach(println) // 输出4

方法2：频率统计（更高效） #

上面的递归方法每次过滤都会遍历列表，时间复杂度是O(n²)。如果列表较大，推荐先统计元素出现频率，再找到第一个频率为1的元素，时间复杂度O(n)：

val lt = List(1,2,3,3,2,4,5,1,5,7,8,7)
// 统计每个元素的出现次数
val elementFrequency = lt.groupBy(identity).mapValues(_.size)
// 找到第一个出现次数为1的元素
lt.find(elementFrequency(_) == 1).foreach(println) // 输出4

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