scala - 如何将元素附加到 HList

Question

我正在尝试以下类(class)

import shapeless._
import syntax.std.tuple._

class TestedClass[HL](nodes: HL) {

    def addElement[T, OUT](clause: HL => T) = {
        new TestedClass[OUT](nodes :+ clause(nodes))
    }
}

显然这个片段不能编译。不知道怎么绑定(bind)新元组 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有可能吗？

Answer 1

是的，这是可能的，虽然不是很好，因为 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 中的操作时，基本技巧是找到您需要的类型类并要求适当的实例作为隐式参数。在这种情况下， Prepend因为元组是我们想要的。