Scala，通用元组

Question

我有一个可以接受任何大小的元组的通用方法，唯一的限制是这个元组的第一个元素应该是类型 MyClass .

像这样的东西:

trait MyTrait[T <: (MyClass, _*)] {
  getMyClass(x: T): MyClass = x._1
}

我试过这个

trait MyTrait[T <: (MyClass, _) with (MyClass, _, _) with (MyClass, _, _) with ...] {
  getMyClass(x: T): MyClass = x._1
}

但我收到错误 unboud wildcard type

Answer 1

这有点不安全，但在这种情况下您可以使用 Structural 类型:

trait MyTrait {
  def getMyClass(x: {def _1: MyClass}): MyClass = x._1
}