我的目标是创建一个案例类可以扩展的特征,它可以处理每个构造函数参数,然后将它们作为参数传递给案例类的方法。所有构造函数参数将是具有不同类型参数的相同类型,并且该方法将采用与每个构造函数参数的类型参数匹配的参数。您可以将其视为构造函数参数的预处理器。例如,
case class Foo(input1:Input[Int], input2:Input[String]) extends MagicTrait {
def run(input1:Int, input2:String) { ... }
}
这完全可行吗?以一种不是非常难看的方式(例如所有反射)是否可行?是否可以以跨案例类完全通用的方式引用案例类的伴随对象(例如,获取 Companion.unapply() 输出的函数)?
最佳答案
作为一种可接受的解决方案,可以将预处理功能从实例移到关联对象中,剩下的主要困难是您希望能够对案例类的数量和类型(即形状)进行抽象构造函数。这可以通过 HList
实现和 shapeless 中的多态函数值实现。 .
首先是一些准备工作,
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
}
我们现在可以定义一个预处理器基类,它提供一个应用方法,该方法采用 Input
类型的 HList
,映射 value
多态函数穿过它(即执行预处理),然后将非 Input
类型的结果 HList
传递给提供的案例类构造函数(以 hlisted 形式给出,见下文),
// 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 class Foo(input1 : Int, input2 : String)
并添加一行样板,
object FooBuilder extends Preprocessor((Foo.apply _).hlisted)
(此处 Foo 伴随对象工厂方法作为 Preprocessor
构造函数参数以 HListed 形式提供,如上所述。)
现在我们可以使用 FooBuilder
构造 Foo
实例。
val foo = FooBuilder(Input(23) :: Input("foo") :: HNil)
不幸的是,(目前)不可能将 FooBuilder
对象与 Foo
伴随对象组合:如果您尝试拥有 Foo
伴随扩展 Preprocessor
你会发现 Foo
工厂方法不能作为 Preprocessor
构造函数参数传递。
为了说明这个解决方案确实对类型和数量进行了抽象,下面是我们如何添加第二个不同形状的案例类,
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)
关于scala - 是否可以引用 Scala 案例类构造函数参数的类型?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8681491/