寻求具备协变性与唯一性的不可变集合实现方案

嘿，这个问题提得很到位！咱们来拆解一下你的需求，然后给出合适的方案：

一、有没有现成的集合满足需求？ #

遗憾的是，在主流语言的标准集合库（从你提到的List和uniquePrepend来看，推测你用的是Scala）里，没有直接同时满足协变性、唯一性、不可变性的原生集合：

• 像不可变Set保证唯一性，但它是不变的（不支持协变）；
• List是协变且不可变的，但不保证元素唯一性；
• SortedSet这类变体同样是不变的，没法满足协变要求。

所以你需要的是自定义封装的解决方案，而非原生集合。

二、比扩展方法更优雅的解决方案 #

你的uniquePrepend扩展方法的最大问题是：它无法强制调用者使用，其他人仍然可以直接调用List.prepend添加重复元素，导致唯一性得不到保障。最优雅的方式是封装一个自定义的不可变协变集合类，把唯一性检查内置到集合的修改逻辑里，从根本上避免重复元素的引入。

方案1：轻量自定义集合（小规模场景友好） #

因为你的集合规模始终不大，哪怕用List.contains做唯一性检查，性能也完全够用，所以可以写一个极简的封装类：

sealed trait UniqueCovariantList[+A] {
  // 协变的添加方法：自动去重，返回新集合
  def prepend[B >: A](elem: B): UniqueCovariantList[B]
  // 转换为标准List方便原有逻辑复用
  def toList: List[A]
}

// 空集合实现
private case class EmptyUniqueList[A]() extends UniqueCovariantList[A] {
  override def prepend[B >: A](elem: B): UniqueCovariantList[B] = 
    NonEmptyUniqueList(List(elem))
  override def toList: List[A] = List.empty
}

// 非空集合实现
private case class NonEmptyUniqueList[+A](private val elements: List[A]) extends UniqueCovariantList[A] {
  override def prepend[B >: A](elem: B): UniqueCovariantList[B] = 
    if (elements.contains(elem)) this // 元素已存在，返回原集合
    else NonEmptyUniqueList(elem :: elements) // 元素不存在，返回新集合
  override def toList: List[A] = elements
}

// 伴生对象，提供便捷创建入口
object UniqueCovariantList {
  def empty[A]: UniqueCovariantList[A] = EmptyUniqueList()
  def apply[A](elems: A*): UniqueCovariantList[A] = 
    elems.foldRight(empty[A])(_.prepend(_))
}

方案2：用Set辅助优化检查（可选） #

如果担心未来规模略大时List.contains的性能，可以在内部同时维护一个Set来快速判断元素是否存在，代价是一点点额外的内存开销：

private case class NonEmptyUniqueList[+A](
  private val elements: List[A],
  private val elementSet: Set[A]
) extends UniqueCovariantList[A] {
  override def prepend[B >: A](elem: B): UniqueCovariantList[B] = 
    if (elementSet.contains(elem)) this
    else NonEmptyUniqueList(elem :: elements, elementSet + elem)
  override def toList: List[A] = elements
}

// 对应的空集合实现和伴生对象需做相应调整

为什么这个方案更优？ #

• 强制唯一性：所有元素添加都必须通过prepend方法，内部自动去重，完全避免了手动调用扩展方法的不可靠性；
• 天然协变：通过泛型参数的+A声明，集合本身支持协变，符合你的需求；
• 不可变性：所有修改操作都返回新的集合实例，没有副作用；
• 易用性：提供toList方法可以轻松转换为标准List，兼容你原有的代码逻辑。

三、总结 #

标准库没有直接匹配你需求的集合，但通过封装一个自定义的协变不可变集合，可以完美解决问题——既保证了唯一性的强制约束，又满足协变和不可变的要求，比依赖扩展方法要可靠、优雅得多。

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