Ruby Sorbet 哈希类型检查

Question

我想了解为什么冰糕不抱怨这个例子：例子：

sig {params(x: T::Hash[String, String]).void}
def foo(x)
  x.each do |k, v|
    puts "key = #{k}, value = #{v}"
  end
end

hash = {}
hash[1] = 1
foo(hash) #  I'd expect this to fail to type-check

我已声明foo接受 [String, String] 的哈希值，但我传递的是 [Integer, Integer] 的哈希值。我以为冰糕会在这里抱怨......

有没有办法让它在这种情况下出错？

Answer 1

问题是hash不是类型T::Hash[Integer, Integer]，而是T::Hash[T.untyped, T.untyped]。您可以使用以下命令查看T.reveal_type：

hash = {}
hash[1] = 1
T.reveal_type(hash) # Revealed type: {} (shape of T::Hash[T.untyped, T.untyped])

发生这种情况是因为 Sorbet 在创建时没有有关您的哈希的信息。解决方案是显式初始化它：

hash = T::Hash[Integer, Integer].new
hash[1] = 1
foo(hash) # Expected T::Hash[String, String] but found T::Hash[Integer, Integer] for argument x

您可以在此处查看完整代码

根本原因是因为hash最初被解释为 a Shape（参见https://sorbet.org/docs/shapes），没有任何类型信息。