php - PHPで「file vs SplFileObject」をロードするための巨大なファイル

Question

HUGE という名前の 700 万行のテキスト ファイルを読み込もうとしています。最初の 1 万行を読み取ってから削除しようとしています。私は現在、このように SplFileObject を使用しています...

    $file = new SplFileObject(FILENAME);
    for ($i = $start; $i <= $end; $i++) {
        $file->seek($i);
        $lines .= $file->current();
    }
    return($lines);

私はまだHUGEを持っていません。SplFileObject がそのような巨大なファイルをロードできるかどうかを知る必要があります。行を削除するたびに HUGE の長さを計算する必要があります。count(array_HUGE) はすぐに長さを教えてくれるので、「ファイル」は有望に思えます。今すぐデザインを決定する必要があります。2 つのうち、フットプリントが小さく、HUGE の読み込みが速いのはどれですか?