Scala PartialFunctions z konkretnych

Question

Czy istnieje jakiś szybki sposób użycia jako konkretnej funkcji (typu, powiedzmy, (A) => B) jako PartialFunction[A, B]? Najbardziej zwięzły składnia znam to:

(a: A) => a match { case obj => func(obj) } 

Czy istnieje niejawna konwersja wszędzie, coś jak:

implicit def funcAsPartial[A, B](func: A => B) = new PartialFunction[A, B] { 

    def isDefinedAt(a: A) = true 
    def apply(a: A) = func(a) 

} 

Chyba po prostu napisał, co szukałem, ale czy to już istnieje w biblioteki Scala?

Answer 1

Wykonanie tego z niejawną konwersją jest niebezpieczne, z tego samego powodu, że (A) => B nie powinien dziedziczyć po PartialFunction[A, B]. Oznacza to, że umowa z PartialFunction gwarantuje, że możesz bezpiecznie * zadzwonić pod numer apply wszędzie tam, gdzie isDefinedAt zwraca true. Umowa Function1 nie przewiduje takiej gwarancji.

Twoja niejawna konwersja spowoduje operację częściową, która narusza jej umowę, jeśli zastosujesz ją do funkcji, która nie jest zdefiniowana wszędzie. Zamiast tego należy użyć alfonsa, aby konwersja wyraźne:

implicit def funcAsPartial[A, B](f: A => B) = new { 
    /** only use if `f` is defined everywhere */ 
    def asPartial(): PartialFunction[A, B] = { 
     case a => f(a) 
    } 

    def asPartial(isDefinedAt: A => Boolean): PartialFunction[A, B] = { 
     case a if isDefinedAt(a) => f(a) 
    } 
} 

// now you can write 
val f = (i: Int) => i * i 

val p = f.asPartial // defined on all integers 
val p2 = f.asPartial(_ > 0) // defined only on positive integers 

* Jak wspomniano w komentarzach, to może nie być do końca jasne, co „bezpieczeństwo” oznacza tutaj. Myślę, że funkcja PartialFunction jawnie deklaruje swoją domenę w następujący sposób: jeśli isDefinedAt zwraca true dla wartości x, wówczas można oszacować apply(x) w sposób zgodny z intencją autora tej funkcji. Ten nie oznacza, że ​​ oznacza, że ​​apply(x) nie wyrzuci wyjątku, a jedynie, że wyjątek był częścią projektu funkcji (i powinien być udokumentowany).

Answer 2

Nie, próbowałem go znaleźć kilka miesięcy temu i napisałem własną, która jest w zasadzie taka sama jak twoja.