如何基于依赖类型创建通用约束？

Question

我有以下类

trait Identifiable 


case class Address extends Identifiable 


abstract class AbstractTable[T] { 
    type TableElementType 
} 


class TableQuery[E <: AbstractTable[_]] 


class Addresses(tag: Tag) extends Table[Address](tag, "addresses") 

如何使

abstract class AbstractOptionBaseRepsitory[T <: AbstractTable[_]] 

只接受T其中T#TableElementType为Identifiable

Answer 1

一个子类如何

abstract class IdentifiableAbstractTable[T] extends AbstractTable[T] { 
    type TableElementType <: Identifiable 
} 

abstract class AbstractOptionBaseRepository[T <: IdentifiableAbstractTable[_]]