Scala中的隐式转换问题

时间:2011-11-19 18:31:40

标签: scala type-inference implicits

我正在改进Querydsl的Scala支持,我遇到了以下问题。以下是一个说明问题的代码段:

// framework types  
class RelationalPath[T]
class RelationalPathAdapter[T, R <: RelationalPath[T]](p: R) { def someMethod = {} }

// domain types
class User  
class QUser extends RelationalPath[User]

implicit def toAdapter[T, R <: RelationalPath[T]](p: R) = new RelationalPathAdapter[T,R](p)

val path = new QUser()

toAdapter(path).someMethod // DOESN'T COMPILE

path.someMethod // DOESN'T COMPILE

除了类型参数外,如何匹配隐式转换中的类型。我可以单独匹配,但不能同时匹配。

2 个答案:

答案 0 :(得分:4)

在这种特定情况下,以下更改有效:

implicit def toAdapter[T, R <: RelationalPath[T]](p: RelationalPath[T] with R) = 
  new RelationalPathAdapter[T,R](p)

答案 1 :(得分:3)

这实际上不是隐式转换问题,而是类型推断问题。当您调用Adapter(路径)时,没有任何隐含的内容。

如果你传递了type参数,它就可以了。

toAdapter[User, QUser](path).someMethod

它甚至可以使用隐式转换:

 (path: RelationalPathAdapter[User, QUser]).someMethod

但当然,这是无用的。

编写隐式的正确方法是

implicit def toAdapter[T, R[X] <: RelationalPath[X]](p: R[T]) 
  = new RelationalPathAdapter[T, R[T]](p)