Scala derleyici önce farklı bağlamlarda farklı şekillerde gördüğüm şey çalışıyorum jenerik argümanlar

Question

için hiçbir şey infers: filterById(id: Id)

Bu Scala sorgusu uzantılarını uzanan denedim budur:

trait TableWithId { self: Profile => 

    import profile.simple._ 

    trait HasId[Id] { self: Table[_] => 
     def id: Column[Id] 
    } 

    implicit class HasIdQueryExt[Id: BaseColumnType, U] 
    (query: Query[Table[U] with HasId[Id], U]) { 
     def filterById(id: Id)(implicit s: Session) = query.filter(_.id === id) 
     def insertReturnId(m: U)(implicit s: Session): Id = query.returning(query.map(_.id)) += m 
    } 
} 

Bu iyi çalışıyor, orada gerçek bir sihir yok. Ancak Tablo türünde hiçbir kısıtlama olmadığından, filterById uyguladığım herhangi bir sorgu, özgünlüğünü kaybeder (şimdi bir jenerik Table with HasId[Id]) ve artık sütunlarına erişemiyorum (_.id ofcourse hariç).

Bu örtülü dönüştürme nasıl yazılacağını bilmiyorum, bu önlenir. Mümkün mü? Scala şimdi Kimliği türü için hiçbir şey infers çünkü şu "naieve" çözüm çalışmaz:

implicit class HasIdQueryExt[Id: BaseColumnType, U, T <: Table[U] with HasId[Id]] 
(query: Query[T, U]) { ... } 

aniden Kimliği tipi Hiçbir şey olarak anlaşılmaktadır ki bu tür garip buluyorum. Derleyici'yi bu Id türünü nerede arayacağımı nasıl anlarım?

Answer 1

Bu, benzer bir sorun için benim çözümümdür.

case class SomeObjectRecord(
    override val id:Option[UUID] = None, 
    name:String) extends ObjectWithId(id){ 
    // your function definitions there 
} 

trait SomeObjectComponent extends GenericComponent { this: Profile => 
    import profile.simple._ 

    class SomeObjects(tag: Tag) extends TableWithId[SomeObjectRecord](tag, "some_objects") { 
    def name = column[String]("name", O.NotNull) 

    def * = (id, name) <> (SomeObjectRecord.tupled, SomeObjectRecord.unapply) 
    def nameIdx = index("u_name", (name), unique = true) 
    } 

    object someobjects extends genericTableWithId[SomeObjects, SomeObjectRecord] { 
    val table = TableQuery[Units] 

    // your additional methods there; you get insert and insertAll from the parent  
    } 
}