Ruby3.3.0搭配Rubocop1.60.2时Lint/UselessAssignment未检测部分无用赋值

首先看你提供的测试代码：

#!/usr/bin/env ruby
foo = 93
foo = 900
foo == 14

bar = 93
bar = 900
[].each do
  bar == 14
end

检测结果只触发了foo相关的警告，没检测到bar的问题，原因如下：

1. 为什么bar =93没被判定为无用赋值？ #

Rubocop的Lint/UselessAssignment规则核心逻辑是：只要变量在赋值后，在代码的某个作用域里被引用过（不管这段代码实际会不会运行），就不会判定为无用赋值。

你代码里的bar在each块里做了bar ==14的引用，哪怕这个each因为数组是空的永远不会执行，Rubocop的静态分析不会去判断代码的运行时逻辑，只会看静态结构里有没有引用。所以它认为第一次的bar =93是“被后续引用过”的，因此不触发警告。而foo的后续比较foo ==14被判定为无意义操作，所以第一次赋值被标记为无用。

2. 为什么bar ==14没触发Lint/Void警告？ #

Lint/Void针对的是“表达式结果完全没有被利用”的场景：

• 顶级作用域的foo ==14，结果既没赋值给变量，也没作为返回值或参数，属于纯粹的void上下文，所以被检测。
• 而bar ==14在each块内部，Ruby的块默认会把最后一个表达式的结果作为块的返回值——哪怕这个块永远不会执行，Rubocop会认为这个表达式是块的组成部分，有“潜在的用途”，因此不触发警告。

这不是Rubocop的Bug，是它的静态分析规则基于代码结构而非运行时行为做出的判断。

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