Implicitná otázka konverzie v Scale - scala, typ-inference, implicitne

Zlepšujem podporu programu Scala v službe Querydsl a vyskytol sa nasledujúci problém. Tu je fragment kódu, ktorý ilustruje problém:

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

Ako sa zhoduje s typom v implicitnej konverzii okrem toho, že je to typový argument.

odpovede:

V tomto konkrétnom prípade nasledujú zmeny:

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

Toto nie je v skutočnosti implicitná otázka konverzie, ale skôr otázka inferencie typu. Keď zavoláte toAdapter (cesta), nie je nič implicitné.

Ak odovzdáte parameter typu, funguje.

toAdapter[User, QUser](path).someMethod

Môže dokonca pracovať s implicitnou konverziou:

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

ale to je samozrejme zbytočné.

Správny spôsob zapísania implicitného je

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