Welchen Nutzen hat die Nullpunktverschiebung in der Funktion fseek() mit SEEK_CUR?

while (fread(&product, sizeof(Product), 1, file) == 1) {
        product.price *= 2.0;
        fseek(file, -sizeof(Product), SEEK_CUR);
        fwrite(&product, sizeof(Product), 1, file);
        fseek(file, 0, SEEK_CUR);
}

Mit dem obigen Code habe ich versucht, den Preis jedes Produkts in der Binärdatei zu verdoppeln, wobei jeder Datensatz eine Instanz einer Produktstruktur ist. Als ich diesen Code ausgeführt habe, wurden alle Preise in der Datei korrekt aktualisiert.

So weit ich weiß, fread Verschiebt den Dateizeiger automatisch auf den nächsten Datensatz. Mit dem ersten fseek, verschiebt der Code den Dateizeiger zurück an den Anfang des Datensatzes. Dann aktualisiert es es mit fwrite. fwrite Verschiebt den Dateizeiger automatisch auf den nächsten Datensatz. In der while-Schleife fread sollte mit dem Lesen des nächsten Datensatzes fortfahren und so weiter.

Es scheint, dass fseek(file, 0, SEEK_CUR); ist hier unnötig. Wenn ich es jedoch entferne, gerät der Code in eine Endlosschleife. Ich kann nicht herausfinden, warum das passiert.

Ich habe versucht, den Wert des Dateizeigers zu beobachten ftell. Aber ich habe danach keine Wertänderung festgestellt fseek(file, 0, SEEK_CUR);.

Wenn ein Stream sowohl zum Lesen als auch zum Schreiben geöffnet ist, dürfen Sie nicht direkt zwischen Lesen und Schreiben wechseln. §7.21.5.3 ¶7 der ISO C11-Norm gibt folgendes an:

Wenn eine Datei im Aktualisierungsmodus geöffnet wird („+“ als zweites oder drittes Zeichen in der obigen Liste der Modusargumentwerte), können sowohl Eingabe als auch Ausgabe für den zugehörigen Stream durchgeführt werden. Auf die Ausgabe darf jedoch nicht direkt eine Eingabe folgen, ohne dass die Flush-Funktion oder eine Dateipositionierungsfunktion (fseek, fsetpos oder rewind) aufgerufen wird, und auf die Eingabe darf nicht direkt eine Ausgabe folgen, ohne dass eine Dateipositionierung aufgerufen wird Funktion, es sei denn, die Eingabeoperation stößt auf ein Dateiende.

Wenn Sie die Zeile entfernen

fseek(file, 0, SEEK_CUR);

dann verstößt Ihr Programm gegen diese Regel, die aufgerufen wird undefiniertes Verhalten. Das bedeutet, dass alles passieren kann, einschließlich der Möglichkeit, dass Ihr Programm in einer Endlosschleife stecken bleibt.

Einige Dateisysteme, die bei der Durchführung zufälliger Suchvorgänge eher langsam sind, sind so konzipiert, dass sie mithilfe separater Lese- und Schreibzeiger eine effiziente Verarbeitung von Lese-, Änderungs- und Schreibvorgängen für eine Folge von Datensätzen ermöglichen. Ein Programm wie Ihres kann möglicherweise darauf verzichten fseek Vorgänge setzten ausschließlich voraus, dass die Menge der gelesenen Daten mit der Menge der geschriebenen Daten übereinstimmte, und würden ohne diese möglicherweise viel schneller ausgeführt fseek() Operationen als es ausgeführt werden würde, wenn sie enthalten wären.

Die Implementierung der AC-Standardbibliothek müsste nachverfolgen, ob der letzte an einer Datei ausgeführte Vorgang ein Schreib- oder Lesevorgang war, also ein relativer Vorgang fseek() könnte relativ zur aktuellen Leseposition oder der aktuellen Schreibposition arbeiten, abhängig davon, welche Art von Operation zuletzt ausgeführt wurde, könnte es aber ermöglichen, dass geschriebene Programme duale Dateizeiger ausnutzen, um die damit verbundenen Leistungssteigerungen zu erzielen, wenn sie auf Systeme abzielen, die sie verwenden.

Obwohl der Standard das Verhalten beim Schreiben und Lesen ohne Eingreifen hätte kategorisieren können fseek() Als Implementierungsdefiniert würde dies bedeuten, dass Implementierungen versuchen sollten, sich in einer konsistenten dokumentierten Weise zu verhalten, selbst wenn sie auf Plattformen mit Eckfallverhalten abzielen, das nicht immer vorhersehbar ist.