本文深入探讨如何在 Ja va 中摆脱繁琐的 instanceof 手动判断，利用 sealed interface + pattern matching（需 Ja va 17 及以上版本）配合 default 方法，实现接口变量到其具体子类型的自动化、类型安全的分发调用，显著提升代码整洁度与可维护性。

你是否也曾遇到这样的场景？定义了一个泛型访问者接口（比如 FormulaVisitor），为 Atom、Constant、BinaryOperator、Not 等具体子类型都编写了重载的 visit() 方法。然而，当你将参数作为它们共同的父接口 Formula 传入时，编译器却直接报错——因为 Ja va 的方法重载解析发生在编译期，仅依据静态类型（Formula），完全忽略运行时的具体类型。

直接调用 visitor.visit(formula, arg) 会触发编译错误。除非你老老实实地进行强制转换，例如 (Atom) formula，但这种做法既不安全，也完全背离了多态设计的初衷。更令人头疼的是，如果需要同时处理两个 Formula 参数（比如二元运算的左右操作数），穷举 4×4 = 16 种组合的 if-else 分支不仅冗长臃肿，还极易埋下隐患。维护这样的代码堪称噩梦。

✅ 正确的解法：将 sealed interface 与 switch 模式匹配（pattern matching for switch）相结合，再借助 default 方法，即可实现“一次声明，自动分发”的效果。

✅ 第一步：将 Formula 定义为 sealed 接口

public sealed interface Formula  
    permits Atom, Constant, BinaryOperator, Not {}

sealed 关键字明确限定只有指定的几个类能够实现该接口。编译器知晓这一限制后，可以确保穷尽性（exhaustiveness），后续的 switch 也就不再需要 default 分支——类型安全性与代码可读性同时得到提升。

✅ 第二步：在访问者接口中添加 default 分发方法

public interface FormulaVisitor {  
    // 核心：统一入口，由 JVM 在运行时根据实际类型自动分派  
    default Result visit(Formula formula, AdditionalArg a) {  
        return switch (formula) {  
            case Atom atom        -> visit(atom, a);  
            case Constant c       -> visit(c, a);  
            case BinaryOperator b -> visit(b, a);  
            case Not not          -> visit(not, a);  
            // 若 Formula 是 sealed 且已列出全部 permitted 子类，则此 default 可省略  
        };  
    }  
    // 原有具体类型方法保持不变（必须由实现类提供）  
    Result visit(Atom formula, AdditionalArg a);  
    Result visit(BinaryOperator formula, AdditionalArg a);  
    Result visit(Constant formula, AdditionalArg a);  
    Result visit(Not formula, AdditionalArg a);  
}

? 注意：switch 表达式中的 case Atom atom 是模式匹配语法（Ja va 14 预览，Ja va 17 正式支持）。它同时完成了类型检查和变量绑定，比传统的 instanceof 加强制转换更简洁、更安全。

✅ 第三步：使用示例（简洁且类型安全）

FormulaVisitor printer = new FormulaVisitor<>() {  
    @Override  
    public String visit(Atom formula, Void a) { return "Atom: " + formula.name(); }  
    @Override  
    public String visit(BinaryOperator formula, Void a) { return "BinOp: " + formula.op(); }  
    @Override  
    public String visit(Constant formula, Void a) { return "Const: " + formula.value(); }  
    @Override  
    public String visit(Not formula, Void a) { return "Not: " + formula.operand(); }  
};  

Formula left = new Atom("x");  
Formula right = new Constant(42);  

// ✅ 自动分发，无需手动判断  
String result = printer.visit(left, null) + " " + printer.visit(right, null);  
System.out.println(result); // 输出：Atom: x Const: 42

⚠️ 关键注意事项

• Ja va 版本要求：sealed 接口需要 Ja va 17 或更高版本；switch 模式匹配同样需要 Ja va 17+（在 Ja va 14–16 中需启用预览特性）。
• sealed 的重要性：如果 Formula 未声明为 sealed，则 switch 必须保留 default 分支（例如返回 null 或抛出异常），否则无法通过编译。而 sealed 让编译器确信你已经覆盖了所有可能的子类，冗余逻辑自然得以消除。
• default 方法的优势：所有实现类自动继承此分发逻辑，无需重复编写。未来若新增子类型（比如 Quantifier），只需更新 Formula 的 permits 列表以及 visit() 中的 case 分支，零侵入即可完成扩展。
• 性能无损：switch 模式匹配经过 JVM 深度优化，性能接近传统的 if-else，远优于反射或 Map 查找。

通过这一设计，你彻底告别了脆弱的手动类型检查，让多态分发回归语言的本意——声明意图，交给 JVM 安全执行。