scala - 在 Scala 中解包元组类型

Question

我只是想知道，我可以在 Scala 中将元组类型分解为其组件类型吗？

我的意思是，像这样

trait Container {
  type Element
}

trait AssociativeContainer extends Container {
  type Element <: (Unit, Unit)
  def get(x : Element#First) : Element#Second
}

Answer 1

您本身无法解压，但也许这可以实现您想要的:

  type First
  type Second
  type Element = (First, Second)
  def get(x: First): Second