如何使用接受特定特征的任何子类型的方法来定义特征

Question

我有两个特点

trait AppModel {}
trait ModelOperations {
  def get(model: AppModel): Option[AppModel]
  def create(model: AppModel): Boolean
}

并实现类

class User extends AppModel {
  val id = "xyz"
  val name = "abc"
}

class UserOperations extends ModelOperations {
   override def get(user: User) : Option[User] = {
    // get a new user object by filtering existing parameters
    return None
   }
   override def create(user: User): Boolean = { 
      // do something
      return false
   }
}

但是，当我尝试编译时，我收到 method get overrides nothing 和 method create overrides nothing 错误

我打算做的是：声明一个接口I，其方法将接受扩展AppModel的任何类T的参数并返回T 并且任何扩展I 的类都可以具有完全接受T 类作为参数的方法（而不是AppModel 的任何其他类R）

我该怎么办？

Answer 1

试试这个

trait AppModel {}
trait ModelOperations {
  def get[T<:AppModel](model: T): Option[T]
  def create[T<:AppModel](model: T): Boolean
}

class User extends AppModel {
  val id = "xyz"
  val name = "abc"
}

class UserOperations extends ModelOperations {
   override def get[User](user: User) : Option[User] = {
    // get a new user object by filtering existing parameters
    return None
   }
   override def create[User](user: User): Boolean = { 
      // do something
      return false
   }
}

Answer 2

您可以使用带有边界的type 字段，您可以在具体实现中对其进行细化。这是一个例子

trait AppModel
trait ModelOperations {
  type T <: AppModel
  def get(model: T): Option[T]
}

class User extends AppModel

class UserOperations extends ModelOperations {
  type T = User
  def get(user: User): Option[User] = None
}