Scala中返回任意类型Container遇编译错误，求解决方案

我希望让getInfos函数返回任意类型的Container，在调用端通过模式匹配进行处理，但出现无法返回Container[_]的编译错误。请问是否有办法返回任意类型的Container？若没有，最佳处理方案是什么？

原代码 #

trait Info[T] {
  def value: T
}

case class ContainerAInfo(value: Long) extends Info[Long]
case class ContainerBInfo(value: String, value2: String) extends Info[String]

trait Container[T] {
  def info: Info[T]
}

case class ContainerA[Long](projectionInfo: ContainerAInfo)
case class ContainerB[String](projectionInfo: ContainerBInfo)

def getInfos: Seq[Container[_]] = {
  Seq(
    ContainerA(
      projectionInfo = ContainerAInfo(1L)
    ),
    ContainerB(
      projectionInfo = ContainerBInfo("12", "12")
    )
  )
}

原代码存在两个核心问题导致编译错误：

• 泛型参数定义错误：ContainerA[Long]和ContainerB[String]中的Long、String是自定义类型参数名，而非Scala原生的scala.Long/scala.String，不仅遮蔽了原生类型，还完全偏离了业务需求。
• 未实现Container trait：ContainerA和ContainerB既没有继承Container[T]，也未实现trait要求的info方法，不属于Container类型体系，自然无法放入Seq[Container[_]]。

方案一：修正代码实现，返回任意类型的Container #

只要修正上述问题，就能正常返回Seq[Container[_]]，具体代码如下：

trait Info[T] {
  def value: T
}

case class ContainerAInfo(value: Long) extends Info[Long]
case class ContainerBInfo(value: String, value2: String) extends Info[String]

trait Container[T] {
  def info: Info[T]
}

// 正确实现Container trait，泛型参数对应info的类型
case class ContainerA(projectionInfo: ContainerAInfo) extends Container[Long] {
  override def info: Info[Long] = projectionInfo
}

case class ContainerB(projectionInfo: ContainerBInfo) extends Container[String] {
  override def info: Info[String] = projectionInfo
}

// 现在可正常返回任意Container类型的序列
def getInfos: Seq[Container[_]] = {
  Seq(
    ContainerA(ContainerAInfo(1L)),
    ContainerB(ContainerBInfo("12", "12"))
  )
}

调用端模式匹配示例 #

在调用端可以通过模式匹配区分不同Container子类，直接获取内部信息：

getInfos.foreach {
  case ContainerA(info) => println(s"ContainerA 数值: ${info.value}")
  case ContainerB(info) => println(s"ContainerB 字符串: ${info.value}, ${info.value2}")
  case _ => println("未知Container类型")
}

方案二：更灵活的泛型处理（可选） #

如果需要在运行时保留更详细的类型信息，可以结合ClassTag或TypeTag，但对于大多数模式匹配场景，方案一的实现已经足够简洁高效。

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