std::string::c_str() und Temporäre

Ist der folgende C++-Code wohlgeformt:

void consumer(char const* p)
{
  std::printf("%s", p);
}

std::string random_string_generator()
{
  // returns a random std::string object
}

consumer(random_string_generator().c_str());

Das Problem, das ich damit habe, ist, dass nach dem Erstellen des temporären std::string-Objekts und dem Nehmen des c_str()-Zeigers nichts verhindert, dass das std::string-Objekt zerstört wird (oder liege ich falsch?). Kannst du mich bitte auf den Standard hinweisen, ob der Code trotz allem ok ist. Es funktioniert, wenn ich mit g ++ teste.

Der von zurückgegebene Zeiger std::string::c_str() zeigt auf Speicher, der vom String-Objekt verwaltet wird. Es bleibt gültig, bis eine nicht konstante Funktion für das Zeichenfolgenobjekt aufgerufen wird oder das Zeichenfolgenobjekt zerstört wird. Das String-Objekt, um das Sie sich Sorgen machen, ist ein temporäres Objekt. Es wird am Ende des vollständigen Ausdrucks zerstört, nicht davor und nicht danach. In Ihrem Fall steht das Ende des vollständigen Ausdrucks nach dem Aufruf von to consumer, damit Ihr Code sicher ist. Es wäre nicht wenn consumer
den Zeiger irgendwo gespeichert, mit der Idee, ihn später zu verwenden.

Die Lebensdauer von Temporären ist seit C++98 streng definiert. Davor war es je nach Compiler unterschiedlich, und der von Ihnen geschriebene Code hätte mit g++ nicht funktioniert (ungefähr vor 1995 – g++ änderte dies fast sofort, als das Standardkomitee darüber abstimmte). (Es gab keine std::string dann entweder, aber die gleichen Probleme betreffen jede vom Benutzer geschriebene Zeichenfolgenklasse.)

Das Temporäre std::string‘s Lebensdauer reicht nur über den Punkt hinaus, an dem consumer zurückgibt, so dass es sicher ist, alles auf dieser Zeichenfolge zu verwenden direkt von innen consumer. Was ist nicht OK ist, den Wert zu speichern c_str zurück und versuchen Sie es später zu verwenden (das Temporär wurde zerstört, und wir können nur raten, was Sie am anderen Ende des Zeigers finden werden).

Das von der Funktion random_string_generator() zurückgegebene Temporär kann sicher in der Consumer()-Funktion verwendet werden.