优雅实现Java类向下转型：避免双重检查与强制转型的方案

已知A是AB和AC的父类，现有如下方法：

public void handleStuff(A someObject) {
  if(someObject instanceof AB){ 
     ((AB)someObject).someABFunction();
  } else if(someObject instanceof AC) {
     ((AC)someObject).someACFunction();
  }
}

我不喜欢此处的双重检查与强制转型操作，是否存在无需先检查类型再转型的编码方式？我知道可以使用接收AB或AC作为参数的两个重载方法，但希望代码更精简，而非更多，理想写法如下：

public void handleStuff(A someObject) {
  if(someObject instanceof AB){ 
     someObject.someABFunction(); // 这里已经明确是AB类型
  } else if(someObject instanceof AC) {
     someObject.someACFunction(); // 这里已经明确是AC类型
  }
}

最优解决方案：Java 14+ instanceof模式匹配 #

从Java 14开始，instanceof支持模式匹配，可以在判断类型的同时直接将变量转型为对应子类型并绑定到新变量，完美满足你想要的精简写法，无需手动强制转型：

public void handleStuff(A someObject) {
    if (someObject instanceof AB ab) { 
        ab.someABFunction();
    } else if (someObject instanceof AC ac) {
        ac.someACFunction();
    }
}

这种写法既保留了原有的分支逻辑，又消除了重复的类型检查和强制转型代码，和你的理想写法逻辑一致，且语法合法。

兼容旧版本的替代方案（Java 14之前） #

如果无法升级Java版本，除了重载方法，还可以通过多态重构简化代码：

1. 在父类A中定义抽象方法handle()：

public abstract class A {
    public abstract void handle();
}

2. 在AB和AC中分别实现该方法：

public class AB extends A {
    @Override
    public void handle() {
        someABFunction();
    }

    public void someABFunction() {
        // 原有逻辑
    }
}

public class AC extends A {
    @Override
    public void handle() {
        someACFunction();
    }

    public void someACFunction() {
        // 原有逻辑
    }
}

3. 此时handleStuff方法可以简化为：

public void handleStuff(A someObject) {
    someObject.handle();
}

不过这种方式需要修改父类和子类的结构，如果你不想改动原有类的方法，模式匹配是更直接的选择。

内容的提问来源于stack exchange，提问作者BennyBarns