Ist das Speichern einer ungültigen Zeigeradresse ein undefiniertes Verhalten?

Speichern eines ungültigen Zeigers

Während allgemein bekannt ist, dass die Dereferenzierung eines ungültigen Zeigers zu undefiniertem Verhalten führt, stellt sich eine weniger klare Frage: Ist das Speichern einer ungültigen Speicheradresse in einer Zeigervariablen selbst ein undefiniertes Verhalten?

Betrachten Sie den folgenden Codeausschnitt:

<code class="c++">const char* str = "abcdef";
const char* begin = str;
if (begin - 1 < str) { /* ... do something ... */ }</code>

In diesem Beispiel wird der Ausdruck begin - 1 zu an ausgewertet ungültige Speicheradresse. Allerdings wird die Adresse nicht explizit dereferenziert, sondern vielmehr in der Zeigerarithmetik verwendet, um ihre Gültigkeit zu bestimmen.

Gilt dieses Szenario als undefiniertes Verhalten?

Intuitiv mögen einige das argumentieren Dies ist jedoch nicht der Fall, da die Zeigerarithmetik oft von solchen Operationen abhängt. Darüber hinaus sind Zeiger von Natur aus ganze Zahlen. Es wurde jedoch behauptet, dass selbst das bloße Speichern eines ungültigen Zeigers in einem Register aufgrund möglicher architektonischer Auswirkungen (z. B. Busfehler) ein undefiniertes Verhalten darstellen kann.

Um diese Angelegenheit zu klären, wenden wir uns dem zu relevanten C- oder C-Standards. Leider bleibt dieses Problem durch Unterlassungen ungelöst. Abschnitt 6.5.6/8 des C Draft Standard beschreibt die Semantik der Zeigerarithmetik, wenn der Zeiger auf ein Array-Element zeigt und das Array ausreichend groß ist oder wenn der Operand eins nach dem letzten Array-Element zeigt. Das Verhalten in der oben beschriebenen Situation fällt nicht unter diese konkreten Fälle. Daher das Speichern eines ungültigen Zeigers ist durch Weglassen ein undefiniertes Verhalten.

Das obige ist der detaillierte Inhalt vonIst das Speichern einer ungültigen Zeigeradresse ein undefiniertes Verhalten?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!