在程式設計領域,使用未初始化的變數通常是值得關注的問題。未初始化的變數被用作自己的初始化程序的情況下,會出現一種獨特的情況。
考慮以下程式碼:
int main(void) { int i = i; }
令人驚訝的是,這段程式碼可以用 clang/gcc 編譯/clang /g 使用 11 等標準。此外,當您指定 -Wall -Wextra 選項時,編譯器不會發出任何警告。
但是,如果您將程式碼變更為int i = i 1; 並指定-Wall 選項,您可能會收到類似於以下內容的警告:
why.c:2:13: warning: variable 'i' is uninitialized when used within its own initialization [-Wuninitialized] int i = i + 1; ~ ^ 1 warning generated.
那麼為什麼編譯器允許這段程式碼呢?另外,C/C標準是如何規定的?
編譯器容差
變數 i 在自初始化時未初始化,因此此時它有一個非特定值。非特定值是未指定值或陷阱表達式。
如果實現支援整數類型的填充位並且非特定值是陷阱表達式,那麼使用它將導致未定義的行為。
如果實現沒有整數填充位,則該值只是未指定且不會發生未定義行為。
標準條款
C11 標準詳細資料第 6.3.2.1p2 節:
左值表示一個具有自動存儲期限的對象,該對象可以使用寄存器存儲類聲明(地址從未被佔用),並且該對象未初始化(如果它沒有在初始化器中聲明並且沒有賦值在使用之前執行),其行為是未定義的。
因此,如果你從未獲得 i 的位址,你將得到未定義的行為。否則,適用上述聲明。
以上是為什麼編譯器允許 C/C 中的變數自初始化?的詳細內容。更多資訊請關注PHP中文網其他相關文章!