Scala泛型类型的空/Null值问题及自定义链表实现困惑

先理清null和Nothing的核心区别 #

• null：是所有AnyRef（引用类型）的实例，不能用于值类型（比如Int、Boolean），Scala中不推荐在泛型场景使用，因为会引发类型不兼容问题，比如你不能把null赋值给Int类型的变量。
• Nothing：Scala类型系统的底部类型，是所有类型的子类，没有实际实例。它的典型用途是标记“不会正常返回”的操作（比如抛出异常、无限循环），或者像空集合这种需要适配所有类型的通用空实例场景。

协变泛型链表的正确实现 #

你的问题核心是协变链表的空节点（Empty）类型不兼容，以及head方法的实现逻辑错误。以下是正确的代码实现：

1. 定义协变的抽象链表类 #

abstract class MyList[+T] {
  def head: T
  def tail: MyList[T]
  def isEmpty: Boolean
}

这里+T是协变标记，表示如果A是B的子类，那么MyList[A]也是MyList[B]的子类，符合链表的使用逻辑。

2. 实现Empty单例节点 #

object Empty extends MyList[Nothing] {
  // 空链表调用head属于非法操作，直接抛出异常，返回类型为Nothing
  override def head: Nothing = throw new NoSuchElementException("Empty list has no head")
  override def tail: MyList[Nothing] = throw new NoSuchElementException("Empty list has no tail")
  override def isEmpty: Boolean = true
}

• 让Empty继承MyList[Nothing]：由于Nothing是所有类型的子类，借助协变特性，MyList[Nothing]可以自动向上转型为任意MyList[T]，完美适配所有类型的链表尾节点。
• head方法返回Nothing：因为抛出异常的方法返回类型天然是Nothing，而Nothing是T的子类（协变下），所以类型系统完全兼容，不会出现初始化异常。

3. 实现非空节点Cons #

case class Cons[+T](override val head: T, override val tail: MyList[T]) extends MyList[T] {
  override def isEmpty: Boolean = false
}

这里用case class可以自动生成equals、hashCode等实用方法，简化链表的使用。

为什么之前的实现会出错？ #

如果之前你尝试让Empty返回null或者错误地指定了泛型类型，会出现以下问题：

• 返回null：如果链表的泛型参数是值类型（比如Int），null无法赋值给Int类型的head，直接触发类型错误。
• 错误指定泛型：比如让Empty继承MyList[T]，Scala无法确定T的具体类型，会引发初始化时的类型推导异常。

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