1

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

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

我事先不知道哈希有多深。

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

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

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

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

4

1 回答 1

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，但是使用flowsensitive，应该很容易处理结构：

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
于 2020-07-20T03:46:35.667 回答