0

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

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“不知道”基础类型参数。

4

1 回答 1

2

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

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

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

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

self.contentinSubstitution也是非法的，你应该：

1）self作为一个自我类型：

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

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

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

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
}
于 2013-10-19T12:27:33.990 回答