為什麼編譯器允許 C/C 中的變數自初始化？

自初始化中的未初始化變數：行為和標準

在程式設計領域，使用未初始化的變數通常是值得關注的問題。未初始化的變數被用作自己的初始化程序的情況下，會出現一種獨特的情況。

考慮以下程式碼：

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中文網其他相關文章！