Проблема неявного преобразования в Scala

Question

Я улучшаю поддержку Scala в Querydsl и столкнулся со следующей проблемой. Вот фрагмент кода, который иллюстрирует проблему:

// 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

Как сопоставить тип в неявном преобразовании в дополнение к его аргументу типа. Я могу сопоставить либо по отдельности, но не оба.

Answer 1

В этом конкретном случае работает следующее изменение:

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

Answer 2

Это на самом деле не проблема неявного преобразования, а проблема вывода типа.Когда вы звоните в Adapter (путь), ничего неявного нет.

Если вы передаете параметр типа, он работает.

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)