mixin如何知道泛型超类的类型参数

Question

假设我有一个像这样的泛型类型：

class GenericEchoer[T <: Any] {
    var content: T = _
    def echo: String = "Echo: " + content.toString
}

然后可以创建一个 mixin，允许像这样扩展 GenericEchoer[T] 的功能：

trait Substitution[T <: AnyRef] extends GenericEchoer[T] {
    def substitute(newValue: T) = { content = newValue }
}

定义了这些，我可以用这种方式实例化类型：

val echoer = new GenericEchoer[Int] with Substitution[Int]

我的问题是：如何实现类似的功能，以便我可以在 mixin 中省略类型参数？换句话说，我希望能够使用以下行实例化相同的类型：

val echoer = new GenericEchoer[Int] with Substitution

但是，这不起作用，因为 Substitution“不知道”基础类型参数。

Answer 1

你的代码是错误的，它甚至不会编译。

您的GenericEchoer 不能是class，因为您的content 成员是抽象的，或者您应该使用默认值来初始化它：

class GenericEchoer[T <: AnyRef] {
    var content: T = _
    def echo: String = "Echo: " + T.toString
}

你不能写T.toString，我猜你想要content.toString。你不能将Int 传递给它，因为Int 有AnyVal 作为它的超类型，而你的T 的上限是AnyRef。

Substitution 中的self.content 也是非法的，你应该：

1) 将self 设为自我类型：

trait Substitution[T <: AnyRef] extends GenericEchoer[T] { self =>
    def substitute(newValue: T) = { self.content = newValue }
}

2) 将其替换为this 3) 离开{ content = newValue }

至于你的问题。不，这是不可能的。我可以建议您将 class 替换为 trait 并将类型构造函数替换为抽象类型成员：

trait GenericEchoer {
  type T <: AnyRef  
  var content: T = _
  def echo: String = "Echo: " + content.toString
}

trait Substitution extends GenericEchoer {
  def substitute(newValue: T) { content = newValue }
}

val enchoer = new GenericEchoer with Substitution { type T = String }

或更好

val enchoer = new GenericEchoer with Substitution { 
  type T = String 
  var content = "Hello" // either case it will be null
}