首頁 > 後端開發 > C++ > 為什麼編譯器允許 C/C 中的變數自初始化?

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

Susan Sarandon
發布: 2024-11-16 06:50:03
原創
569 人瀏覽過

Why does the compiler allow self-initialization of variables in 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中文網其他相關文章!

來源:php.cn
本網站聲明
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn
作者最新文章
熱門教學
更多>
最新下載
更多>
網站特效
網站源碼
網站素材
前端模板