如何用PHP高效快速地统计大型文件中的行数?