如何在其方法中使用泛型參數定義特徵,然後使用特定類型參數進行重寫?Scala - 使用通用方法定義特徵
一個例子:
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
即使它在無形
我認爲你可能是混亂的「泛型編程」(這是無形約)與「參數多態性」,這似乎是什麼你在這個問題上很關心。我知道這是令人困惑的,因爲「泛型」是一個有時用於討論參數多態的術語。 –
是的,你肯定是正確的..感謝您指出 – Sofia