我有一个类似的课程:
class MyClass[T <: HList] {
val x: ???
}
我的问题是x
val的类型。我想要的是让它成为一个HList,U
HList的每个T
替换为Option[U]
。即如果我指定:
new MyClass[Int :: String :: HNil]
我希望x
的{{1}}
这甚至可能吗?怎么做?
答案 0 :(得分:9)
您需要一个Mapped
个实例,证明T
和x
的类型有这种关系:
import shapeless._, ops.hlist.Mapped
abstract class MyClass[T <: HList, OT <: HList](implicit
mapped: Mapped.Aux[T, Option, OT]
) {
val x: OT
}
不幸的是,实例化这有点不方便:
new MyClass[Int :: String :: HNil, Option[Int] :: Option[String] :: HNil] {
val x = Some(0) :: Some("") :: HNil
}
有很多方法,但它们需要一些额外的更改。例如,您可以允许推断两个类型参数:
import shapeless._, ops.hlist.Comapped
class MyClass[T <: HList, OT <: HList](val x: OT)(implicit
mapped: Comapped.Aux[OT, Option, T]
)
然后:
new MyClass(Option(0) :: Option("") :: HNil)
或者您可以使用随播对象中的自定义构造函数使用更接近原始类的内容:
import shapeless._, ops.hlist.Mapped
abstract class MyClass[T <: HList] {
type OT <: HList
def mapped: Mapped.Aux[T, Option, OT]
val x: OT
}
object MyClass {
class PartiallyApplied[T <: HList] {
def apply[OT0 <: HList](x0: OT0)(implicit
mapped0: Mapped.Aux[T, Option, OT0]
): MyClass[T] =
new MyClass[T] {
type OT = OT0
val mapped: Mapped.Aux[T, Option, OT] = mapped0
val x: OT = x0
}
}
def apply[T <: HList]: PartiallyApplied[T] = new PartiallyApplied[T]
}
然后:
MyClass[Int :: String :: HNil](Option(0) :: Option("") :: HNil)
哪种方法更合适取决于您如何使用该课程。