Отмяна на ефектите на ungetc() : Как го правят fseek(),rewind() и fsetpos()? Буферът презарежда ли се всеки път?

Един добър мисловен модел на върнатия знак е просто, че това е някакво допълнително малко свойство, което виси от FILE * обекта. Представете си, че имате:

typedef struct { 
   /* ... */
   int putback_char;
   /* ... */
} FILE;

Представете си, че putback_char се инициализира със стойността EOF, която показва, че "няма поставен знак", а ungetc просто съхранява знака в този член.

Представете си, че всяка операция за четене минава през getc и че getc прави нещо подобно:

int getc(FILE *stream)
{
   int ret = stream->putback_char;

   if (ret != EOF) {
     stream->putback_char = EOF;
     if (__is_binary(stream))
        stream->current_position--;
     return ret;
   }

   return __internal_getc(stream); /* __internal_getc doesn't know about putback_char */
}

Функциите, които изчистват отблъскването, просто присвояват EOF на putback_char.

С други думи, върнатият знак (и само един трябва да се поддържа) може всъщност да бъде миниатюрен буфер, който е отделен от обикновеното буфериране. (Помислете, че дори небуфериран поток поддържа ungetc: такъв поток трябва да постави байта или символа някъде.)

Що се отнася до индикатора за позиция, стандартът C99 казва следното:

За текстов поток стойността на неговия индикатор за позиция на файл след успешно извикване на функцията ungetc е неуточнена, докато всички избутани знаци не бъдат прочетени или отхвърлени. За двоичен поток неговият индикатор за позиция на файл се намалява при всяко успешно извикване на функцията ungetc; ако стойността му е била нула преди повикване, тя е неопределена след извикването. [7.19.7.11 Функцията ungetc]

Така че препратката към www.cplusplus.com, която използвате, е неправилна; поведението на ftell не е недефинирано, когато има чакащи символи, върнати обратно с ungetc. За текстови потоци стойността не е посочена. Достъпът до неуточнена стойност не е недефинирано поведение, тъй като неуточнена стойност не може да бъде представяне на прихващане. Недефинираното поведение съществува за двоични потоци, ако възникне обратно изтласкване на позиция нула, тъй като тогава позицията става неопределена. Неопределено означава, че това е неопределена стойност, която може да бъде представяне на прихващане. Достъпът до него може да спре програмата със съобщение за грешка или да задейства други поведения.

По-добре е да получавате език за програмиране и библиотечни спецификации от устата на коня, а не от произволни уебсайтове.

Да започнем отначало,

int ungetc(int c, FILE *stream);

Функцията ungetc() трябва да избута байта, определен от c (преобразуван в неподписан char) обратно във входния поток, към който сочи stream. Символът виртуално се връща обратно във входен поток, намалявайки вътрешната му файлова позиция, както при предишен getc операцията беше отменена. Това засяга само по-нататъшните операции за въвеждане на този поток, а не съдържанието на физическия файл, свързан с него, който не се променя от никакви извиквания на тази функция.

int fseek(FILE *stream, long offset, int whence);

Новата позиция, измерена в байтове от началото на файла, се получава чрез добавяне на отместване към позицията, посочена откъде. Посочената точка е началото на файла за SEEK_SET, текущата стойност на индикатора за файлова позиция за SEEK_CUR или края на файла за SEEK_END.fseek или изчиства всеки буфериран изход, преди да зададе позицията на файла, или го запомня, така че ще бъде записано по-късно на правилното място във файла

int fsetpos(FILE *stream, const fpos_t *pos);

Функцията fsetpos() задава позицията на файла и индикаторите за състояние за потока, към който сочи поток, според стойността на обекта, към който сочи pos, която трябва да бъде стойност, получена от по-ранно извикване на fgetpos() на същия поток.

void rewind(FILE *stream);

Функцията за пренавиване препозиционира указателя на файла, свързан с потока, в началото на файла. Обаждането за пренавиване е подобно на

(недействително) fseek(поток, 0L, SEEK_SET);

Така че, както виждате ungetc(), избутването на знаци не променя файла; само вътрешното буфериране за потока е засегнато. така че вторият ви коментар „Другата опция е да заредите копие на оригиналния файл в буфера и да поставите указателя на файла на желаната позиция“ е правилен.

Сега отговарям на втория ви въпрос - Успешно намесено извикване (с потока, посочен от поток) към функция за позициониране на файл отхвърля всички избутани знаци за потока. Външното хранилище, съответстващо на потока, е непроменено