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，即使它是在 shapeless 中定义的

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

除了@mfirry's 之外的另一个选项是，我们使用类型成员（而不是类型参数）。

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

Answer 3

请记住，此时T 并不表示type 或class，而是用作占位符。所以可能有一个T in shapeless 但它与占位符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
}