


Lauert undefiniertes Verhalten in der std::string-Verkettung im Code von Bjarne Stroustrup?
Oct 23, 2024 pm 06:14 PMZeigt der Verkettungsausdruck von std::string in Bjarne Stroustrups Code undefiniertes Verhalten?
In Bjarne Stroustrups ?The C Programming Language“, 4. Auflage , ein Codeausschnitt veranschaulicht die Verkettung mithilfe der Ersetzungsmethode von std::string:
<code class="cpp">void f2() { std::string s = "but I have heard it works even if you don't believe in it"; s.replace(0, 4, "").replace(s.find("even"), 4, "only").replace(s.find(" don't"), 6, ""); assert(s == "I have heard it works only if you believe in it"); }</code>
Dieser Code zeigt jedoch nicht spezifiziertes Verhalten, anstatt undefiniertes Verhalten aufzurufen.
Der Der Grund für dieses nicht spezifizierte Verhalten liegt in der Reihenfolge der Auswertung, die für Unterausdrücke verketteter Funktionsaufrufe nicht spezifiziert ist. In diesem Fall werden die s.find-Funktionsaufrufe entweder vor oder nach dem ersten s.replace-Aufruf ausgewertet, wodurch sich die L?nge der resultierenden Zeichenfolge ?ndert und sich auf das Ergebnis des nachfolgenden find-Aufrufs auswirkt.
Das Beispiel in der Frage zeigt dies: Bei der Auswertung durch verschiedene Compiler (clang, gcc) werden aufgrund unterschiedlicher Auswertungsreihenfolgen unterschiedliche Ergebnisse erzielt.
Details
Funktionsargumente haben eine nicht spezifizierte Auswertungsreihenfolge und zwar Durch die Verkettung von Funktionsaufrufen wird für jeden Funktionsaufruf eine Auswertungsreihenfolge von links nach rechts eingeführt. Die Argumente jedes Aufrufs werden vorher nur in Bezug auf diesen bestimmten Funktionsaufruf sequenziert.
Im Beispiel Diese Unbestimmtheit entsteht bei der Auswertung von s.find("even") und s.find("don't") in Bezug auf s.replace(0, 4, "").
Ignorieren weiterer Sub -Ausdrucksaufschlüsselungen, die Reihenfolge der Bewertungsschritte und ihre gegenseitige Abh?ngigkeit k?nnen wie folgt dargestellt werden:
Step 1: s.replace(0, 4, "") // A Step 2: s.find("even") // B Step 3: s.replace(B, 4, "only") // C Step 4: s.find("don't") // D Step 5: s.replace(D, 6, "") // E
W?hrend A vor B sequenziert wird, das wiederum vor C sequenziert wird, gibt es keine Sequenzierungsbeziehung zwischen B und D in Bezug auf A. Daher kann D entweder vor oder nach A ausgewertet werden, was je nach gew?hlter Reihenfolge zu unterschiedlichen Ergebnissen führt.
C 17 ?nderungen
Der C 17-Standard st?rkt die Reihenfolge der Bewertungsregeln für Postfix-Ausdrücke und ihre Ausdrucksliste und verleiht dem betreffenden Code ein klar spezifiziertes Verhalten. Die Reihenfolge ist wie folgt:
- Der Postfix-Ausdruck wird vor jedem Ausdruck in der Ausdrucksliste sequenziert.
- Die Initialisierung jedes Parameters ist in Bezug auf die Initialisierung aller Parameter unbestimmt sequenziert anderer Parameter.
Daher wird dieser Code in C 17 und h?her immer korrekt ausgewertet.
Das obige ist der detaillierte Inhalt vonLauert undefiniertes Verhalten in der std::string-Verkettung im Code von Bjarne Stroustrup?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!

Hei?e KI -Werkzeuge

Undress AI Tool
Ausziehbilder kostenlos

Undresser.AI Undress
KI-gestützte App zum Erstellen realistischer Aktfotos

AI Clothes Remover
Online-KI-Tool zum Entfernen von Kleidung aus Fotos.

Clothoff.io
KI-Kleiderentferner

Video Face Swap
Tauschen Sie Gesichter in jedem Video mühelos mit unserem v?llig kostenlosen KI-Gesichtstausch-Tool aus!

Hei?er Artikel

Hei?e Werkzeuge

Notepad++7.3.1
Einfach zu bedienender und kostenloser Code-Editor

SublimeText3 chinesische Version
Chinesische Version, sehr einfach zu bedienen

Senden Sie Studio 13.0.1
Leistungsstarke integrierte PHP-Entwicklungsumgebung

Dreamweaver CS6
Visuelle Webentwicklungstools

SublimeText3 Mac-Version
Codebearbeitungssoftware auf Gottesniveau (SublimeText3)

STD :: CHRONO wird in C verwendet, um die Zeit zu verarbeiten, einschlie?lich des Erhaltens der aktuellen Zeit, der Messung der Ausführungszeit, der Betriebszeit und -dauer und der Formatierungsanalysezeit. 1. Verwenden Sie std :: chrono :: system_clock :: Now (), um die aktuelle Zeit zu erhalten, die in eine lesbare Zeichenfolge konvertiert werden kann, aber die Systemuhr ist jedoch m?glicherweise nicht eint?nig. 2. Verwenden Sie STD :: Chrono :: Steady_clock, um die Ausführungszeit zu messen, um die Monotonie zu gew?hrleisten, und umwandeln Sie sie durch Duration_cast in Millisekunden, Sekunden und andere Einheiten; 3. Zeitpunkt (Time_Point) und Dauer (Dauer) k?nnen interoperabel sein, aber die Aufmerksamkeit der Einheitenkompatibilit?t und der Uhr -Epoche (Epoche) sollte beachtet werden.

