Scala PartialFunctions từ bê tông

Question

Có cách nào nhanh chóng để sử dụng làm chức năng cụ thể (loại, giả sử, (A) => B) làm PartialFunction[A, B]? Cú pháp ngắn gọn nhất mà tôi biết là:

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

Có một chuyển đổi ngầm bất cứ nơi nào, một cái gì đó như:

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

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

} 

Tôi đoán tôi chỉ viết những gì tôi đang tìm kiếm, nhưng điều này đã tồn tại trong thư viện Scala?

Answer 1

Thực hiện việc này với chuyển đổi ẩn là nguy hiểm, vì lý do tương tự mà (A) => B không được kế thừa từ PartialFunction[A, B]. Tức là, hợp đồng của PartialFunction đảm bảo rằng bạn có thể an toàn * gọi apply bất cứ nơi nào isDefinedAt trả về true. Hợp đồng của Function1 không bảo đảm như vậy.

Chuyển đổi tiềm ẩn của bạn sẽ dẫn đến một phần chức năng vi phạm hợp đồng của nó nếu bạn áp dụng nó cho một hàm không được xác định ở mọi nơi. Thay vào đó, hãy sử dụng pimp để thực hiện chuyển đổi rõ ràng:

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 

* Như đã thảo luận trong nhận xét, có thể không hoàn toàn rõ ràng "an toàn" có nghĩa là gì ở đây. Cách tôi nghĩ về nó là một PartialFunction tuyên bố rõ ràng tên miền của nó theo nghĩa chính xác sau: nếu isDefinedAt trả về true cho một giá trị x, thì apply(x) có thể được đánh giá theo cách phù hợp với ý định của tác giả hàm. Điều đó không ngụ ý rằng apply(x) sẽ không ném ngoại lệ, nhưng chỉ đơn thuần là ngoại lệ là một phần của thiết kế của hàm (và phải được ghi lại).

Answer 2

Không, tôi đã cố gắng tìm một vài tháng trước và kết thúc bằng văn bản của riêng tôi về cơ bản giống như của bạn.