我正在尝试以下课程
import shapeless._
import syntax.std.tuple._
class TestedClass[HL](nodes: HL) {
def addElement[T, OUT](clause: HL => T) = {
new TestedClass[OUT](nodes :+ clause(nodes))
}
}
显然，此片段无法编译。我不知道如何将新的元组nodes :+ clause(nodes)类型绑定到OUT。我想实现以下目标：
scala> val step1 = new TestedClass[(Int)](1)
res1: TestedClass[(Int)]
scala> val step2 = step1.addElement(nodes => 2.0)
res1: TestedClass[(Int, Double)]
Scala有可能吗？
是的，尽管Scala不提供的语法，但可能不是很好，这是可能的Tuple1。但是以下将起作用：
import shapeless._, ops.tuple.Prepend
class TestedClass[HL](nodes: HL) {
def addElement[T, OUT](clause: HL => T)
(implicit prepend: Prepend.Aux[HL, Tuple1[T], OUT]) = {
new TestedClass[OUT](prepend(nodes, Tuple1(clause(nodes))))
}
}
接着：
scala> val step1 = new TestedClass[Tuple1[Int]](Tuple1(1))
step1: TestedClass[(Int,)] = TestedClass@4fb78b02
scala> val step2 = step1.addElement(nodes => 2.0)
step2: TestedClass[(Int, Double)] = TestedClass@20406333
每当您想使用Shapeless的操作时，基本技巧就是找到所需的类型类，并要求适当的实例作为隐式参数。在这种情况下，Prependfor元组就是我们想要的。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句