scala - 展开/剥离无形余积对象

Question

我有一个如下所示的域:

package object tryme {
  type ALL = AlarmMessage :+: PassMessage :+: HeyMessage :+: CNil
}
import com.tryme._

trait PayloadKind
trait Command extends PayloadKind
trait Event extends PayloadKind

trait Message[+T <: PayloadKind] {
  val id: String
  val payload: T
}

case class Alarm(severity: Int) extends Event
case class Pass(reason: String) extends Event
case class Hey(order: String) extends Command

case class AlarmMessage(id: String, payload: Alarm) extends Message[Event]
case class PassMessage(id: String, payload: Pass) extends Message[Event]
case class HeyMessage(id: String, payload: Hey) extends Message[Command]

case class AvroMessage(
    id:    String,
    cargo: ALL
)

如果我用 cargo = HeyMessage 创建一个 AvroMessage，我就能成功地序列化/反序列化它。

当我检查反序列化的 AvroMessage 对象的 cargo 字段时，它看起来像这样:

Inr(Inr(Inl(HeyMessage(art333,Hey(wow)))))

在 Shapeless 中，如何打开/剥离所有 Inr/Inls？理想情况下，如果我可以避免的话，我不想关心(反序列化后)有效负载是 HeyMessage(或任何其他类型)。我要将 cargo 转换到 Message[PayloadKind]，但首先我需要打开它。

(我看到了类似问题的答案 here ，但我承认我不明白它是如何工作的，也无法适应它。)

Answer 1

您可以使用shapeless.ops.coproduct.Selector

val coproduct = Inr(Inr(Inl(HeyMessage(art333, Hey(wow)))))
Selector[ALL, HeyMessage].apply(coproduct).get

结果是 HeyMessage(art333,Hey(wow))。

https://github.com/milessabin/shapeless/blob/master/core/src/main/scala/shapeless/ops/coproduct.scala#L41-L60