Scala-使用泛型方法定义特征

Question

如何定义在其方法中具有通用参数的特征，然后使用特定的类型化参数覆盖？

一个例子：

import shapeless._

case class UserA(name:String)
case class UserB(name:String)

trait User {
  def save(item:Option[T]): Option[T]
}
class UserAdmin extends User {
  def save(item:Option[UserA]): Option[UserA]
}
class UserSomethingElse extends User {
  def save(item:Option[UserB]): Option[UserB]
}

这样，我得到的错误not found: type T即使not found: type T是在无形中定义的，也要not found: type T

Answer 1

如果您遵循以下原则，它将起作用：

trait User[T] {
  def save(item:Option[T]): Option[T]
}
class UserAdmin extends User[UserA] {
  def save(item: Option[UserA]): Option[UserA] = ???
}
...

Answer 2

必须记住，此时T并不表示type或class而是用作占位符。 因此，可能存在无定形的T ，但它与占位符T没有任何关系。

这是有关Type polymorphism的很好的介绍： https : //twitter.github.io/scala_school/type-basics.html 。

因此基本上就像@mfirry所建议的那样：

trait User[T] { // T is placeholder
  def save(item:Option[T]): Option[T]
}

new User[String] {
  // using override her is considered best practice
  override def save(item:Option[String]): Option[String] = item
}

Answer 3

除了@mfirry以外，另一个选择是，我们使用类型成员（而不是类型参数）。

trait User {
  type T
  def save(item:Option[T]): Option[T]
}
class UserAdmin extends User {
  type T = UserA
  def save(item:Option[UserA]): Option[T]
}
class UserSomethingElse extends User {
  type T = UserB
  def save(item:Option[UserB]): Option[T]
}

在我的真实情况下，这实际上更好，因为我有几种这样的类型，它们的具体实现在子类中会有所不同（参数和返回参数的不同类型）。 所以像这样：

trait User {
  type T
  type R
  def save(item:Option[T]): Option[R]
}
class UserAdmin extends User {
  type T = UserA
  type R = UserAA
  def save(item:Option[T]): Option[R]
}
class UserSomethingElse extends User {
  type T = UserB
  type R = UserBB
  def save(item:Option[T]): Option[R]
} 

本文很有帮助： http : //www.artima.com/weblogs/viewpost.jsp? thread= 270195