콘크리트 스칼라 부분 함수들

Question

PartialFunction[A, B]과 같이 구체적인 함수 (예 : (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) 

} 

난 그냥 내가 찾던 쓴 생각하지만, 이것은 이미 존재 스칼라 라이브러리?

Answer 1

(A) => B이 PartialFunction[A, B]에서 상속되어서는 안되는 동일한 이유로 인해 암시 적 변환으로이 작업을 수행하는 것은 위험합니다. 즉, PartialFunction의 계약에 따라 isDefinedAt이 true을 반환 할 때 apply 번으로 안전하게 전화 할 수 있습니다. Function1의 계약은 그러한 보증을 제공하지 않습니다.

암시 적 변환으로 인해 부분적으로 정의되지 않은 함수에 적용하면 계약을 위반하는 부분 함수가 발생합니다. 대신, 변환이 명시 적으로 확인하기 위해 포주를 사용 주석에서 설명하고있는 바와 같이

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이 값 x에 대해 true를 반환하면 apply(x)을 함수 작성자의 의도와 일치하는 방식으로 평가할 수 있습니다. 그 은이 아니기 때문에 apply(x)은 예외를 던지지 않을 것이지만 단지 그 예외가 기능 설계의 일부분이었고 (문서화되어야 함).

Answer 2

아니요, 몇 달 전에 하나를 찾으려고했는데 결국 내 자신의 글을 쓰는 것이 본질적으로 당신 것과 같습니다.