[英]Returning the same type from abstract trait method
让我们说我们有一个特征,它有一些价值观和一些操作。
trait Foo {
type Self <: Foo
val x: Int
def withX(x: Int): Self
}
这是使用抽象类型实现的。 我们在Self上有一个绑定类型,可以像这样实现它:
case class Foo1(x: Int) extends Foo {
type Self = Foo1
def withX(x: Int) = copy(x = x)
}
那样就好。 我们可以使用该方法,我们看到该类型是静态保留的。
scala> Foo1(10).withX(5)
res0: Foo1 = Foo1(5)
当我们想要具有特征类型的操作而不是具体类型时,问题开始:
object Foo {
//Error:(13, 43) type mismatch;
//found : f.Self
//required: A
// def setFive[A <: Foo](f: A): A = f.withX(5)
}
好吧,我们做不到,因为编译器不知道Foo#Self将被分配给什么类型。 但我们知道它是同一类型。
当然使用丑陋的方法工作正常:
object Foo {
// Ugly type signature
def setFiveValid[A <: Foo](f: A): A#Self = f.withX(5)
// Another ugly type signature
def setFiveValid2[A <: Foo](f: A): f.Self = f.withX(5)
}
他们都没有非常清楚地表达意图。
我们可以使用类型类来解决它。
case class Foo2(x: Int)
trait FooOps[A] extends Any {
def a: A
def withX(x: Int): A
}
object Foo2 {
implicit class Foo2Ops(val a: Foo2) extends AnyVal with FooOps[Foo2] {
def withX(x: Int) = a.copy(x = x)
}
}
object Foo {
// View bounds approach.
def setFiveValid3[A <% FooOps[A]](f: A): A = f.withX(5)
}
然而这仍然非常嘈杂。
有没有更好的方法来实现setFive
?
编辑1
自我类型的主要问题是这样的事情:
Error:(24, 11) type mismatch;
found : app.models.world.WObject.WorldObjUpdate[self.Self] => app.models.world.WObject.WorldObjUpdate[self.Self]
(which expands to) app.models.game.events.Evented[(app.models.world.World, self.Self)] => app.models.game.events.Evented[(app.models.world.World, self.Self)]
required: app.models.world.WObject.WorldObjUpdate[self.Self] => app.models.game.events.Evented[(app.models.world.World, Self)]
(which expands to) app.models.game.events.Evented[(app.models.world.World, self.Self)] => app.models.game.events.Evented[(app.models.world.World, Self)]
identity
^
然后再次采用奇怪的签名和样板:
def attackReachable(
data: WObject.WorldObjUpdate[Self]
): WObject.WorldObjUpdate[data.value._2.Self]
你可以走“F-bounded quantication”之路:
trait Foo[F <: Foo[F]] {
def withX(x: Int): F
}
object Foo {
def setFive[F <: Foo[F]](f: F): F = f.withX(5)
}
我成功地使用了这个,但它的代价是不得不写F <: Foo[F]]
。
最佳签名是您建议的路径依赖类型:
// Another ugly type signature
def setFiveValid2[A <: Foo](f: A): f.Self = f.withX(5)
你甚至不需要type参数。 输入f
作为Foo
会做(除非你在实际环境中需要A
代替其他东西):
def setFiveValid3(f: Foo): f.Self = f.withX(5)
这不难看。 相反,它是路径依赖类型的完美用途之一。 当你说它没有明确表达意图时,我也不同意:你明确表示结果将具有你所给予的论证的类型Self
。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.