Определение определения scala trait, которое возвращает конкретный экземпляр подтипа

Question

Я пытаюсь определить базовый признак, используемый для простой системы CRUD. Тем не менее, мне нужна базовая черта для поддержки «copyWithId» def (поскольку маска класса case Scala для копирования недоступна). Лучший подход, который я нашел до сих пор:

trait Identifiable[ID, T] { 
    def id: Option[ID] 
    def copyWithId(id: Option[ID]): T 
} 

case class TestNamedIdentity(id: Option[Int], name: String) 
    extends Identifiable[Int, TestNamedIdentity] { 

    def copyWithId(id: Option[Int]): TestNamedIdentity = { 
    copy(id = id) 
    } 
} 

Это работает, но выглядит немного неуклюжим, потому что он требует, чтобы все конкретных случаев, чтобы продлить с ID и Самостью. Я хотел бы написать примерно следующее:

trait Identifiable[ID] { 
    this:X => 
    def copyWithId(id: Option[ID]): X 
    def id: Option[ID] 
} 

Использование некоторой формы самостоятельной ссылки на конкретный класс. Любой способ сделать эту работу?

Update: С использованием случае ниже

Идея заключается в том, чтобы использовать его в коде как

abstract class SomeClass[A <: IdentifiableEntity[ID], ID] { 
    def someFunc2: Option[ID] 
    def someFunc(item: A): A = { 
    item.copyWithId(someFunc2) 
    } 
} 

Использование раствора из @jwvh требует «asInstanceOf» отливку после вызова. Что для моего случая использования работает, но надеялся на более элегантное решение.

item.copyWithId(someFunc2).asInstanceOf[A] 

Answer 1

похоже, что сработало.

trait Identifiable[ID] { 
    def id: Option[ID] 
    def copyWithId(id: Option[ID]): Identifiable[ID] 
} 

Тогда класс корпуса упрощен.

case class TestNamedIdentity(id: Option[Int], name: String 
          ) extends Identifiable[Int] { 
    def copyWithId(id: Option[Int]): TestNamedIdentity = copy(id = id) 
}