c++ - is_regular_file 之后我有什么保证？

Question

考虑到 boost::filesystem::path p，是否有可能 boost::filesystem::is_regular_file(p) == true 和 std::ifstream(p.c_str()).is_open() == false 同时？如果是，是在哪种情况下？

上下文是为比较函数编写断言:

bool identical_files(const boost::filesystem::path& p1, const boost::filesystem::path& p2)
{
  assert(boost::filesystem::is_regular_file(p1));
  assert(boost::filesystem::is_regular_file(p2));
  std::ifstream f1(p1.c_str());
  assert(f1.is_open()); // IS THIS REDUNDANT ???
  std::ifstream f2(p2.c_str());
  assert(f2.is_open());
  // ...
  // ...
  // ...
}

Answer 1

唯一的保证是在调用时，路径是一个普通文件。因为文件系统隐式是一个竞争条件，boost::filesystem::is_regular_file(p1) 和std::ifstream f1(p1.c_str( )) 实际上可能指的是两个不同的对象。

考虑场景:

• 进程 1 调用 boost::filesystem::is_regular_file(p1)，成功并确定它是一个“正常”文件
• 进程 2 删除 p1 指向的路径
• 进程 1 调用 std::ifstream f1(p1.c_str())，打开文件失败

你能在这里看到竞争条件吗？