T::Enum传入无效枚举时抛未初始化常量而非枚举无效错误的疑问

我们在按钮组件中使用T::Enum定义变体：

class ButtonComponent
  sig do
    params(
      button_variant: ButtonVariant
    ).void
  end
  def initialize(button_variant: ButtonVariant::Primary)
  end
end

枚举定义如下：

class ButtonComponent
  class ButtonVariant < T::Enum
    extend T::Sig

    enums do
      Primary = new
      Secondary = new
      Tertiary = new
    end

    sig { returns(String) }
    def css_class
      case self
      when Primary
        'btn--primary'
      when Secondary
        'btn--secondary'
      when Tertiary
        'btn--tertiary'
      else
        T.absurd self
      end
    end
  end
end

当传入类型不符的对象时：

render ButtonComponent.new(button_variant: ButtonComponent::UNKNOWN)

Sorbet会给出清晰的类型错误：

Parameter 'button_variant': Expected type ButtonComponent::ButtonVariant

但当传入类型正确但无效的枚举值时：

render ButtonComponent.new(button_variant: ButtonComponent::ButtonVariant::UNKNOWN)

却只得到未初始化常量的错误：

uninitialized constant ButtonComponent::ButtonVariant::UNKNOWN

解析与结论 #

这是Sorbet的预期行为，并非枚举使用错误。原因如下：

• 引用ButtonComponent::ButtonVariant::UNKNOWN时，Ruby的常量查找逻辑会优先判定该符号未定义，Sorbet遵循这一逻辑，先抛出未初始化常量的错误，不会额外关联枚举类型的有效性校验。
• 枚举的类型校验仅针对“是否为该枚举类的实例”，而不存在的枚举常量本质是未定义符号，不属于任何枚举实例，因此不会触发专门的枚举无效提示。

若想获得更明确的错误提示，可通过以下方式优化：

• 为项目添加自定义lint规则，校验枚举常量引用是否属于对应枚举的合法值
• 利用T::Enum的values方法，在运行时补充有效性校验（但无法覆盖静态检查阶段）

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