Question

试图找到一种方法来“重塑”案例构造函数以填充一些默认值。以下是可能的吗？

def reshape[T, R1 <: HList, R2 <: HList](h: R1): R2 => T = ???

//example
case class MyClass(a: Double, b: String, c: Int)

val newConstructor = reshape[MyClass]('b ->> "bValue" :: HNil)

newConstructor('a ->> 3.1 :: 'c ->> 4 :: HNil)
res1: MyClass = MyClass(3.1, "bValue", 4)

是否有可能是无形的，还是我们必须走宏观路线？

Answer 1

可以构建这样的整形器，几乎不需要更改代码或自定义类型类。我们只会prepend参数列表，然后align会产生LabelledGeneric[MyClass]#Repr：

import shapeless._
import syntax.singleton._
import ops.hlist._

class PartialConstructor[C, Default <: HList, Repr <: HList]
(default: Default)
(implicit lgen: LabelledGeneric.Aux[C, Repr]) {
  def apply[Args <: HList, Full <: HList]
  (args: Args)
  (implicit prepend: Prepend.Aux[Default, Args, Full],
   align: Align[Full, Repr]): C =
    lgen.from(align(default ++ args))
}

class Reshaper[C]() {
  def apply[Default <: HList, Repr <: HList]
  (default: Default)
  (implicit lgen: LabelledGeneric.Aux[C, Repr]) =
    new PartialConstructor[C, Default, Repr](default)
}

def reshape[C] = new Reshaper[C]

重塑一个case类构造函数？

1 个答案: