是否可以引用Scala案例类构造函数参数的类型？

Question

我的目标是创建一个case类可以扩展的特性,它可以处理每个构造函数参数,然后将它们作为参数传递给case类的方法.所有构造函数参数都是具有不同类型参数的相同类型,并且该方法将采用与每个构造函数参数的type参数匹配的参数.您可以将其视为构造函数参数的预处理器.例如,

case class Foo(input1:Input[Int], input2:Input[String]) extends MagicTrait {
  def run(input1:Int, input2:String) { ... }
}

这完全可行吗？它是否可行的方式不是非常丑陋(例如所有反射)？是否有可能以案例类中的所有通用方式引用案例类的伴随对象(例如,获取Companion.unapply()的输出的函数)？

Answer 1

看作是一个可接受的解决方案,允许将预处理功能从实例移到关联对象,主要的剩余难点是您希望能够抽象出案例类构造函数的arity和类型(即形状).这可以通过无形的HList实现和多态函数值来实现.

首先是一些预赛,

import shapeless.HList._
import shapeless.Functions._
import shapeless.Poly._
import shapeless.TypeOperators._

// Implementation of your Input wrapper
case class Input[T](value: T)

// Value extractor as a shapeless polymorphic function value
object value extends (Input ~> Id) {
  def default[T](i : Input[T]) = i.value
}

我们现在可以定义一个预处理器基类,它提供一个apply方法,它接受HList一些Input类型,value在它上面映射多态函数(即执行预处理),然后将HList非Input类型的结果传递给提供的case类构造函数(这是以列入形式给出,见下文),

// Pre-processer base class
abstract class Preprocessor[In <: HList, Out <: HList, R](ctor : Out => R)
  (implicit mapper : MapperAux[value.type, In, Out]) {
    def apply(in : In) = ctor(in map value)
  }

现在我们用后处理组件类型定义case类,

case class Foo(input1 : Int, input2 : String)

并添加一行样板,

object FooBuilder extends Preprocessor((Foo.apply _).hlisted)

(这里提供了Foo伴随对象工厂方法Preprocessor作为上面需要的HListed形式的构造函数参数.)

现在我们可以Foo使用FooBuilder.构造实例.

val foo = FooBuilder(Input(23) :: Input("foo") :: HNil)

遗憾的是,(目前)不能将FooBuilder对象与Foo伴随对象组合在一起:如果尝试使用Foo伴随扩展Preprocessor,则会发现Foo工厂方法无法作为Preprocessor构造函数参数传递.

为了说明这个解决方案真的是抽象的类型和arity,这里是我们如何添加第二个不同形状的案例类,

case class Bar(input1 : Int, input2 : String, input3 : Boolean)

object BarBuilder extends Preprocessor((Bar.apply _).hlisted)

val bar = BarBuilder(Input(23) :: Input("foo") :: Input(true) :: HNil)