確定C 標準中取消引用未初始化指標的未定義行為
提出的問題旨在理解C 標準中認為的特定部分將未初始化的指標取消引用為未定義的行為。雖然先前對 5.3.1/1 和 3.7.3.2/4 的引用提供了相關信息,但它們沒有明確說明與使用未初始化指標相關的未定義行為。
答案就在第4.1 節中,該節解決了左值轉換問題右值(添加強調):
「左值(3.10)非函數、非陣列類型T 可以轉換為右值如果T 是不完整類型,則需要此轉換的程式是錯誤的(如果左值引用的物件不是該類型的物件)。並且不是從T 派生的類型的對象,或者如果該對象未初始化,則需要此轉換的程序具有未定義行為。指出,嘗試使用引用未初始化物件的左值(例如指標)將導致未定義的行為。因此,提供的程式碼範例:確實表現出未定義的行為,因為指標 ptr 是在沒有初始化的情況下使用的。
為了進一步研究此主題,請在 C 標準中搜尋「未初始化」 」將揭示涉及與未初始化物件相關的未定義行為的其他部分。
以上是C 標準中的何處取消引用定義為未定義行為的未初始化指標?的詳細內容。更多資訊請關注PHP中文網其他相關文章!