Pourquoi le standard C ++ gère-t-il le fichier en cherchant comme il le fait?

C ++ utilise le streamofftype pour représenter un décalage dans un flux (de fichier) et est défini comme suit dans [stream.types]:

using streamoff = implementation-defined ;

Le type streamoff est synonyme de l'un des types intégraux de base signés de taille suffisante pour représenter la taille de fichier maximale possible pour le système d'exploitation. 287)

287) Typiquement longue et longue.

Cela a du sens, car il permet de rechercher dans des fichiers volumineux (par opposition à l'utilisation long, qui ne peut avoir qu'une largeur de 32 bits).

[filebuf.virtuals] définit basic_filebufla fonction de rechercher dans un fichier comme suit:

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

off_typeest équivalent à streamoff, voir [iostreams.limits.pos]. Cependant, la norme explique ensuite les effets de la fonction. Je suis irrité par la toute dernière phrase, qui nécessite un appel à fseek:

Effets : widthnotons a_codecvt.encoding(). Si is_open() == false, ou off != 0 && width <= 0, l'opération de positionnement échoue. Sinon, si way != basic_ios::curou off != 0, et si la dernière opération a été sortie, mettez à jour la séquence de sortie et écrivez toute séquence non décalée. Ensuite, recherchez la nouvelle position: si width > 0, appelez fseek(file, width * off, whence), sinon appelez fseek(file, 0, whence).

fseekaccepte un longparamètre. Si off_typeet streamoffsont définis comme long long(comme suggéré par la norme), cela pourrait conduire à une conversion vers le bas longlors de l'appel fseek(file, width * off, whence)(conduisant à des bogues potentiellement difficiles à diagnostiquer). Cela remet en question toute la justification de l'introduction du streamofftype en premier lieu.

Est-ce intentionnel ou un défaut dans la norme?

Je pense que la conclusion que vous tirez de cela, qu'il existe une incompatibilité entre les flux C ++ et fseekqui conduira à des bogues d'exécution, est incorrecte. La situation semble être:

1. Sur les systèmes où longest 64 bits, streamoffest défini comme longet la seekofffonction appelle fseek.

2. Sur les systèmes où longest 32 bits mais le système d'exploitation prend en charge les décalages de fichiers 64 bits, streamoffest défini comme long longet seekoffappelle une fonction appelée fseekoou fseeko64qui accepte un décalage 64 bits.

Voici un extrait de la définition de seekoffsur mon système 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 signifie Large File Support .

Conclusion: Bien que la norme suggère une définition pour streamoffcela en conflit ostensiblement avec l'exigence d' seekoffinvocation fseek, les concepteurs de bibliothèques comprennent qu'ils doivent appeler la variante fseekqui accepte la gamme complète de décalages pris en charge par le système d'exploitation.