我有一个类似这样的类:
class MyClass[T <: HList] { val x: ??? }
我的问题是x val的类型.我想要的是让它成为一个HList,T HList的每个类型U都被Option [U]取代.即如果我指定:
new MyClass[Int :: String :: HNil]
我希望x有一个Option [Int] :: Option [String] :: HNil的类型
这甚至可能吗?怎么做?
解决方法
你需要一个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,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,OT] val x: OT } object MyClass { class PartiallyApplied[T <: HList] { def apply[OT0 <: HList](x0: OT0)(implicit mapped0: Mapped.Aux[T,OT0] ): MyClass[T] = new MyClass[T] { type OT = OT0 val mapped: Mapped.Aux[T,OT] = mapped0 val x: OT = x0 } } def apply[T <: HList]: PartiallyApplied[T] = new PartiallyApplied[T] }
然后:
MyClass[Int :: String :: HNil](Option(0) :: Option("") :: HNil)
哪种方法更合适取决于您如何使用该课程.
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。