为何Java中instanceof模式匹配变量可在代码块外访问？

第一种写法!(o instanceof String s)的逻辑与编译器分析 #

这段代码的核心是通过提前return的分支，让编译器确认后续代码中变量s的有效性：

• 当!(o instanceof String s)为true时，说明o不是String类型，此时会进入if块执行return，直接退出方法。
• 这意味着，能执行到System.out.println的代码路径，必然是o instanceof String s为true的情况——也就是s已经被成功赋值为String类型的o。
• Java编译器会做这种可达性分析，明确此时s是已初始化且有效的，因此允许在if块外部使用s。

第二种写法o instanceof String s == false的问题 #

这种写法的问题出在编译器无法确定s是否被初始化：

• 运算符优先级上，instanceof的优先级高于==，所以实际执行顺序是先判断o instanceof String s，再将结果与false比较。
• 当整个表达式结果为true时，说明o instanceof String s是false，此时s根本没有被赋值；当表达式结果为false时，s才被成功赋值。
• 由于if块中没有return语句，不管条件成立与否，后续代码都可能执行，编译器无法保证s一定处于初始化状态，因此会抛出“变量s可能未初始化”的编译错误，这是符合Java语法规范的预期行为。

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