문제

두 개의 부분 기능 fg가 있습니다. 그들은 부작용이 없으며 신속하게 실행됩니다. 다른 부분 함수로 구성하는 가장 좋은 방법은 다음과 같은 다른 부분 함수로 구성됩니다. 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)) }
.

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 StackOverflow
scroll top