Làm thế nào để có được tên miền của một chức năng một phần trong Scala?

Question

Có thể lấy miền của một chức năng một phần trong Scala không?

Ex:

val f: PartialFunction[Int, Unit] = { 

     case 1 => println("This is 1") 

     case 2 => println("This is 2") 

    } 

Có cách nào để có được một cái gì đó như:

val list = f.getDomain 

đó sẽ chỉ ra các giá trị 1 và 2?

Cập nhật: Tôi đang cố gắng xây dựng hệ thống thông báo (xe buýt sự kiện). Các thuê bao sẽ trông như thế này:

class SomeSubscriber extends Subscriber { 

    notifications { 

     case LoginEvent(date) => println("Login on " + date) 

     case LogoutEvent(date) => println("Logout on " + date) 

     case e: Notification[Any] => async { 

     println("Other notification: " + e) 

     ui { 

      println("UI in async! " + e) 

     } 

     } 

    } 

    } 

Trong NotiticationService tôi (dispatcher sự kiện) Tôi muốn truy cập các sự kiện khai báo trong khối mỗi 'thông báo' vì vậy tôi có thể đẩy các thông báo tới các thuê bao. Làm thế nào tôi có thể làm điều đó?

Xin cảm ơn trước.

Answer 1

Nếu bạn có một bộ sưu tập, và bạn muốn biết yếu tố nào cũng thuộc về lĩnh vực f, bạn có thể sử dụng filter và isDefinedAt như vậy:

scala> 1 to 10 filter f.isDefinedAt 
res1: scala.collection.immutable.IndexedSeq[Int] = Vector(1, 2) 

này chỉ đơn giản là kiểm tra thấu đáo. Tôi không biết có cách nào tốt hơn không.

Answer 2

Nó vốn dĩ là không thể, vì một phần chức năng có thể được xác định cho bất kỳ tập con của phạm vi đầu vào; phạm vi đầu vào chính nó có thể không hữu hạn, trong trường hợp đó, miền sẽ không nhất thiết là hữu hạn. Bạn chỉ có thể có được tên miền thông qua một trận đấu đầy đủ (theo câu trả lời của Dan), tuy nhiên bạn không thể tìm kiếm một cách toàn diện một không gian đầu vào vô hạn.