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

标签 scala

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

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/

相关文章:

scala - 克隆 ListBuffer 不可变问题 Scala

scala - 有没有办法用sbt-onejar在同一个SBT项目中自动打包多个主类?

scala - 设置 SBT 的堆栈大小

json - 使用 lift-json 将 scala 对象序列化为 Json 字符串

scala - 使用Scala将Map映射到Spark appln中的可变列表

scala - Akka HTTP Websocket,如何识别actor内部的连接

scala - Akka Http - "Type mismatch"同时将 DateTime 解析为 json

scala - 如何在 Scala 中为元组中的整数赋值?

Scala 将可迭代的元组转换为仅元组的数组。_2

scala - 分析 sbt 构建