[英]Context bound for varargs
几天前,我开始学习Cats,并且想为Map[String, _: Show]
实现方法appendOptional
。
我从以下想法开始:
def appendOptional[T: Show](to: Map[String, String], values: (String, Option[T])*): Map[String, String] =
values.foldLeft(values) {
case (collector, (key, Some(value))) =>
collector + (key -> implicitly[Show[T]].show(value))
case (collector, _) => collector
}
并像这样使用它:
def createProps(initial: Map[String, String], name: Option[String], age: Option[Int])
val initial = Map("one" -> "one", "two" -> "two")
val props = appendOptional(initial, "name" -> name, "age" -> age)
我知道这种方法非常幼稚和直接,因为implicitly[Show[T]].show(value)
实际上会查找Show[Any]
。
另外,我有一个想法可以接受带有上下文绑定的HList
,但是我还没有找到任何这样的例子。
另一种变种是创建许多重载方法(就像在许多天秤中一样):
def appendOptional[T1: Show, T2: Show](to: Map[String, String], v1: (String, Option[T1], v2: (String, Option[T2])))
问题 :有没有一种方法可以为varargs函数定义上下文绑定?
严格来说,第一种是定义边界的正确方法;第二种是定义边界的正确方法。 varargs并不意味着参数的类型有所不同,只是它们的数量有所不同。
使用各种类型来实现所需功能的方法涉及更多,并且需要将Show
实例与值打包在一起。 例如
case class HasShow[A](x: A)(implicit val ev: Show[A])
def appendOptional(to: Map[String, String], values: (String, Option[HasShow[_]])*): Map[String, String] =
values.foldLeft(values) {
// value.ev.show(value.x)) can be extracted into a method on HasShow as well
case (collector, (key, Some(value: HasShow[a]))) =>
collector + (key -> value.ev.show(value.x))
case (collector, _) => collector
}
val props = appendOptional(initial, "name" -> name.map(HasShow(_)), "age" -> age.map(HasShow(_)))
您可以对HasShow
进行一些更多的隐式转换,以简化调用站点,但是通过这种方式,您可以看到发生了什么。
对于这种特定情况,我认为将有一个更好,更简单的解决方案
implicit class MapOp(self: Map[String, String]) extends AnyVal {
def appendOptional[A: Show](key: String, value: Option[A]) =
value.fold(self)(x => self + (key -> Show.show(x)))
}
val props = initial.appendOptional("name", name).appendOptional("age", age)
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.