Warum verursachen automatische Variablen Segfaults, wenn sie mit Boost Spirit-Parsern verwendet werden?

Parser automatischen Variablen zuweisen

Bei der Verwendung von Boost Spirit ist es wichtig, die Auswirkungen der Zuweisung von Parsern zu automatischen Variablen zu verstehen.

Der ursprüngliche Codeausschnitt hebt ein eigenartiges Verhalten hervor: die Inline-Übergabe eines Parsers an qi::parse() funktioniert, aber die Übergabe über eine Auto-Variable führt zu einem Segfault. Diese offensichtliche Diskrepanz entsteht durch eine Einschränkung der Spirit V2-Parser.

Die zugrunde liegenden Proto-Ausdrucksvorlagen in Spirit-Parsern enthalten Verweise auf Temporäre, was bei der Zuweisung zu automatischen Variablen zu Problemen führen kann. Die Variable auto selbst ist temporär, was dazu führt, dass ihre Lebensdauer kürzer ist als der Speicher des referenzierten Parsers. Folglich kann die Dereferenzierung des Parsers zu nicht spezifiziertem Verhalten, einschließlich Segfaults, führen.

Um dieses Problem zu entschärfen, bietet Boost Spirit V2 mehrere Lösungen:

• Verwenden Sie qi::copy(), verfügbar in den neuesten Trunk-Versionen von Boost nach Boost_1_55_0.
• Employ boost::proto::deep_copy.
• Nutzen Sie BOOST_SPIRIT_AUTO, wie im bereitgestellten Link vorgestellt.

Alternativ hat Boost Spirit X3 diese Einschränkung behoben und ermöglicht so eine flexiblere Parser-Handhabung.

Das obige ist der detaillierte Inhalt vonWarum verursachen automatische Variablen Segfaults, wenn sie mit Boost Spirit-Parsern verwendet werden?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!