在 Hack 严格模式下反序列化 JSON

Question

我有一个嵌套的JSON文件，由仅字符串的键和值组成。但是JSON文件的结构不是固定的，所以有时它可以嵌套3个级别，有时只有2个级别。我想知道如何在严格模式下对其进行序列化？

  "live" : {
"host" : "localhost",
"somevalue" : "nothing",
"anobject" : {
  "one" : "two",
  "three" : "four",
  "five" : {
    "six" : "seven"
  }
}

}

如果我知道 JSON 的结构，我只会为它编写自己的类，但由于键不是固定的，而且嵌套可以分为几个级别，我真的很想知道如何将这样的对象切入特定类型。

感谢任何帮助或提示

Answer 1

我认为invariant在这里会很好地为您服务。首先，知道您可以在 Hack 中严格键入键控树可能会有所帮助：

<?hh // strict
class KeyedTree<+Tk as arraykey, +T> {
  public function __construct(
    private Map<Tk, KeyedTree<Tk, T>> $descendants = Map{},
    private ?T $v = null
  ) {}
}

^{(它必须是一个类，因为遗憾的是不允许循环形状定义(}

我还没有尝试过，但type_structure和弗雷德·埃莫特的TypeAssert看起来也很感兴趣。如果已知 JSON blob 的某些部分已修复，则可以隔离嵌套的不确定部分，并使用 invariant s 从中构建树。在整个 blob 未知的限制情况下，您可以删除TypeAssert，因为没有有趣的固定结构可以断言：

use FredEmmottTypeAssertTypeAssert;
class JSONParser {
    const type Blob = shape(
        'live' => shape(
            'host' => string, // fixed
            'somevalue' => string, // fixed
            'anobject' => KeyedTree<arraykey, mixed> // nested and uncertain
        )
    );
    public static function parse_json(string $json_str): this::Blob {
        $json = json_decode($json_str, true);
        invariant(!array_key_exists('anobject', $json), 'JSON is not properly formatted.');
        $json['anobject'] = self::DFS($json['anobject']);
          // replace the uncertain array with a `KeyedTree`
        return TypeAssert::matchesTypeStructure(
            type_structure(self::class, 'Blob'),
            $json
        );
        return $json;
    }
    public static function DFS(array<arraykey, mixed> $tree): KeyedTree<arraykey, mixed> {
        $descendants = Map{};
        foreach($tree as $k => $v) {
            if(is_array($v))
                $descendants[$k] = self::DFS($v);
            else
                $descendants[$k] = new KeyedTree(Map{}, $v); // leaf node
        }
        return new KeyedTree($descendants);
    }
}

在这条路上，你仍然需要在KeyedTree上补充containsKey不变量，但这就是Hack中非结构化数据的现实。