将文件内容复制到另一个文件

Question

我的文件包含此内容(1.txt):

• user.php的？ID = XXXXXX
• user.php的？ID = XXXXXX
• user.php的？ID = XXXXXX
• user.php的？ID = XXXXXX
• user.php的？ID = XXXXXX
• 文/数字
• user.php的？ID = XXXXXX
• user.php的？ID = XXXXXX
• 等等 ...

(XXXXXX =数字)

可以只使用user.php？id = XXXXXX并将它们复制到另一个文件,而不会处理不必要的文本,因为文件包含大约50 000行？

Answer 1

 <?php
    $file = fopen('source.txt', 'rb');
    $newfile = fopen('target.txt', 'wb');
    while(($line = fgets($file)) !== false) {
     if(strpos($line, 'user.php') !== false) {
       fputs($newfile, $line);
     }
    }
    fclose($newfile);
    fclose($file);
  ?>

此代码尚未经过测试,但我认为它可以正常运行.