Функция fseek()

Не могу понять принцип работы функции fseek в С. Допустим, сначала открываем текстовый файл для чтения: fp=fopen(...). Это приводит к тому, что создается указатель на структуру FILE, содержимое полей _base и _prt при этом NULL. Далее пытаемся прочесть несколько символов ch=getc(fp), ... Часть файла заносится в буфер, адрес которого записывается в _base, а позиционирование по файлу осуществляется по указателю _ptr. Казалось, что когда мы хотим получить доступ к определенному байту, fseek просто корректирует значение _ptr. Но как я понял, получается, что fseek просто заново записывает файл в буфер уже начиная с указанного в аргументах места. Или я неправильно понял?

Ответ

когда мы хотим получить доступ к определенному байту, fseek просто корректирует значение _ptr.
Новая позиция в файле может находиться за пределами буфера, причём в обе стороны. В вашей реализации fseek() решили, что нерационально проверять граничные условия, а проще сразу
fseek просто заново записывает файл в буфер уже начиная с указанного в аргументах места.
Но на самом деле это не имеет значения. Потому что реализаций fseek() может быть (и есть) много, как и вариантов структуры FILE. И что актуально для одной реализации/одного варианты структуры, не имеет смысла для других. Например, "моя" FILE (в смысле на моей ОС и в моём компиляторе) выглядит так:
struct _IO_FILE { int _flags; /* High-order word is _IO_MAGIC; rest is flags. */ #define _IO_file_flags _flags
/* The following pointers correspond to the C++ streambuf protocol. */ /* Note: Tk uses the _IO_read_ptr and _IO_read_end fields directly. */ char* _IO_read_ptr; /* Current read pointer */ char* _IO_read_end; /* End of get area. */ char* _IO_read_base; /* Start of putback+get area. */ char* _IO_write_base; /* Start of put area. */ char* _IO_write_ptr; /* Current put pointer. */ char* _IO_write_end; /* End of put area. */ char* _IO_buf_base; /* Start of reserve area. */ char* _IO_buf_end; /* End of reserve area. */ /* The following fields are used to support backing up and undo. */ char *_IO_save_base; /* Pointer to start of non-current get area. */ char *_IO_backup_base; /* Pointer to first valid character of backup area */ char *_IO_save_end; /* Pointer to end of non-current get area. */
struct _IO_marker *_markers; struct _IO_FILE *_chain; int _fileno;
#if 0 int _blksize; #else int _flags2; #endif _IO_off_t _old_offset; /* This used to be _offset but it's too small. */
#define __HAVE_COLUMN /* temporary */ /* 1+column number of pbase(); 0 is unknown. */ unsigned short _cur_column; signed char _vtable_offset; char _shortbuf[1];
/* char* _save_gptr; char* _save_egptr; */ _IO_lock_t *_lock; #ifdef _IO_USE_OLD_IO_FILE };
Немного отличается от пары _base/_ptr?