php - file() 读取时是否锁定文件？

Question

我正在使用 file() 来读取文件，例如带有标签的数组。我想锁定文件，但我似乎无法让 flock() 处理该文件。是否有可能做到这一点？如果是这样，怎么做？如果不是，file() 是否从一开始就锁定文件并缓解任何潜在的共享问题？

Answer 1

根据文档（特别是注释），它不会读取通过flock.

你有 2 个选择。

1. 读取文件fgets（不检查错误）：

   $f = fopen($file, 'r');
   flock($f, LOCK_SH);
   $data = array();
   while ($row = fgets($f)) {
       $data[] = $row;
   }
   flock($f, LOCK_UN);
   fclose($f);
   

2. file()使用单独的“lockfile”读取文件：

   $f = fopen($file . '.lock', 'w');
   flock($f, LOCK_SH);
   $data = file($file);
   flock($f, LOCK_UN);
   fclose($f);
   unlink($file . '.lock');