Sorbet中如何表示空哈希？寻求适配现有代码的类型签名方案

针对你的问题：Sorbet确实没有像T.nil那样专门的“空哈希”原子类型，但我们有几种精确的方式来表示「要么是特定形状的哈希，要么是空哈希」的类型，完全不需要修改现有业务代码，只需要调整类型签名即可。

方案1：使用T.any联合特定哈希类型与T::EmptyHash #

Sorbet内置了T::EmptyHash这个单例类型，它专门代表代码中的{}字面量（也就是空哈希对象）。你可以把它和你需要的明确形状哈希类型组合成联合类型，这样就能准确描述你的属性类型：

# 假设你需要的明确形状是「键为String、值为Integer的哈希」
class YourClass
  extend T::Sig

  # 属性要么是符合形状的哈希，要么是空哈希
  sig { returns(T.any(T::Hash[String, Integer], T::EmptyHash)) }
  attr_reader :your_attribute

  def initialize
    # 用T.let初始化，让Sorbet识别空哈希的类型
    @your_attribute = T.let({}, T.any(T::Hash[String, Integer], T::EmptyHash))
  end

  def update_hash(new_hash)
    # 赋值时也会被类型检查，确保要么是符合形状的哈希，要么是空哈希
    @your_attribute = T.cast(new_hash, T.any(T::Hash[String, Integer], T::EmptyHash))
  end
end

这个方案的好处是：

• 空哈希不会被推断成T::Hash[T.untyped, T.untyped]，类型检查更严格
• 当你访问这个属性的键时，Sorbet会自动推断返回值为T.nilable(Integer)（因为空哈希访问任何键都返回nil，而符合形状的哈希访问存在的键返回Integer、不存在的键也返回nil），正好符合你「获取不存在的键时始终返回nil」的需求

方案2：用类型别名封装联合类型（提升代码可读性） #

如果这个类型会被多次使用，你可以用T.type_alias把联合类型封装起来，让代码更简洁：

# 封装成可复用的类型别名
YourHashType = T.type_alias { T.any(T::Hash[String, Integer], T::EmptyHash) }

class YourClass
  extend T::Sig

  sig { returns(YourHashType) }
  attr_reader :your_attribute

  # ... 其他代码和方案1一致
end

额外说明：关于空哈希与通用哈希类型的关系 #

如果你不需要严格区分「空哈希」和「符合形状的哈希」，只是希望属性可以是空哈希或者任何键为String、值可为nil的哈希，那直接使用T::Hash[String, T.nilable(Integer)]即可——因为空哈希本身就是这个类型的合法实例（空哈希没有键值对，自然满足「键为String、值可为nil」的约束）。这种情况下，你甚至不需要联合T::EmptyHash，类型签名会更简洁。

内容的提问来源于stack exchange，提问作者Maciej Małecki