如何用PHP实现快速高效地计算大文件中的行数?