Scala 泛型 - ADT 中的通用提取器方法

我有一个类似的 ADT；

sealed trait Dimension
case object Customer extends Dimension
case object Brand extends Dimension
case object Product extends Dimension

现在这个 ADT 代表数据类中的值

case class Record(custId: Long, prodId: Int, brand: String)

我怎么能写一个“维度提取器”，这样如果我传入任何 Dimension 类型和 Record 的实例，我就会得到它代表的值？

换句话说，我有一个 Seq[Dimension](Brand,Customer).foreach{d => println(d.extract(aRecord))}
第一个想法是做类似的事情；

trait DimExtractor[A,B] {
  val extract = A => B
}

然后更改 ADT:

case object Brand extends Dimension with DimExtractor[Record, String] {
  val extract = (r: Record) => r.brand
}

有没有办法根据 r.brand 的返回类型隐式获取 String 类型？也许让它成为一个定义？

但这不起作用，因为 Seq[Dimension with DimExtractor] 无法编译，因为它需要类型参数......

我可以把它变成一个 DimExtractor[Record, Any] ......但这似乎又不对。

有什么更好的方法来做到这一点？

最佳答案

您有 Dimension 特征的 3 个子类(对象)，提取器的返回值取决于参数类型(将 a 和 b 都视为 method 中 a.method(b) 的参数)。您可以使用依赖于路径的类型。

sealed trait Dimension {
}

trait DimExtractor[R] {
  type Ret
  def extract(r: R): Ret
}

case object Customer extends Dimension with DimExtractor[Record] {
  type Ret = Long
  def extract(r: Record): Ret = r.custId
}
case object Brand extends Dimension with DimExtractor[Record] {
  type Ret = String
  def extract(r: Record): Ret = r.brand
}
case object Product extends Dimension with DimExtractor[Record] {
  type Ret = Int
  def extract(r: Record): Ret = r.prodId
}

case class Record(custId: Long, prodId: Int, brand: String)

现在你可以把你的例子写成

val aRecord = Record(1, 1, "asd")
Seq[DimExtractor[Record]](Brand, Customer).foreach { d => println(d.extract(aRecord)) }

关于Scala 泛型 - ADT 中的通用提取器方法，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/28542929/