php - 从文件中获取唯一的随机行并使用 php 将它们写入另一个文件

Question

我的文件由 10000 行不同的行组成。我需要从此文件中取出 100 个随机 uniq 行并将它们写入另一个文件。使用 php 最简单的方法是什么？

Answer 1

一种天真的方式:

$lines = file('somefile.txt');
shuffle($lines);
$random_lines = array_slice($lines, 0, 10);

注意:这完全忽略了系统资源的考虑。