在 Scala 中，定义一个具有可变长度和多种类型的泛型元组类型

Question

我如何定义一个通用的元组类型，它可以

• 长度可变
• 包含不同类型

?

在下面的示例中，我需要在trait A中定义foo的返回类型以匹配子对象的实现。

trait A {
  def foo: // how to define the return type here?
}

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

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

Answer 1

由于这是Scala 2 ，因此您有两个选择。

1.香草斯卡拉

仅使用香草Scala ，您可以这样做：

trait A {
  type O <: Product
  def foo: O
}

object O1 extends A {
  override final type O = (Int, String)

  override def foo: (Int, String) =
    (123, "a string")
}

如果您从不想抽象A ，这可能会起作用，但如果您这样做，那么使用Product是非常不愉快的。

2.无形

如果您使用Shapeless ，这意味着您可以使用HList而不是Product ，这将使具体实现的使用更加困难，但抽象的使用更加容易（但仍然很不愉快） 。

---

无论如何，我仍然建议您检查这是否真的是解决您的元问题的最佳解决方案。