Was ist die Überlappung von Saiten nach dem C-Standard?

Question

Von der C Standard:

7.21.2.4 Die Strncpy Funktion

Wenn das Kopieren zwischen Objekten erfolgt, die sich überlappen, ist das Verhalten nicht definiert.

---

Was überlappt?

Es ist klar, dass es überlappt, wenn der Anfang der Zielzeichenfolge das Ende der Quellenzeichenfolge kreuzt.

Aber überlappt sich im nächsten Beispiel?

const char* dateConst = "2017-01-25"; 
char* date = malloc(16); 
strcpy(date, dateConst); 

strncpy(date+4, date+5, 2); 
strncpy(date+6, date+8, 3); 

printf("%s\n", date); 

Ausgang: 20170125

Wenn Strncpy nur Symbole char von char copyes wie es in this implementation ist, sollte es kein Problem sein.

Answer 1

Wenn strncpy kopiert nur Symbole char von char wie es in dieser Implementierung ist, sollte es kein Problem geben.

Das ist genau das Problem. Der Standard gibt nicht an, auf welche Weise die Funktion arbeiten muss, sondern welche Ausgabe geben soll, und gibt gleichzeitig an, ob bei einer Überlappung das Ergebnis UB ist mögen .

Dies liegt daran, dass neue Anweisungen oder Prozessorarchitekturen die Verwendung neuer und effizienterer Anweisungen unterstützen könnten, die einem anderen Adressierungsweg folgen könnten (d. H. In umgekehrter Reihenfolge oder in gemischter Reihenfolge kopieren). Dies könnte zu einem Ergebnis führen, das nicht vorhersehbar ist, nämlich undefiniertes Verhalten.

Schließlich können Sie memmove Funktion verwenden, die explizit Überschneidungen erlaubt, oder schreiben Sie Ihre eigene Funktion, die Überlappung bewusst ist.

Answer 2

strncpy muss nicht auf eine bestimmte Art und Weise implementiert werden. Der C-Standard diktiert nur den API-Vertrag, dem er folgen sollte. Jede spezifische Implementierung kann sich dafür entscheiden, die Überschneidung zu einem Nicht-Problem zu machen, aber sie wird vom Standard nicht dazu gezwungen.

strncpy kann in Bezug auf memcpy implementiert werden, die bei der Überlappung von Quelle und Ziel einem undefinierten Verhalten unterliegt. Aber mit der oben genannten Spezifikation ist es vollkommen in Ordnung.