Kết hợp mẫu thành ngữ tương đương trong Java

Tôi đang xây dựng một trình giả lập phân tích một số sự kiện từ đó STDINvà "chạy" chúng. Nền tảng của tôi chủ yếu là lập trình chức năng những ngày này, vì vậy có vẻ tự nhiên để làm một cái gì đó như thế này:

data Event = Thing1 String Int | Thing2 Int | Thing3 String String Int
Parse :: String -> [Event]
Simulate :: [Event] -> [Result]

mô phỏng ở đâu

case event
  of Thing1 a b => compute for thing one
   | Thing2 a => compute for thing two

v.v ... Cách thành ngữ để làm điều này trong Java là gì? Googling đã chỉ cho tôi theo hướng các lớp lồng nhau và mô hình khách truy cập, nhưng điều đó có vẻ khá nặng nề trong nỗ lực của tôi. Loại tẩy xóa dường như đang chiến đấu với tôi, khó khăn. Bạn có thể chỉ cho tôi một phác thảo về những gì sẽ trông giống như được thực hiện chính xác?

Tác giả của 'Lập trình hàm trong Scala' đưa ra một minh họa hay về những điều tốt nhất có thể đạt được trong Java theo cách an toàn:

http://blog.higher-order.com/blog/2009/08/21/structural-potype-matching-in-java/

Về cơ bản, nó sử dụng mã hóa Church của các trường hợp để đảm bảo rằng trình biên dịch sẽ khiếu nại nếu có thiếu.

Các chi tiết không dễ dàng được tóm tắt và thực sự được trình bày rất kỹ trong bài viết đến nỗi không có điểm nào để sao chép chúng ở đây (đó là những siêu liên kết nào cho đúng?).

Cách thành ngữ để làm điều này trong Java là gì?

Thực sự không có chuyện như vậy, vì Java (ngôn ngữ) về cơ bản là bắt buộc.

Nếu bạn có thể chạy trên JVM, nhưng không bị hạn chế đối với ngôn ngữ Java , bạn có thể điều tra Scala, điều này sẽ đạt được một cái gì đó giống như ở trên bằng cách sử dụng khớp mẫu .

Mặt khác, tôi nghĩ rằng bạn đã giảm việc khớp thủ công các trường hợp khác nhau và các phương thức gọi của mình là phù hợp hoặc có thể xác định các kiểu con của 'Sự kiện' và sử dụng đa hình để gọi các phương thức cụ thể cho từng kiểu con.

Hãy xem https://github.com/johnlcox/motif là thư viện "khớp mẫu" giống như Scala cho Java 8.

Không đẹp như ML / Erlang / Haskell, nhưng vẫn có vẻ khai báo hơn nhiều so với hầu hết.

Bạn có thể sử dụng enum và giao diện, ghi đè phương thức mô phỏng, như thế này:

interface Event {
  void simulate()
}

enum MyEvents implements Event {
  THING1 {
    @Override
    void simulate() {
    //...
    }
  },
  THING2 {
    @Override
    void simulate() {
    //...
    }
  },
}

Hãy nói rằng bạn có Event event. Sau đó, bạn có thể sử dụng nó theo một trong hai cách:

event.simulate();

hoặc là

switch(event) {
  case THING1:
    //..
    break;
  case THING2:
    break;
}

Nhưng hàm tạo được JVM gọi tự động, do đó, để lưu trữ các tham số mà bạn sẽ phải thêm các thuộc tính với các bộ truy cập, v.v.

Ngoài ra, bạn có thể mã hóa các sự kiện của mình dưới dạng chuỗi không đổi và sử dụng switchcấu trúc, trong trường hợp đó bạn sẽ làm

string event = args[0];
switch(event){
  case THING1:
    int a = args[1];
    //...
    break;
  case THING2:
    int a = args[1];
    int b = args[2];
    break;
}

v.v. Nhưng vâng, không có gì bản địa bắt chước mô hình khớp trực tiếp :(

Mô hình khách truy cập hoặc tương đương mã hóa nhà thờ của nó là cách để đi. Nó khá dài dòng trong Java, nhưng hy vọng các công cụ như Derive4J (bộ xử lý chú thích tôi duy trì) hoặc Adt4J có thể tạo ra bản tóm tắt . Sử dụng một công cụ như vậy, ví dụ của bạn trở thành:

import java.util.function.Function;
import org.derive4j.Data;

@Data
public abstract class Event {

  interface Cases<X> {
    X Thing1(String s, int i);
    X Thing2(int i);
    X Thing3(String s, String s2, int i);
  }

  abstract <X> X match(Cases<X> cases);

  static Function<Event, Result> Simulate =
      Events.cases().
          Thing1( (s, i    ) -> computeForThingOne(s, i)       ).
          Thing2( (i       ) -> computeForThingTwo(i)          ).
          Thing3( (s, s2, i) -> computeForThingThree(s, s2, i) );

}

Derive4J tạo lớp Sự kiện cung cấp cú pháp khớp mẫu trôi chảy (với kiểm tra toàn diện rằng tất cả các trường hợp được xử lý).