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

Question

在PHP中处理大型JSON文件我正在尝试处理稍大（可能高达200M）的JSON文件。该文件的结构基本上是一个对象数组。所以有些东西：[   {"property":"value", "property2":"value2"},   {"prop":"val"},   ...   {"foo":"bar"}]每个对象都具有任意属性，并且不必与数组中的其他对象共享它们（如同，具有相同）。我想对数组中的每个对象应用处理，因为文件可能很大，我不能在内存中啜饮整个文件内容，解码JSON并迭代PHP数组。理想情况下，我想阅读文件，获取每个对象的足够信息并进行处理。如果有类似的库可用于JSON，那么SAX类型的方法就可以了。关于如何最好地处理这个问题的任何建议？