Чому стандартний файл C ++ обробляє файл так, як це робиться?

C ++ використовує streamoffтип для відображення зміщення в потоці (файл) і визначається наступним чином у [stream.types]:

using streamoff = implementation-defined ;

Тип streamoff є синонімом одного з підписаних основних інтегральних типів достатнього розміру, щоб представити максимально можливий розмір файлу для операційної системи. 287)

287) Зазвичай довгий довгий.

Це має сенс, оскільки він дозволяє шукати у великих файлах (на відміну від використання long , який може бути лише 32 біта шириною).

[filebuf.virtuals] визначає basic_filebufфункцію пошуку у файлі наступним чином:

pos_type seekoff(off_type off, ios_base::seekdir way, ios_base::openmode which = ios_base::in | ios_base::out) override;

off_typeеквівалентно streamoff, див. [iostreams.limits.pos]. Однак стандарт продовжує пояснювати ефекти функції. Мене дратує саме останнє речення, яке вимагає дзвінка fseek:

Ефекти : Нехай widthпозначають a_codecvt.encoding(). Якщо is_open() == falseабо off != 0 && width <= 0, то операція позиціонування не вдасться. В іншому випадку, якщо way != basic_ios::curабо off != 0, і якщо була виведена остання операція, то оновіть послідовність виводу і запишіть будь-яку послідовність без змін. Далі, перейдіть до нової позиції: якщо width > 0, дзвоніть fseek(file, width * off, whence), інакше дзвоніть fseek(file, 0, whence).

fseekприймає longпараметр. Якщо off_typeі streamoffвизначено як long long(як це пропонує стандарт), це може призвести до переходу вниз longпри виклику fseek(file, width * off, whence)(що призводить до потенційно важкої діагностики помилок). Це ставить під сумнів ціле обгрунтування впровадження streamoffтипу.

Це навмисне чи дефект стандарту?

Я думаю, що висновок, який ви робите з цього, про те, що між потоками C ++ є невідповідність і fseekщо призведе до помилок виконання, є невірним. Схоже, ситуація така:

1. У системах, де long64 біт, streamoffвизначається як long, а seekoffфункція викликає fseek.

2. У системах з long32-бітною версією, але ОС підтримує 64-розрядні зсуви файлів, streamoffвизначається як long longі seekoffвикликає функцію, що називається або, fseekoабо fseeko64приймає 64-бітове зміщення.

Ось фрагмент з визначення seekoffв моїй системі Linux:

#ifdef _GLIBCXX_USE_LFS
    if (!fseeko64(_M_file, __off, __whence))
      __ret = std::streampos(ftello64(_M_file));
#else
    if (!fseek(_M_file, __off, __whence))
      __ret = std::streampos(std::ftell(_M_file));
#endif

LFS розшифровується як підтримка великих файлів .

Висновок: Хоча стандарт пропонує визначення для streamoff яке нібито суперечить вимозі, яку seekoffвикликають fseek, дизайнери бібліотек розуміють, що вони повинні викликати варіант, fseekякий приймає весь спектр компенсацій, які підтримує ОС.