SonarLint 6.3.0.39716未使用局部变量判定误报问题咨询

根因分析 #

这是SonarLint 6.3.0.39716版本内置的Unused local variable规则的实现缺陷，核心问题出在嵌套表达式场景下的变量使用识别逻辑。

两种写法的识别差异 #

• 第二种写法中，s的赋值和判空逻辑拆分为了独立语句：先执行s = reader.readLine()完成赋值，再执行s != null做判空判断。SonarLint的数据流分析可以明确捕捉到「s赋值后被读取用于布尔计算」的行为，因此判定变量已被使用，不会触发告警。
• 第一种写法中，赋值逻辑s = reader.readLine()被嵌套在while的条件表达式内部，形成(赋值表达式) != null的结构。SonarLint 6.3.0版本的分析逻辑只识别到了对s的赋值操作，没有正确关联后续的!= null判断实际是对刚赋值的s的读取行为，因此产生了误判。

补充说明 #

1. 你的判定逻辑是正确的：只要变量赋值后的结果参与了逻辑判断、运算、参数传递等任意后续逻辑，都属于已使用的场景，只有赋值后完全没有被任何逻辑引用的变量才应该被标记为未使用。
2. 该误报属于已知bug，在SonarLint 6.7及以上版本中已经完成修复，升级插件版本即可消除这类误报。

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