부분 함수를 작성하십시오
-
21-12-2019 - |
문제
두 개의 부분 기능 f
및 g
가 있습니다.
그들은 부작용이 없으며 신속하게 실행됩니다.
다른 부분 함수로 구성하는 가장 좋은 방법은 다음과 같은 다른 부분 함수로 구성됩니다.
h
iff h.isDefinedAt(x)
?
f.isDefinedAt(x) && g.isDefinedAt(f(x))
가 부분 함수가 아닌 h
를 반환하는 함수 인 경우 ok입니다.
Option
가 내가 원하는 것을하지 않는다는 것을 실망 시켰습니다.
scala> val f = Map("a"->1, "b"->2)
f: scala.collection.immutable.Map[String,Int] = Map(a -> 1, b -> 2)
scala> val g = Map(1->'c', 3->'d')
g: scala.collection.immutable.Map[Int,Char] = Map(1 -> c, 3 -> d)
scala> (f andThen g).isDefinedAt("b")
res3: Boolean = true
scala> (f andThen g).lift("b")
java.util.NoSuchElementException: key not found: 2
at scala.collection.MapLike$class.default(MapLike.scala:228)
. 해결책
이 스레드 :
val f = Map("a" -> 1, "b" -> 2)
val g = Map(1 -> 'c', 3 -> 'd')
def andThenPartial[A, B, C](pf1: PartialFunction[A, B], pf2: PartialFunction[B, C]): PartialFunction[A, C] = {
Function.unlift(pf1.lift(_) flatMap pf2.lift)
}
val h = andThenPartial(f, g) //> h : PartialFunction[String,Char]
h.isDefinedAt("a") //> res2: Boolean = true
h.isDefinedAt("b") //> res3: Boolean = false
h.lift("a") //> res4: Option[Char] = Some(c)
h.lift("b") //> res5: Option[Char] = None
.
이것은 물론 암시 적 클래스로 래핑 할 수도 있습니다. 물론 :
implicit class ComposePartial[A, B](pf: PartialFunction[A, B]) {
def andThenPartial[C](that: PartialFunction[B, C]): PartialFunction[A, C] =
Function.unlift(pf.lift(_) flatMap that.lift)
}
val h2 = f andThenPartial g //> h2 : PartialFunction[String,Char]
h2.isDefinedAt("a") //> res6: Boolean = true
h2.isDefinedAt("b") //> res7: Boolean = false
h2.lift("a") //> res8: Option[Char] = Some(c)
h2.lift("b") //> res9: Option[Char] = None
. 다른 팁
val h = f.mapValues(g)
.
그러나 맵에서만 작동합니다.어떤 종류의 부분 함수에 대해서는 짧은 방법이 있다고 생각하지 않으면 새 부분 기능 객체를 수동으로 만들어야합니다.
편집 : 위의 코드가 당신이 원하는 것이 아닌 것을 본다.그러나 어쩌면 이것이 더 좋습니다
입니다val h = f.collect { case (k, v) if(g.contains(v)) => (k, g(v)) }
. 제휴하지 않습니다 StackOverflow