Java 實現組合式解析器：從 Parser 組合子到 H.248 協議實戰

DSL 設計三要素

參考 SICP，強大語言需三機制：
原子——最基本實體；
組合手段——將原子組合成複雜實體；
抽象手段——命名複雜實體，使其如原子般可再組合。
通用語言（Java）機制過於通用，構建領域專用語言（DSL）可消除語義鴻溝，讓代碼「看起來就是為了解決該問題而存在」。

解析器 DSL 核心定義

Result：解析結果值對象

class Result {
    private String recognized, remaining;
    private boolean succeeded;
    // 構造、getter、靜態工廠 succeed/fail/concat
}

Parser 介面

interface Parser { Result parse(String target); }

兩個原子解析器

• Zero：永遠成功，識別空串，返回目標原樣。
• Item：目標非空時消費首字符成功，否則失敗。

組合子

衍生組合子與抽象

• digit = SAT(new IsDigit(), new Item())
• alpha = SAT(new IsAlpha(), new Item())
• digit_or_alpha = OR(digit, alpha)
• alpha_before_digit = SEQ(alpha, digit)
• one_to_ten_alpha = new OneOrMany(10, alpha)
• zero_or_many(max, p) = OR(new OneOrMany(max, p), new Zero())

Java 介面機制天然提供抽象手段：以變量/方法命名組合結果，直接參與更高層組合。

實戰：H.248 協議 NAME 語法解析器

ABNF 規則：NAME = ALPHA *63(ALPHA / DIGIT / "_")

public static Parser name() {
    return new SEQ(alpha(),
        zero_or_many(64, digit_or_alpha_or_underline()));
}

代碼與 ABNF 幾乎一一對應，驗證 DSL 表達力。

測試結果節選

優雅的函數式風格

無可變狀態、組合子即高階函數、領域概念直接映射代碼結構。擴展新組合子（如 ZERO_OR_MORE、SEP_BY）只需遵循同樣模式，極具擴展性。