Я пытаюсь обработать несколько больших (возможно, до 200 М) файлов JSON. Структура файла в основном представляет собой массив объектов.
Итак, что-то вроде:
[
{"property":"value", "property2":"value2"},
{"prop":"val"},
...
{"foo":"bar"}
]
Каждый объект имеет произвольные свойства и не имеет необходимости делиться ими с другими объектами в массиве (как и в случае с тем же).
Я хочу применить обработку к каждому объекту в массиве, и поскольку файл потенциально огромен, я не могу сломать весь файл в памяти, декодировать JSON и итерации по массиву PHP.
В идеале я хотел бы прочитать файл, получить достаточно информации для каждого объекта и обработать его. Подход типа SAX был бы в порядке, если бы была доступна аналогичная библиотека для JSON.
Любое предложение о том, как лучше справляться с этой проблемой?