scala - Scala多态回调类型不匹配
问题描述
很抱歉我找不到更好的标题。
我正在尝试实现以下目标
abstract class Person
case class User(uid: String, firstname: String, active: String) extends Person
case class Admin(id: String, pseudo: String, securityClearance: String) extends Person
def innerFunctionForUser(user: User): List[String] = {
List() :+ user.uid :+ user.firstname :+ user.active
}
def innerFunctionForAdmin(admin: Admin): List[String] = {
List() :+ admin.id :+ admin.psuedo :+ admin.securityClearance
}
def outerFunction(person: Person, innerFunction: (Person) => List[String]): List[String] = {
innerFunction(person)
}
所以我可以这样使用它
val myUser = User("0c60c5b4-306d-4372-b60d-fd699c80e408", "joe", "false")
val myAdmin = Admin("178789", "jack", "high")
outerFunction(myUser, innerFunctionForUser)
outerFunction(myAdmin, innerFunctionForAdmin)
不输入检查
type mismatch;
found : User => List[String]
required: Person => List[String]
而且我不能让 innerFunction 接受这样的类型的人
def innerFunctionForUser(user: Person): List[String] = {
List() :+ user.uid :+ user.firstname :+ user.active
}
我在这里保持简单,但我需要具有不同类型和不同数量参数的参数的案例类。所以我不能在抽象类 Person 中声明它们。哪个会给
value uid is not a member of Person
value firstname is not a member of Person
value active is not a member of Playground.Person
如何使具有不同类型和数字参数的不同案例类评估为相同类型?
和/或
如何使 aa 回调多态,像这样
def outerFunction(person: Person, innerFunction: (SomeCaseClass) => List[String]): List[String] = {
innerFunction(person)
}
希望这足够清楚。
感谢阅读,祝您生活愉快。
解决方案
User
和Admin
是 的子类型,但Person
不是的子类型。并且实际上是. _ 函数类型相对于是协变的,但相对于 是逆变的。User => List[String]
Admin => List[String]
Person => List[String]
User => List[String]
Admin => List[String]
Person => List[String]
A => B
B
A
尝试使outerFunction
通用
def outerFunction[P <: Person](person: P, innerFunction: P => List[String]): List[String] =
innerFunction(person)
outerFunction(myUser, innerFunctionForUser) //List(0c60c5b4-306d-4372-b60d-fd699c80e408, joe, false)
outerFunction(myAdmin, innerFunctionForAdmin) //List(178789, jack, high)
您也可以尝试使用类型类innerFunctionForUser
替换函数innerFunctionForAdmin
trait InnerFunction[P <: Person] {
def apply(person: P): List[String]
}
object InnerFunction {
implicit val forUser: InnerFunction[User] =
user => List(user.uid, user.firstname, user.active)
implicit val forAdmin: InnerFunction[Admin] =
admin => List(admin.id, admin.pseudo, admin.securityClearance)
}
def outerFunction[P <: Person](person: P)(implicit innerFunction: InnerFunction[P]): List[String] =
innerFunction(person)
outerFunction(myUser) //List(0c60c5b4-306d-4372-b60d-fd699c80e408, joe, false)
outerFunction(myAdmin) //List(178789, jack, high)
由于类型类InnerFunction
现在类似地作用于不同的数据类型(它为案例类的所有字段生成值列表),您甚至可以派生它:
trait InnerFunction[T] {
def apply(t: T): List[String]
}
object InnerFunction {
implicit def mkInnerFunction[T <: Product]: InnerFunction[T] =
_.productIterator.map(_.asInstanceOf[String]).toList
}
def outerFunction[T](t: T)(implicit innerFunction: InnerFunction[T]): List[String] =
innerFunction(t)
//or simply
// def outerFunction[T <: Product](t: T): List[String] =
// t.productIterator.map(_.asInstanceOf[String]).toList
//or
// def outerFunction(t: Product): List[String] =
// t.productIterator.map(_.asInstanceOf[String]).toList
outerFunction(myUser) //List(0c60c5b4-306d-4372-b60d-fd699c80e408, joe, false)
outerFunction(myAdmin) //List(178789, jack, high)
(如果不是所有字段T
都是String
s,这将在运行时失败)或
import shapeless.ops.hlist.ToList
import shapeless.{Generic, HList}
trait InnerFunction[T] {
def apply(t: T): List[String]
}
object InnerFunction {
implicit def mkInnerFunction[T <: Product, L <: HList](implicit
generic: Generic.Aux[T, L],
toList: ToList[L, String]
): InnerFunction[T] = generic.to(_).toList
}
def outerFunction[T](t: T)(implicit innerFunction: InnerFunction[T]): List[String] =
innerFunction(t)
//or simply
// def outerFunction[T, L <: HList](t: T)(implicit
// generic: Generic.Aux[T, L],
// toList: ToList[L, String]
// ): List[String] = generic.to(t).toList
outerFunction(myUser) //List(0c60c5b4-306d-4372-b60d-fd699c80e408, joe, false)
outerFunction(myAdmin) //List(178789, jack, high)
(这将保证在编译时所有字段T
都是String
s)。
推荐阅读
- html - 如何使用node js获取windows登录
- delphi - 设置 Active = false 时 TIdTCPServer 挂起
- android - 我可以从 Ionic WebView 调用原生 android 活动吗?
- bash - 如何将 $@ 参数传递给别名中的脚本
- quickfix - 更好地理解 ExecutionReport QuickFix
- dart - 调用 base64encode 时 Flutter UI 卡住
- android - 在移动设备上安装我的应用程序进行测试时出错
- java - 如何将 excel 集中在虚拟机上
- android - 约束布局中的背景
- python - boost-python 嵌套命名空间导出代码中的错误