Условие для проверки файла на пустоту Pascal

[olga_v95]

Какое условие поставить, чтобы проверить пустой ли файл

[Stilet]

assing();
Reset(...);
if eof(..) then файл пуст.

[s-andriano]

Сначала нужно определиться, что значит "файл пустой":
- должен ли он иметь длину равную 0,
- должен ли он состоять исключительно из незначащих элементов (например, из нулей или символов пробела),
- должен ли он содержать признак конца файла в первой позиции,
- должны ли все содержащиеся в нем объекты содержать признак неактуальности/недействительности,
...

[olga_v95]

Должен иметь длину равную 0
Файл текстовый

[nati_94]

Сообщение от olga_v95

Должен иметь длину равную 0
Файл текстовый

например
if (feof(file)) break;

[Serge_Bliznykov]

Ольга, Вам же уже предложили готовый работающий код!

вот Вам ДВА различных варианта. Оба работают. Выбирайте тот, что больше нравится/понятнее...

вариант 1.

var f : Text;
begin
  Assign(f, 'D:\test2.txt');
  Reset(f);
  if eof(f)
    then WriteLn('Файл имеет размер равный нулю!')
    else WriteLn('файл имеет НЕ нулевой размер.');
  Close(f);
  
  Readln
end.

вариант 2.

var f : file; 
begin
  Assign(f, 'D:\test2.txt');
  Reset(f);
  if FileSize(f)=0 
    then WriteLn('Файл имеет размер равный нулю!')
    else WriteLn('файл имеет НЕ нулевой размер.');
  Close(f);
  
  Readln
end.

[s-andriano]

Сообщение от olga_v95

Должен иметь длину равную 0
Файл текстовый

1. Строго говоря, если файл имеет длину 0, то говорить о внутренней структуре не приходится. Поэтому вряд ли можно доподлинно утверждать, что такой файл является текстовым (хотя, никаких противоречий в этом тоже нет).
2. Если доподлинно известно, что файл именно текстовый, то проверка его на длину не дает уверенности, что он не пустой - текстовый файл может иметь длину большую 0 и при этом быть пустым.

[s-andriano]

Сообщение от Serge_Bliznykov

вот Вам ДВА различных варианта. Оба работают. Выбирайте тот, что больше нравится/понятнее...

Вообще говоря, эти два варианта не эквивалентны.
И, строго говоря, должны выдавать разный результат на файле, содержащем единственный символ #26 (EOF - конец файла).
Не знаю, как в других компиляторах, но в ТМТ этот стандарт нарушается.

[Serge_Bliznykov]

Сообщение от s-andriano

Вообще говоря, эти два варианта не эквивалентны.
И, строго говоря, должны выдавать разный результат на файле, содержащем единственный символ #26 (EOF - конец файла).

угу. всё так! И, строго говоря, Вы правы!

Тем более надо выбирать универсальный вариант с var f : file of byte; и FileSize(f)=0!

кстати, рекомендую обратить внимание, файл должен быть типизированный (file of byte или file of char):

var f : file of char;  { или можно f : file of byte;} 
begin
  Assign(f, 'D:\test2.txt');
  Reset(f);
  WriteLn('File size = ', FileSize(f));
  if FileSize(f)=0
    then WriteLn('Файл имеет размер равный нулю!')
    else WriteLn('файл имеет НЕ нулевой размер.');
  Close(f);
  
  Readln
end.