php - 如何处理 PHP 中的大 gzip 转储（没有 grep）？

Question

我有一个大的 GZ 文件（“Turtle RDF”文件）（压缩约 15Gb，未压缩约 88），我需要知道是否有 PHP 解决方案来查找包含特定字符串的行。

我通过 zerkms找到了这个解决方案，但我的开发环境是Windows。我测试了gzopen, gzgets，gzread但我找不到如何在文件中搜索并同时保留一些表演。

谢谢你的帮助！