如何创建基于依赖类型的泛型约束？

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[_]]