0

我在 Scala 中有一个通用的 F 有界特征。让我编写返回相同底层实现类型的方法，超级！但是现在让我们说一个子特征也定义了需要 F-bounding 的方法。Scala 向我发送了没有意义的编译错误：

package sandbox

import sandbox.ComplexImpl.AnyComplexImpl

import scala.language.existentials

trait FBounded[IMPL <: FBounded[IMPL]] { self: IMPL =>
  def foo: IMPL
}

trait FBoundedUser[F <: FBounded[F]] {
  def bar(value: F): F = value.foo
}

trait SimpleImpl extends FBounded[SimpleImpl] {
  override def foo: SimpleImpl = this
}

object SimpleUser extends FBoundedUser[SimpleImpl]

// A-OK so far...

trait ComplexImpl[IMPL <: ComplexImpl[IMPL]] extends FBounded[IMPL] { self: IMPL =>
  def baz: IMPL
}

object ComplexImpl {
  type AnyComplexImpl = ComplexImpl[T] forSome { type T <: ComplexImpl[T] }
}

object ComplexUser1 extends FBoundedUser[ComplexImpl[_]]
object ComplexUser2 extends FBoundedUser[AnyComplexImpl]

尝试使用ComplexUser1or进行编译会ComplexUser2导致：

Error:(32, 29) type arguments [sandbox.ComplexImpl.AnyComplexImpl] do not conform to trait
               FBoundedUser's type parameter bounds [F <: sandbox.FBounded[F]]

这对我来说没有意义。AnyComplexImpl绝对实现FBounded。我错过了什么，还是类型检查器在这里让我失望了？

编辑：

class Concrete() extends ComplexImpl[Concrete] {
  override def baz: Concrete = this

  override def foo: Concrete = this
}
object ComplexUser3 extends FBoundedUser[Concrete]

编译就好了。那么为什么不通用版本呢？

4

1 回答 1

1

约束需要AnyComplexImpl实现FBounded[AnyComplexImpl]，它不需要实现，而不仅仅是FBounded[T] forSome { type T <: ComplexImpl[T] }.

如果你制作FBounded和ComplexImpl协变，它会起作用。编译器的原因是：

  1. AnyComplexImpl是 any 的超类型ComplexImpl[T]，其中T <: ComplexImpl[T];

  2. FBounded[T] forSome { type T <: ComplexImpl[T] };的子类型也是如此FBounded[AnyComplexImpl]。

  3. AnyComplexImpl的子类型也是如此FBounded[AnyComplexImpl]。

但我怀疑尝试混合 F 有界类型和存在主义可能会导致其他问题。不编译的原因恰恰是它们不是通用ComplexUser1的。ComplexUser2考虑使用实际的通用版本：

def complexUser4[T <: ComplexImpl[T]] = new FBoundedUser[T] {}
于 2016-10-01T23:04:40.127 回答