lvalue-to-rvalue-Konvertierung und undefiniertes Verhalten in int x = x;

In C waren die Frage, ob die Zuweisung eines nicht initialisierten Wertes zu sich selbst ein Undefiniertes Verhalten darstellt. Der Standard (3.3.2) erklärt, dass die Initialisierung einer Variablen mit sich selbst, wie im Beispiel int x = x;, zu unerwarteten Ergebnissen führen kann. Angenommen, das rechte Hand ist eine nicht initialisierte automatische Variable mit einem unbestimmten Wert. Gemäß dem Standard (4.1) führt die Durchführung einer Konvertierung von Lvalue-to-RValue zu einem solchen Wert in undefiniertem Verhalten. Beispielsweise sind die Standardnotizen, die integrierte Zuordnungsbetreiber für den richtigen Operanden umgestalten. Andere Bestimmungen zeigen auch, dass die Konvertierung von Lvalue-to-RValue im Allgemeinen erwartet wird, außer wenn sie ausdrücklich etwas anderes angegeben haben. Evidence suggests that the intended specification is to expect prvalues ​​wherever a value is needed.

Assuming the conjecture holds true, initializing x with itself would require lvalue-to-rvalue conversion on an uninitialized value, leading to undefined Behavior.

Weitere Beweise entstehen aus der Berücksichtigung des Code, der nicht initialisierte Variablen mit unterschiedlichen Typen und unterschiedlichen Aufgaben zuweist. Inkonsistentes Verhalten, wie das Verhinderung von LVALUE-to-RValue-Konvertierung bei der Referenzinitialisierung, aber die Objektinitialisierung zu ermöglichen, wird der Ansicht Glaubwürdigkeit verleiht, dass die Konvertierung von Lvalue-to-RValue für die Kopieninitialisierung erwartet wird. LVALUE-to-Relevalue-Konvertierung. Dies deutet auf die Absicht hin, ein definiertes Verhalten in Fällen wie int x = x;

basierend auf den dargestellten Beweisen zu schließen, dass in der Initialisierung in der Initialisierung in der Initialisierung erforderlich ist. Dies führt wiederum zu undefiniertem Verhalten aufgrund der nicht initialisierten Natur der rechten X. Die Inkonsistenzen des Standards und das Bedürfnis zur Klärung unterstreichen die Bedeutung detaillierter Spezifikationen für Wertkategorien.