Scala PartialFunctions от конкретных

Question

Есть ли какой-либо быстрый способ использования в качестве конкретной функции (типа, скажем, (A) => B) как PartialFunction[A, B]? Наиболее кратким синтаксис я знаю это:

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

Существует неявное преобразование в любом месте, что-то вроде:

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

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

} 

Я думаю, я просто написал то, что я искал, но это уже существует в библиотеки Scala?

Answer 1

Выполнение этого с неявным преобразованием опасно по той же причине, что (A) => B не должно наследовать от PartialFunction[A, B]. То есть, контракт PartialFunction гарантирует, что вы можете безопасно * позвонить apply где бы то ни было isDefinedAttrue. В контракте Function1 такой гарантии нет.

Ваше неявное преобразование приведет к PartialFunction, которая нарушает его контракт, если вы примените его к функции, которая не определена везде. Вместо этого используйте сутенера, чтобы сделать преобразование явно:

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 

* Как уже говорилось в комментариях, это может быть не совсем понятно, что «безопасность» означает здесь. То, как я думаю об этом, заключается в том, что PartialFunction явно объявляет свой домен в следующем точном смысле: если isDefinedAt возвращает true для значения x, то apply(x) может быть оценен таким образом, который согласуется с намерением автора функции. То, что не подразумевает, что apply(x) не будет генерировать исключение, а просто исключение было частью дизайна функции (и должно быть документировано).

Answer 2

Нет, я попытался найти его несколько месяцев назад и в итоге написал свой собственный, который по сути такой же, как и ваш.