如何使用特定元组限制类类型参数？ （斯卡拉 2.10.4）

Question

我想将类型 [R] 限制为仅在某处列出的特定元组。我的主要目标是：确保编译器在将任何其他元组而不是预期的元组传递给以下特征时引发错误。

trait QV_Storable[R <: QV_Cue] {
    val prefix: String
    val tableName = prefix.concat(Random.alphanumeric take 8 mkString)
    def Make(rows: Iterable[R.storageColumns]): String 
}

那么我确实希望QV_Storable 只接受SegmentCue 中列出的元组，因为它是QV_Cue 的子组。请注意我将R.storageColumns 传递给Make(rows: Iterable[R.storageColumns])。因此，我确实希望有一种访问类类型参数的方法。

trait QV_Cue{
    type storageColumns <: Product
    type metaColumns <: Product
}
object SegmentCue extends QV_Cue {
    type storageCols = (CoreDataID, String)
    type metaCols = (Int, String, Date, Int)
}

有没有办法限制它？ 从 Tuple1、Tuple3 等进行子类型化不是很好。

Answer 1

你可以提供一个类型类，它只有足够的元组实现：

trait Ok[T] {}

// (Int, Int) is Ok
implicit val tupleIntIntOk: Ok[(Int, Int)] = new Ok[(Int, Int)] {}

// (String, _) is Ok too
implicit def tupleStringAOk[A]: Ok[(String, A)] = new Ok[(String, A)] {}

trait QV_Storable[R] {
  def method(implicit rok: Ok[R]): Unit
  // ...
}

在这种情况下，如果范围内没有正确类型的 rok 值，则无法调用 QV_Storable.method。

这样您可以使用任何R 创建 QV_Storable，但实际上不能使用任何没有正确的Ok。

---

有点不同的方法是在类型级别上进行类似的技巧。然而没有隐含的解决方案：

sealed trait Ok[T] {}

case class TupleIntIntOk() extends Ok[(Int, Int)]
case class TupleStringAOk[A]() extends Ok[(String, A)]

trait QV_Storable[R, OkR <: Ok[R]] {
  val prefix: String
  // ...
}

// compiles
val foo = new QV_Storable[(Int, Int), TupleIntIntOk] { val prefix = "xy" }

// doesn't
val bar = new QV_Storable[(Int, String), /* nothing to put here */] { val prefix = "bar "}