Java 21中，守护模式case标签变量为何需为最终/有效最终？

Java 21的switch模式匹配里，when守护子句中引用的someVar必须是final或effectively final，你的猜测方向没错，背后是这些设计考量：

• 避免匹配逻辑失控：switch的模式匹配是按顺序逐case判断的，如果someVar在某个分支里被修改，后续case的守护条件判断就会用修改后的值，整个匹配逻辑会变得完全不可预测。比如第一个case里改了someVar，第二个case的when someVar ==10结果可能和进入switch时的预期完全相反，代码逻辑直接乱套。
• 遵循闭包语义一致性：守护条件的执行逻辑和lambda、匿名类的上下文规则对齐——Java要求这类场景引用的外部变量必须不可变，这是为了保证闭包语义的稳定性。有效final变量能确保表达式求值时，变量值不会被意外篡改，避免分支或并发场景下的不一致问题。

关于JEP的说明：
你可以参考JEP 441: Pattern Matching for switch (Third Preview)（Java 21的正式版基于该预览版演进），在"Guardians"章节的约束部分明确提到：守护条件中引用的局部变量必须是final或effectively final，核心原因是保证switch匹配的稳定性与可预测性，防止变量突变引入的逻辑异常。该JEP还强调，守护条件表达式必须是“无副作用”的，允许修改非final变量会直接破坏这一约束。

示例代码：

switch (someObject) {
    case String s when someVar == 5 -> {}
    case Integer i when someVar == 10 -> {}
    //...//
}

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