Wird snprintf () IMMER null beendet?

Ist snprintf immer null, um den Zielpuffer zu beenden?

Mit anderen Worten, ist dies ausreichend:

char dst[10];

snprintf(dst, sizeof (dst), "blah %s", somestr);

oder musst du das so machen, wenn somestr lang genug ist?

char dst[10];

somestr[sizeof (dst) - 1] = '\0';
snprintf(dst, sizeof (dst) - 1, "blah %s", somestr);

Ich interessiere mich sowohl für das, was der Standard sagt, als auch für das, was eine beliebte libc tun könnte, was kein Standardverhalten ist.

Wie die anderen Antworten ergeben: Es sollte :

snprintf... Schreibt die Ergebnisse in einen Zeichenfolgenpuffer. (...) wird mit einem Nullzeichen abgeschlossen, es sei denn, buf_size ist Null.

Sie müssen also nur darauf achten, dass Sie keinen Puffer mit der Größe Null an ihn übergeben, da er (offensichtlich) keine Null ins "Nirgendwo" schreiben kann.

Doch Vorsicht , dass Microsoft die Bibliothek nicht hat eine Funktion namens snprintfsondern historisch nur hatte eine Funktion namens _snprintf(Anmerkung führende Unterstrich) , die nicht nicht anhängen eine abschließende Null. Hier sind die Dokumente (VS 2012, ~~ VS 2013):

http://msdn.microsoft.com/en-us/library/2ts7cx93%28v=vs.110%29.aspx

Rückgabewert

Es sei len die Länge der formatierten Datenzeichenfolge (ohne die abschließende Null). len und count sind in Bytes für _snprintf, breite Zeichen für _snwprintf.

• Wenn len <count, werden len-Zeichen im Puffer gespeichert, ein Nullterminator wird angehängt und len wird zurückgegeben.

• Wenn len = count, werden len-Zeichen im Puffer gespeichert, kein Nullterminator wird angehängt und len wird zurückgegeben.

• Wenn len> count, werden die Zählzeichen im Puffer gespeichert, es wird kein Nullterminator angehängt und ein negativer Wert zurückgegeben.

(...)

Visual Studio 2015 (VC14) hat anscheinend die konforme snprintfFunktion eingeführt, aber die ältere mit dem führenden Unterstrich und dem nicht nullterminierenden Verhalten ist immer noch vorhanden:

Die snprintfFunktion schneidet die Ausgabe ab, wenn len größer oder gleich count ist, indem ein Nullterminator auf gesetzt wird buffer[count-1]. (...)

Für alle Funktionen andere als snprintf, wenn len = zählen, len Zeichen im Puffer gespeichert sind, wird kein Nullabschluss angefügt , (...)

Laut snprintf (3) Manpage.

Die Funktionen snprintf()und vsnprintf()schreiben höchstens sizeBytes (einschließlich des nachfolgenden Null-Bytes ('\ 0')) in str.

Also, ja, keine Notwendigkeit zu beenden, wenn Größe> = 1.

Gemäß dem C-Standard, es sei denn, die Puffergröße ist 0 vsnprintf()und snprintf()null beendet die Ausgabe.

Die snprintf()Funktion muss äquivalent zu sein sprintf(), wobei das Argument n hinzugefügt wird, das die Größe des Puffers angibt, auf den sich s bezieht. Wenn n Null ist, darf nichts geschrieben werden und s kann ein Nullzeiger sein. Andernfalls werden Ausgabebytes jenseits von n-1 verworfen, anstatt in das Array geschrieben zu werden, und am Ende der tatsächlich in das Array geschriebenen Bytes wird ein Nullbyte geschrieben.

Wenn Sie also wissen möchten, wie groß ein zuzuweisender Puffer ist, verwenden Sie eine Größe von Null, und Sie können dann einen Nullzeiger als Ziel verwenden. Beachten Sie, dass ich auf die POSIX-Seiten verlinkt habe, aber diese sagen ausdrücklich, dass es keine Abweichungen zwischen Standard C und POSIX geben soll, wenn sie denselben Grund abdecken:

Die auf dieser Referenzseite beschriebenen Funktionen entsprechen dem ISO C-Standard. Ein Konflikt zwischen den hier beschriebenen Anforderungen und der ISO C-Norm ist unbeabsichtigt. Dieses Volumen von POSIX.1-2008 entspricht dem ISO C-Standard.

Seien Sie vorsichtig mit der Microsoft-Version von vsnprintf(). Es verhält sich definitiv anders als die Standard-C-Version, wenn nicht genügend Speicherplatz im Puffer vorhanden ist (es gibt -1 zurück, wobei die Standardfunktion die erforderliche Länge zurückgibt). Es ist nicht ganz klar, dass die Microsoft-Version null ihre Ausgabe unter Fehlerbedingungen beendet, während dies bei der Standard-C-Version der Fall ist.

