scala – 为伴随对象中的方法指定类型方差的正确方法是什么

我正在尝试创建一个通用的Repository特征,可以通过扩展Page特征的类的伴随对象对象进行扩展.我们的想法是,伴随对象将负责创建新实例等.如果在一段时间内未访问这些页面实例,则需要清理这些实例.因此,基本存储库特征会将它们注册到可以在后台actor线程中检查的存储库列表中.

下面是代码的精简版本.我在注册(页面)调用时遇到类型不匹配错误.编译器找到了HashMap [String,T]但是期待HashMap [String,Page].我无法弄清楚如何使编译器满意.我可以将寄存器方法定义为def寄存器[T<：Page](repo：HashMap [String,T] ...但是这只是将问题推迟到var repos的引用,我不能一般地限定它.如果有人能够证明指定类型的正确方法,我将不胜感激. 编辑如果我将hashmap声明为HashMap [String,Page]然后使用page.asInstanceOf [String,T]转换从hashmap检索的页面值,我可以使它工作.有没有办法避免演员？

trait Page {
  val id = Random.hex(8)
  private var lastAccessed = new Date
  ...
}

object Page {
  import scala.collection.mutable.HashMap

  trait Repository[T <: Page] {
    private val pages = new HashMap[String,T]
    register(pages)

    def newPage: T

    def apply(): T = {
      val page = newPage
      pages(page.id) = page
      page
    }

    def apply(id: String): T = {
      pages.get(id) match {
        case Some(page) =>
          page.lastAccessed = now
          page
        case None =>
          this()
      }
    }
    ...
  }

  private var repos: List[HashMap[String,Page]] = Nil

  private def register(repo: HashMap[String,Page]) {
    repos = repo :: repos
  }
  ...
}

class CoolPage extends Page

object CoolPage extends Page.Repository[CoolPage] {
  def newPage = new CoolPage
}

val p = CoolPage()