使用来自不同范围的导入时的Scala类型不匹配问题

Question

在我的项目中（使用光滑的3.0播放2.4），我进行了设置：使用MySQL进行生产，使用H2进行单元测试（开始觉得这是一个可怕的想法）。 为此，我必须导入slick.driver.JdbcProfile而不是任何特定的驱动程序（例如slick.driver.MySQLDriver ），并将其api._导入我的DAO类中，如下所示：

class SomeDAO(val context: MyContext){
  import context.profile.api._
  import context.SOME_TYPE

  def invoke(para: SOME_TYPE) = { ... }

  // other DBIO...

}

到目前为止，一切都还可以，但是，我有一个需要此DAO的服务类，并在上下文中将一个类型作为参数：

class MyService(val context: MyContext){

   val someDAO = new SomeDAO(context)
   import someDAO.context.SOME_TYPE  // it works
   // import context.SOME_TYPE   // Type mismatch! But how to avoid it???

   def invokeDAOMethod(para: SOME_TYPE) = someDAO.invoke(para) // where mismatch occurred
   // expect: MyService.this.someDao.context.SOME_TYPE
   // actual: MyService.this.context.SOME_TYPE

}

当我尝试从完全相同的context实例中导入类型时，问题突然增多，直觉地说，我在这里使用“ Same ”类型，对吗？

有人可以解释这种行为，并给我一些模式提示，以减少我写的这种“废话”吗？

Answer 1

您正在使用路径相关类型。 它们实际上取决于路径，而不取决于路径的内容。

考虑以下示例：

class Store {
  case class Box[T](box : T)
  def box[T](b : T) = Box[T](b)
  def unbox[T](b : Box[T]) : T = b.box
}

object Assign {
  val x = new Store()
  val y = x
  val box = x.box[Int](2)
  val ub = y.unbox[Int](box)
}

您可能天真地假设x和y实际上是相同的，它们共享相同的内容和相同的类型。 内容正确。 类型错误。 编译器很好地为您提供了类型错误：

错误：类型不匹配；

找到：dependent.Assign.x.Box [Int]

必需：dependent.Assign.y.Box [Int]

但是您可以告诉编译器，尽管x和y是不同的文字路径，但它们应该共享相同的路径相关类型。

object Assign {
  val x = new Store()
  val y : x.type = x
  val box = x.box[Int](2)
  val ub = y.unbox[Int](box)
}

使用val y : x.type = x编译器将成功。

您的问题具有相似的性质，解决方案也相似：您应明确指定类型等效。 更改SameDAO定义以接受类型参数

class SomeDAO[MC <: MyContext](val context: MC){
  ...
}

并在创建时传递适当的类型：

class MyService(val context: MyContext){
  val someDAO = new SomeDAO[context.type](context)
  ...
}

Answer 2

通过将类型定义移动到object来减轻痛苦，因此类型是静态导入的。

仍然不确定如何继承类型以及如何将一些动态组件引入此object

更新：在Scala中它实际上称为“路径相关类型”。