Rails中Sorbet Array补丁执行报uninitialized constant Array::Elem错误

问题出在Sorbet的Elem是静态分析专用的类型参数，Ruby运行时根本不认识这个常量——你照搬FAQ的代码时，把静态类型定义和运行时代码混在了一起，导致运行时尝试加载不存在的Array::Elem。

下面是两种可行的修复方案：

方案一：分离类型定义与运行时代码 #

把类型签名放到Sorbet的RBI文件里，运行时代码只保留业务逻辑：

1. 在项目的sig/rbi/目录下新建array.rbi，写入类型定义：

class Array
  extend T::Generic
  Elem = type_member

  sig { params(block: T.proc.params(arg: Elem).returns(T::Boolean)).returns(T.any(Integer, Float, BigDecimal)) }
  def sum_if(&block); end
end

2. 修改config/initializers/monkeypatches/array.rb，只保留运行时实现：

class Array
  def sum_if(&block)
    select(&block).sum
  end
end

这样静态检查时Sorbet会读取RBI里的类型信息，运行时不会加载任何Sorbet专用的类型常量，自然不会报错。

方案二：用T::Utils.compile_time_only隔离静态代码 #

如果不想单独维护RBI文件，可以用Sorbet提供的工具方法，让类型相关代码只在静态分析时执行，运行时自动跳过：

修改config/initializers/monkeypatches/array.rb如下：

class Array
  # 这段代码仅在Sorbet静态检查时生效，运行时会被跳过
  T::Utils.compile_time_only do
    extend T::Generic
    Elem = type_member
  end

  sig { params(block: T.proc.params(arg: Elem).returns(T::Boolean)).returns(T.any(Integer, Float, BigDecimal)) }
  def sum_if(&block)
    select(&block).sum
  end
end

关键原理 #

Sorbet的type_member、Elem这类语法是静态分析阶段的语法糖，Ruby解释器在运行时没有对应的实现逻辑。必须确保这些代码不会在运行时被执行，要么放到仅静态读取的RBI文件，要么用compile_time_only包裹隔离。

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