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

VF>А если у одного из файлов имя invalid?
Тогда пишите новый тип данных, у которого понятие "пустой" содержит не единственное значение.