Java instanceof模式匹配无法解析理论上应处于作用域内的变量

问题原因 #

该报错是Java对instanceof模式匹配变量的作用域规则导致的，和代码逻辑是否覆盖全路径无关，Java编译器只会按照语言规范校验变量作用域范围：

• 模式匹配创建的变量是块级局部变量，仅在模式匹配结果为true的对应代码路径中有效，出了对应的语句块就会被销毁。
• 你代码里两处Comment comment其实是两个完全独立的局部变量，分别属于不同的作用域：
  • 第一层if条件里的comment，因为你写的是if (!(x instanceof Comment comment))，只有当x不是Comment时条件才成立，此时模式匹配失败，这个变量本身都不会完成初始化，出了这个if块就直接失效。
  • 第二层嵌套if里的comment，作用域仅局限在这个嵌套if的范围内，出了if块同样不可访问。
    所以走到最后的打印语句时，两个作用域里的comment都已经超出生命周期，编译器自然会提示变量无法解析。

解决方案 #

只需要在外层提前声明comment变量，在两个匹配分支里分别给变量赋值即可，修改后的参考代码如下：

import org.w3c.dom.Comment;
import org.w3c.dom.Document;
import org.w3c.dom.Node;
import java.util.ArrayList;
import java.util.List;

// 你的业务逻辑代码
List<Node> list = new ArrayList<>();
Node x = list.get(0);
Comment comment = null;
// 匹配第一个场景：x本身是Comment类型
if (x instanceof Comment c) {
    comment = c;
// 匹配第二个场景：x是Document且首个子节点是Comment类型
} else if (x instanceof Document doc && doc.getFirstChild() instanceof Comment c) {
    comment = c;
// 都不匹配直接返回
} else {
    return null;
}
System.out.println(comment.toString());

如果你使用的是Java 17及以上版本，还可以用switch模式匹配简化代码：

Comment comment = switch (x) {
    case Comment c -> c;
    case Document doc when doc.getFirstChild() instanceof Comment c -> c;
    default -> null;
};
if (comment == null) {
    return null;
}
System.out.println(comment.toString());

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