Deserialize JSON in Hack strict mode

Question

У меня есть вложенный файл JSON, состоящий из ключей и значений, которые являются только строками. Но структура файла JSON не является фиксированной, поэтому иногда она может быть вложенными 3 уровнями, иногда только 2 уровнями. Интересно, как я мог бы сериализовать это в строгом режиме?

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

}

Если я знал бы структуру JSON, я бы просто написать свой собственный класс для этого, но так как ключи не являются фиксированными, а также раскрой может быть на несколько уровней, Мне действительно интересно, как я вырезал такой объект в определенный тип.

Любая помощь или советы оценили

Answer 1

Я думаю invariant s будет служить вам хорошо здесь. Во-первых, это может быть полезно знать, что вы можете ввести шпоночным дерево строго Hack:

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

^{(Он должен быть классом, потому что cyclic shape definitions are sadly not allowed)}

Я не пробовал еще, но type_structure s и Fred Emmott's TypeAssert Также обратите внимание на интерес. Если известно, что какая-то часть вашего блога JSON фиксирована, вы можете изолировать вложенную, неопределенную часть и построить дерево из нее с помощью invariant s. В предельном случае, когда весь блоб неизвестен, то можно иссечь TypeAssert поскольку нет интересной фиксированной структуры утверждать:

use FredEmmott\TypeAssert\TypeAssert; 
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); 
    } 
} 

вниз по дороге, вы все равно придетесь дополнить containsKey инвариантов на KeyedTree, но это реальность с неструктурированными данными в Hack.