儲存無效指標
雖然取消引用無效指標會導致未定義的行為,但出現了一個不太明確的問題:在指標變數中儲存無效記憶體位址的行為本身就是未定義行為嗎?
考慮以下程式碼片段:
<code class="c++">const char* str = "abcdef"; const char* begin = str; if (begin - 1 < str) { /* ... do something ... */ }</code>
在此範例中,表達式 begin - 1 的計算結果為無效的記憶體位址。但是,該位址並未明確取消引用,而是用於指標算術中以確定其有效性。
這種情況是否被視為未定義行為?
直觀上,有些人可能會認為事實並非如此,因為指針算術通常取決於此類操作。此外,指針本質上是整數。然而,有人斷言,由於潛在的架構影響(例如匯流排錯誤),即使只是將無效指標儲存到暫存器中的行為也可能是未定義的行為。
為了澄清這個問題,我們轉向相關的C或C標準。不幸的是,由於疏忽,這個問題仍然沒有解決。 C 草案標準的第 6.5.6/8 節概述了當指標指向數組元素並且數組足夠大或操作數指向最後一個數組元素時指針算術的語義。上述情況中的行為不屬於這些特定情況。因此,儲存無效指標是透過省略未定義行為。
以上是儲存無效的指標位址是未定義的行為嗎?的詳細內容。更多資訊請關注PHP中文網其他相關文章!