Здравствуйте, B0FEE664, Вы писали:

BFE>Вот если мы сравниваем два нулевых указателя, то получаем true.
BFE>А вот если мы сравниваем два несуществующих файла, то функция их сравнения должна возвращать true или false?

Зависит исключительно от внетренних правил системы
1 вариант
Файлы обязаны существовать даже с пустым содержимым, отсутсвующий файл — ошибка.
В этом случае сравнение обязано возвращать false — неравно. Это если оно не возвращает исключений.

2 вариант
Пустые файлы в целях оптимизации могут не записываться. Тогда отсутсвующий файл эквивалентен пустому.
В этом случае должно вернуть true.

Более общего ответа не существует

Здравствуйте, B0FEE664, Вы писали:

BFE>Вот если мы сравниваем два нулевых указателя, то получаем true.
BFE>А вот если мы сравниваем два несуществующих файла, то функция их сравнения должна возвращать true или false?

Зависит исключительно от внутренних правил системы
1 вариант
Файлы обязаны существовать даже с пустым содержимым, отсутсвующий файл — ошибка.
В этом случае сравнение обязано возвращать false — неравно. Это если оно не возвращает исключений.

2 вариант
Пустые файлы в целях оптимизации могут не записываться. Тогда отсутсвующий файл эквивалентен пустому.
В этом случае должно вернуть true.

Более общего ответа не существует