请问在PHP中处理大型JSON文件

Question

在PHP中处理大型JSON文件

我正在尝试处理稍大（可能高达200M）的JSON文件。该文件的结构基本上是一个对象数组。

所以有些东西：

[
  {"property":"value", "property2":"value2"},
  {"prop":"val"},
  ...
  {"foo":"bar"}]

每个对象都具有任意属性，并且不必与数组中的其他对象共享它们（如同，具有相同）。

我想对数组中的每个对象应用处理，因为文件可能很大，我不能在内存中啜饮整个文件内容，解码JSON并迭代PHP数组。

理想情况下，我想阅读文件，获取每个对象的足够信息并进行处理。如果有类似的库可用于JSON，那么SAX类型的方法就可以了。

关于如何最好地处理这个问题的任何建议？