Scala如何定义支持变长多类型的通用元组适配trait返回类型

要实现支持可变长度、可容纳多种不同类型元素的通用元组类型，首先需要注意：Scala 2.x 标准库自带的元组为固定元数（长度）设计，最多支持22个元素，无法直接满足需求。根据使用的Scala版本不同，可按以下方案实现：

Scala 3 原生实现 #

Scala 3 对标准库元组做了重构，内置的Tuple类型本身就是支持任意长度、容纳异质类型元素的通用父类型，所有具体元组（无论长度、元素类型组合）都是Tuple的子类型，直接用它作为返回类型即可匹配所有实现。

注：原示例中O2的返回类型声明存在笔误：声明类型为二元组((String, Boolean), Int)，但实际返回值是三元组，编译会报错，以下示例已修正该问题。

trait A {
  def foo: Tuple
}

object O1 extends A {
  override def foo: (Int, String) = (123, "a string")
}

object O2 extends A {
  override def foo: ((String, Boolean), Int, String) = (("string inside a sub-tuple", true), 0, "another string")
}

Scala 3 原生Tuple保留了完整的编译期类型信息，支持拼接、取指定位置元素、映射、折叠等类型安全的元组操作，无长度上限。

Scala 2 实现 #

Scala 2 标准库没有提供内置的异质可变元组实现，生产环境最成熟的方案是使用Shapeless库提供的HList（异质列表），它的能力和Scala 3原生Tuple一致，所有不同长度、不同元素组合的异质列表都继承自统一的HList父trait，可以作为通用返回类型：

// 引入Shapeless依赖后导入核心类型
import shapeless._

trait A {
  def foo: HList
}

object O1 extends A {
  override def foo: Int :: String :: HNil = 123 :: "a string" :: HNil
}

object O2 extends A {
  override def foo: (String, Boolean) :: Int :: String :: HNil = 
    (("string inside a sub-tuple", true) :: 0 :: "another string" :: HNil)
}

不推荐的兜底方案 #

如果不需要编译期类型安全保障，也不需要保留元素类型信息，可以用List[Any]作为返回类型，它支持任意长度、存放任意类型的值，但取用时必须手动强制类型转换，编译期无法校验类型正确性，很容易引发运行时异常，不建议在正式代码中使用。

内容的提问来源于stack exchange，提问作者pierre-vr