F-bounded多态中子类型的Scala重写类型参数

trait EntityState
trait Transient extends EntityState
trait Persistent extends EntityState
trait Entity[State <: EntityState]

例如,一个子类,类Post [State&lt ;:EntityState]扩展Entity [State],可以实例化为新Post [Persistent]或新Post [Transient].

接下来,我将一些方法添加到特性实体,可以根据其状态调用它：

trait Entity[State <: EntityState] {
    def id(implicit ev: State <:< Persistent): Long
    def persist(implicit ev: State <:< Transient): Entity[Persistent]
}

为了解释,对于任何扩展Entity的类,只有当类具有Persistent状态时才能调用方法id(即它已保存到数据库并且已经分配了自动生成的id).

另一方面,只有当类是Transient(尚未保存到数据库)时,才能调用方法persist.方法持久化意味着将调用者类的实例保存到数据库并返回该类的持久版本.

现在,问题是我希望persist的返回类型是调用者类的返回类型.例如,如果我在类Post [Transient]的实例上调用persist,它应该返回Post [Persistent]而不是Entity [Persistent].

我四处搜索,发现了一个名为F-Bounded Polymorphism的东西.我正在尝试很多方法来调整它以解决我的问题,但仍然无效.这是我做的：

第一次尝试：

trait Entity[State <: EntityState,Self[_] <: Entity[State,Self]] {
    def id(implicit ev: State <:< Persistent): Long
    def persist(implicit ev: State <:< Transient): Self[Persistent]
}

和

class Post[State <: EntityState] extends Entity[State,({type λ[B] == Post[State]})#λ] {

    def persist(implicit ev: <:<[State,Transient]): Post[State] = {
        ???
    }
}

在上面的Post类中,我使用Eclipse的自动完成来生成方法persist的实现,并发现它的返回类型仍然不正确.

第二次尝试：

class Post[State <: EntityState] extends Entity[State,Post] {

   def persist(implicit ev: <:<[State,Transient]): Post[Persistent] = {
       ???
   }
}

有了它,它似乎是正确的,除了它有一个编译错误：

[error] D:playspacemyblogappmodelspostPost.scala:14: kinds of the type arguments (State,models.post.Post) do not conform to the expected kinds of the type parameters (type State,type Self) in trait Entity.
[error] models.post.Post's type parameters do not match type Self's expected parameters:
[error] type State's bounds <: common.models.EntityState are stricter than type _'s declared bounds >: Nothing <: Any
[error] trait Post[State <: EntityState] extends Entity[State,Post] {