Scala 2中如何声明特定类型样例类伴生对象的公共类型
Scala 实现继承特定类型的case类伴生对象公共类型方案
Scala中可以实现该需求,默认情况下编译器不会自动为继承特定特质的case类生成其伴生对象的专属公共类型,需要通过显式定义约束实现。
首先需要明确:你提到的Foo.type & Bar.type本身是没有实际使用价值的类型——单例类型Foo.type的唯一合法实例是Foo伴生对象,Bar.type的唯一合法实例是Bar伴生对象,不存在一个值同时是两个独立单例的实例,因此这个交叉类型没有可用的合法值。你实际需要的是所有继承了SomeTrait的case类对应的伴生对象的公共超类型,可以通过以下两种方案实现:
方案一:手动定义公共父特质(Scala 2/3 通用)
这是兼容性最好的方案,直接定义一个专属特质作为所有目标case类伴生对象的公共父类型,让对应伴生对象显式继承该特质即可:
trait SomeTrait // 定义所有目标伴生对象的公共父特质,可通过泛型绑定对应的case类类型 trait SomeTraitCompanion[T <: SomeTrait] case class Foo() extends SomeTrait // 让伴生对象显式继承公共特质 object Foo extends SomeTraitCompanion[Foo] case class Bar() extends SomeTrait object Bar extends SomeTraitCompanion[Bar]
此时SomeTraitCompanion[_ <: SomeTrait]就是你需要的公共类型,所有继承SomeTrait的case类伴生对象都符合该类型约束。
如果需要在公共类型中约束伴生对象必须包含的方法(比如apply、unapply),可以直接在父特质中定义抽象方法,case类自动生成的伴生对象天生就满足这些方法的实现:
trait SomeTraitCompanion[T <: SomeTrait] { // 对应无参case类的apply构造方法 def apply(): T // 可以提取公共逻辑作为默认方法 def newInstance: T = apply() }
方案二:Scala 3 利用内置Mirror自动约束(无需修改伴生代码)
如果你使用Scala 3,所有case类都会自动生成Mirror.ProductOf类型的类型类镜像,不需要手动修改伴生对象的继承关系,就可以直接定义对应的公共类型:
import scala.deriving.Mirror // 定义公共类型:所有继承SomeTrait的case类的伴生镜像类型 type SomeTraitCompanion[T <: SomeTrait] = Mirror.ProductOf[T] { type MirroredType = T }
所有符合要求的case类伴生对象会自动符合这个类型约束,可以直接作为参数传递,不需要额外改造:
// 示例方法:接收伴生对象,创建对应实例 def build[T <: SomeTrait](companion: SomeTraitCompanion[T]): T = companion.fromProduct(EmptyTuple) // 编译直接通过,不需要额外隐式参数或手动声明 val fooInstance: Foo = build(Foo) val barInstance: Bar = build(Bar)
内容的提问来源于stack exchange,提问作者Ostap Strashevskii
相关产品推荐
相关产品推荐

