Scala为何无法推断列表头部元素的类型？附代码示例

问题背景 #

创建列表：

val l: List[Int] = List(1,2,3)

可通过以下方式将列表头部赋值给变量：

val t: Int = l.head

但执行以下代码时失败：

t = l.head
// 输出：Not found: t

提问者疑惑：为何Scala无法推断列表头部元素的类型为列表中单个元素的类型？

核心原因解析 #

首先明确：这个报错和类型推断毫无关系，问题出在Scala的变量声明与赋值规则上：

1. 变量未声明/作用域问题
   报错Not found: t的直接原因是，执行t = l.head时，当前作用域中不存在名为t的变量。第一次写val t: Int = l.head是声明并初始化了一个不可变变量t，但如果是在不同的代码上下文（比如新的REPL会话、独立代码块）中执行t = l.head，t并未被声明，自然找不到。

2. 不可变变量的赋值规则
   退一步说，就算t已经通过val声明并初始化，val是Scala的不可变变量，一旦完成初始化就无法重新赋值。此时强行写t = l.head会触发reassignment to val错误，而非找不到变量。

3. 关于类型推断
   Scala完全可以自动推断列表头部的类型。比如你可以省略类型声明，直接写：

   val t = l.head
   

   编译器会自动推断t的类型为Int——因为l的类型是List[Int]，其head方法的返回值类型就是列表元素的类型Int。

总结 #

你遇到的报错本质是变量未声明（或作用域不匹配），和类型推断没有任何关联。

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