Какая у меня гарантия после 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), преуспевает и определяет, что это файл "нормальный"
• Process 2 удаляет путь, на который указывает p1
• процесса 1 вызовов std::ifstream f1(p1.c_str()), и не в состоянии открыть файл

Вы видите здесь состояние гонки?