Es gibt haupts?chlich die folgenden Methoden, um Stapelspuren in C: 1 zu erhalten. Verwenden Sie Backtrace- und Backtrace_Symbols -Funktionen auf der Linux -Plattform. Durch Einbeziehung des Anrufstapels und der Drucksymbolinformationen muss der Parameter -rdynamische Parameter beim Kompilieren hinzugefügt werden. 2. Verwenden Sie CapturestackbackTrace -Funktion auf der Windows -Plattform, und Sie müssen dbgHelp.lib verknüpfen und sich auf die PDB -Datei verlassen, um den Funktionsnamen zu analysieren. 3.. Verwenden Sie Bibliotheken von Drittanbietern wie GoogleBreakpad oder Boost.Stacktrace, um die Operationen der Stack-Erfassungen plattformübergreifend zu plattformieren und zu vereinfachen. 4. Kombinieren Sie in Ausnahmebehandlung die oben genannten Methoden, um die Informationen zur automatischen Ausgabe von Stapelinformationen in Fangbl?cken auszuführen

In C bezieht sich der Typ Pod (PlainoldData) auf einen Typ mit einer einfachen Struktur und kompatibel mit C -Sprachdatenverarbeitung. Es muss zwei Bedingungen erfüllen: Es verfügt über eine gew?hnliche Kopiensemantik, die von memcpy kopiert werden kann; Es hat ein Standardlayout und die Speicherstruktur ist vorhersehbar. Zu den spezifischen Anforderungen geh?ren: Alle nicht statischen Mitglieder sind ?ffentlich, keine benutzerdefinierten Konstrukteure oder Zerst?rer, keine virtuellen Funktionen oder Basisklassen, und alle nicht statischen Mitglieder selbst sind Schoten. Zum Beispiel strukturpoint {intx; inty;} ist Pod. Zu den Verwendungen geh?ren bin?re E/A, C -Interoperabilit?t, Leistungsoptimierung usw. Sie k?nnen prüfen, ob der Typ Pod über std :: is_pod ist, es wird jedoch empfohlen, STD :: IS_TRIVIA nach C 11 zu verwenden.

Um den Python -Code in C aufzurufen, müssen Sie zuerst den Interpreter initialisieren und dann die Interaktion erreichen, indem Sie Zeichenfolgen, Dateien oder aufrufen oder bestimmte Funktionen aufrufen. 1. Initialisieren Sie den Interpreter mit py_initialize () und schlie?en Sie ihn mit py_finalize (); 2. Führen Sie den String -Code oder pyrun_simpleFile mit pyrun_simpleFile aus; 3.. Importieren Sie Module über pyimport_importmodule, erhalten Sie die Funktion über PyObject_getAttrstring, konstruieren

FunktionshidingInc -Auftrittsklasse -DefinesFunctionWithThesamenameasAsaBaseClassfunction und MakeTheBaseVersioninaccessiblethroughThederedClass

In C gibt es drei Hauptmethoden, um Funktionen als Parameter zu übergeben: Verwenden von Funktionszeigern, STD :: Funktions- und Lambda -Ausdrücken sowie Vorlagengenerika. 1. Funktionszeiger sind die grundlegendste Methode, geeignet für einfache Szenarien oder C -Schnittstelle kompatibel, aber schlechte Lesbarkeit; 2. Std :: Funktion in Kombination mit Lambda-Ausdrücken ist eine empfohlene Methode im modernen C, die eine Vielzahl von Callable-Objekten unterstützt und Typ-Safe ist. 3. Die Vorlagen -Generikummethoden sind die flexibelsten und für Bibliothekscode oder allgemeinen Logik geeignet, k?nnen jedoch die Kompilierungszeit und das Codevolumen erh?hen. Lambdas, die den Kontext erfassen, müssen durch std :: function oder template übergeben werden und k?nnen nicht direkt in Funktionszeiger konvertiert werden.

ANullPointerinc isaspecialValueInDicatingThatapoInterdoesNotPointToanyvalidmemoryLocation, AnditisusedtoSafelyManageandCheckpointersbefordereferencent.1.Beforec 11.0ornUllWaSused, ButnownullpreferredforclarityTypesafety.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.2.

STD :: MOVE MOVE MOVESS WIRD ALLES, sondern umwandelt das Objekt nur in eine RValue -Referenz und teilt dem Compiler mit, dass das Objekt für einen Umzugsvorgang verwendet werden kann. Wenn beispielsweise String -Zuordnung die Verschiebung der Semantik unterstützt, kann das Zielobjekt die Quellobjektressource ohne Kopieren übernehmen. Sollte in Szenarien verwendet werden, in denen Ressourcen übertragen und leistungsempfindlich werden müssen, z. B. die Rückgabe lokaler Objekte, Einfügen von Containern oder das Austausch von Eigentum. Es sollte jedoch nicht missbraucht werden, da es ohne sich bewegende Struktur in eine Kopie entartet und der ursprüngliche Objektstatus nach der Bewegung nicht angegeben ist. Angemessene Verwendung beim übergeben oder Rückgeben eines Objekts kann unn?tige Kopien vermeiden. Wenn die Funktion jedoch eine lokale Variable zurückgibt, kann bereits eine RVO -Optimierung auftreten. Hinzufügen von STD :: MOVE kann die Optimierung beeinflussen. Zu den Fehlern geh?ren Missbrauch gegen Objekte, die noch verwendet werden müssen, unn?tige Bewegungen und nicht bewegbare Typen
