嵌套哈希的冰糕签名

Question

我有一个解析 YAML 文件的方法。 returned 对象是一个嵌套的哈希，其中键总是字符串，叶值总是字符串，例如

{
    "a" => "foo",
    "b" => {
        "c" => "bar",
        "d" => "baz"
    }
}

我事先不知道散列有多深。

我最接近输入 return 值的是以下签名：

T.any(T::Hash[String,String], T::Hash[String,T::Hash[String, T.untyped]])

这显然是一个糟糕的解决方案，因为它不检查第二个嵌套下的任何内容，但关于自定义类型的文档似乎有点稀疏。

有没有什么方法可以使用自定义类型、嵌套类型或类似的东西来键入嵌套哈希？

Answer 1

遗憾的是，此时您将无法做更多的事情。尽管支持 Shapes，但它们是一项实验性功能。

如果你真的想使用哈希，你可以将其表示为：

MyType = T.type_alias {T::Hash[String, T.any(String, T::Hash[String, T.untyped])]}

或者，您可以使用 T::Struct:

class MyType < T::Struct
  const :key, String
  const :value, T.any(String, MyType)
end

你仍然不确定 value 的类型是什么，但是使用 flow sensitivity，应该很容易处理结构：

class Processor
  extend T::Sig
  
  sig {params(my_object: MyType).returns(String)}
  def process(my_object)
    key = my_object.key
    obj_value = my_object.value # this is needed for flow sensitivity below
    value = case obj_value
    when String
      value
    when MyType
      process(obj_value)
    else
      T.absurd(obj_value) # this makes sure that if you add a new type to `value`, Sorbet will make you handle it
    end
    return "key: #{key}, value: #{value}"
  end
end

嵌套哈希的冰糕签名

Sorbet signature for nested hash

sorbet