Beachten Sie auch die Antworten auf Verwenden Sie die sicheren Funktionen des TR 24731? (siehe MSDN für die Microsoft-Version der vsprintf_s()) und Mac-Lösung für die sicheren Alternativen zu unsicheren C-Standardbibliotheksfunktionen?

Einige ältere Versionen von SunOS haben seltsame Dinge mit snprintf gemacht und möglicherweise die Ausgabe nicht durch NUL beendet und Rückgabewerte erhalten, die nicht mit denen aller anderen übereinstimmten, aber alles, was in den letzten 10 Jahren veröffentlicht wurde, hat das getan, was C99 sagt.

Die Mehrdeutigkeit geht vom C-Standard selbst aus. Sowohl C99 als auch C11 haben eine identische snprintfFunktionsbeschreibung. Hier ist die Beschreibung von C99:

7.19.6.5 Die snprintfFunktion
Synopsis
1 #include <stdio.h> int snprintf(char * restrict s, size_t n, const char * restrict format, ...);
Beschreibung
2 Die snprintfFunktion entspricht fprintf, außer dass die Ausgabe in ein Array (durch Argument angegeben s) und nicht in einen Stream geschrieben wird. Wenn nNull ist, wird nichts geschrieben und skann ein Nullzeiger sein. Andernfalls werden Ausgabezeichen jenseits von n-1st verworfen, anstatt in das Array geschrieben zu werden, und am Ende der tatsächlich in das Array geschriebenen Zeichen wird ein Nullzeichen geschrieben. Wenn zwischen überlappenden Objekten kopiert wird, ist das Verhalten undefiniert.
Returns
3 Die snprintfFunktion gibt die Anzahl der Zeichen , die geschrieben wurden , hättenausreichend groß gewesen ist, ohne das abschließende Nullzeichen oder einen negativen Wert, wenn ein Codierungsfehler aufgetreten ist. Daher wurde die nullterminierte Ausgabe genau dann vollständig geschrieben, wenn der zurückgegebene Wert nicht negativ und kleiner als ist n.

Einerseits der Satz

Andernfalls werden Ausgabezeichen jenseits von n-1st verworfen, anstatt in das Array geschrieben zu werden, und am Ende der tatsächlich in das Array geschriebenen Zeichen wird ein Nullzeichen geschrieben

sagt, dass
wenn (die sPunkte auf ein 3 Zeichen langes Array und) n3 sind, 2 Zeichen geschrieben werden und die Zeichen jenseits des zweiten verworfen werden ; dann wird das Nullzeichen nach diesen 2 geschrieben (und das Nullzeichen ist das 3. geschriebene Zeichen) .

Und das beantwortet meiner Meinung nach die ursprüngliche Frage.
DIE ANTWORT:
Wenn zwischen überlappenden Objekten kopiert wird, ist das Verhalten undefiniert.
Wenn n0 ist, wird nichts in die Ausgabe geschrieben,
andernfalls wird die Ausgabe IMMER nullterminiert , wenn keine Codierungsfehler aufgetreten sind ( unabhängig davon, ob die Ausgabe in das Ausgabearray passt oder nicht ; wenn nicht, werden einige Zeichen so verworfen, dass die Ausgabe erfolgt Array wird nie überflogen),
andernfalls (wenn Codierungsfehler auftreten) kann die Ausgabe nicht nullterminiert bleiben .

Auf der anderen Seite
Der letzte Satz

Daher wurde die nullterminierte Ausgabe genau dann vollständig geschrieben, wenn der zurückgegebene Wert nicht negativ und kleiner als ist n

gibt Mehrdeutigkeit (oder mein Englisch ist nicht gut genug). Ich kann diesen Satz auf mindestens zwei Arten interpretieren:
1. Die Ausgabe wird genau dann nullterminiert , wenn der zurückgegebene Wert nicht negativ und kleiner als istn (was bedeutet, dass wenn der zurückgegebene Wert nicht kleiner als ist n, dh die Ausgabe (einschließlich der) Nullzeichen beenden) passt nicht in das Array, dann ist die Ausgabe nicht nullterminiert ).
2. Die Ausgabe ist genau dann abgeschlossen (es wurden keine Zeichen verworfen), wenn der zurückgegebene Wert nicht negativ und kleiner als istn .

Ich glaube, dass die obige Interpretation 1 DER ANTWORT widerspricht, Missverständnisse und langwierige Diskussionen hervorruft. Aus diesem Grund muss der letzte Satz, der die snprintfFunktion beschreibt, geändert werden, um Unklarheiten zu beseitigen (was Anlass gibt, einen Vorschlag für den C-Sprachstandard zu schreiben).
Das Beispiel für eine nicht mehrdeutige Formulierung, von der ich glaube, kann http://en.cppreference.com/w/c/io/fprintf (siehe 4)) entnommen werden , danke an @ "Martin Ba" für den Link.

Siehe auch die Frage " snprintf: Gibt es C-Standardvorschläge / Pläne zur Änderung der Beschreibung dieser Funktion? ".