Ruby Sorbet自动纠正T.unsafe包裹代码问题求助

问题描述 #

在test_helper.rb中编写了如下代码：

require 'simplecov'
class SimpleCov::Formatter::MergedFormatter
  def format(result)
    simplecov = T.unsafe(SimpleCov::Formatter::HTMLFormatter).new
    T.unsafe(simplecov.format(result))
  end
end

使用的SimpleCov版本老旧，无对应.rbi文件，Sorbet无法识别SimpleCov::Formatter::HTMLFormatter常量，反而自动将其纠正为RuboCop::Formatter::HTMLFormatter，抛出“Unable to resolve constant HTMLFormatter”错误。即便用T.unsafe()包裹代码或设置# typed: false，问题仍未解决。

可行解决方案 #

• 手动声明常量的.rbi文件
  在项目rbi/目录下创建simplecov.rbi文件，手动声明常量结构：

  # rbi/simplecov.rbi
  module SimpleCov
    module Formatter
      class HTMLFormatter; end
    end
  end
  

  让Sorbet能正确识别该常量，避免误映射。

• 使用字符串形式获取常量
  替换原有代码中获取类的方式，通过字符串查找常量绕开静态检查：

  simplecov = T.unsafe(Object.const_get('SimpleCov::Formatter::HTMLFormatter')).new
  

• 彻底禁用该文件的Sorbet检查
  在文件顶部替换# typed: false为更强的禁用注释：

  # typed: ignore
  require 'simplecov'
  # 剩余代码...
  

  这会让Sorbet完全跳过对该文件的检查。

• 升级SimpleCov版本
  若项目允许，升级到提供.rbi文件支持的新版本，从根源解决常量识别问题。

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