特征中的自动推断泛型类型

Question

我想要一个可以混合在某些特征中的通用基类。

是否可以让mixins自动采用基类的泛型？

abstract class Base[T] {
  def foo: T = ???
  def bar(value: T): Boolean
}

trait MixinA {
  self: Base[U] => // U should be automatically bound to T of Base[T]
  def bar(value: U): Boolean = false
}

Answer 1

您可以使用Base的抽象类型来实现一些目标：

abstract class Base[T] {
  type U <: T
  def foo: U = ???
  def bar(value: U): Boolean
}

trait MixinA {
  self: Base[_] =>
  final def bar(value: U): Boolean = false
}

REPL测试：

scala> class Impl extends Base[Int] with MixinA
defined class Impl

scala> val i = new Impl
i: Impl = Impl@7ca5cc9e

scala> val x: Int = i.foo
scala.NotImplementedError: an implementation is missing
  at scala.Predef$.$qmark$qmark$qmark(Predef.scala:225)
  at Base.foo(<console>:9)
  ... 33 elided

如您所见，编译器正确地确定i.foo是Int的子类型（ i.foo ，它是 Int ），因此可以分配给x （这里的例外是因为您没有执行它的主体）。

Answer 2

在这种情况下，您需要U作为MixinA的类型参数。

trait MixinA[U] { self: Base[U] => ...

类型参数在某种程度上类似于函数参数，如果声明了它们，则需要从某个地方传递它们（没有魔法）。