堆棧上的本地範圍記錄

Question

請考慮以下C函數。
是否打開大括號以創建局部範圍使編譯器在堆棧上創建記錄以維護範圍中聲明的變量？

void function() 
{ 
    int q,r; 
    ... 
    { 
     int i = 0; 
     int j = 3; 
     q = j + 1; 
    } 
    ... 
} 

如果是這樣，編譯器採取同樣用，而塊？

例如：

void function() 
{ 
    int q,r; 
    ...  
    while(conditions) 
    { 
     int i = 0; 
     int j = 3;  
     q = j + 1;  
    } 
    ... 
} 

Answer 1

不是由C標準中指定的堆疊的佈置。

花括號（{}）引入了一個新的範圍，所以原則上，這可以在堆棧上創建一個新框架。但編譯器可能會選擇優化這個開銷。

Answer 2

這取決於編譯器。良好的現代編譯器會優化這些代碼。這將在編譯時計算

int j = 3; 
q=j+1; 

和製造類似

q=4; 

同爲第二個例子。變量j將被放置在堆棧中，甚至可能放入一個寄存器中，其值設置爲3，然後通過循環迭代進行處理。

Answer 3

{}被稱爲複合語句（也稱爲塊），它引入了一個新的塊範圍。這意味着在這裏：

void function(void) 
{ 
    int q,r; 
    ... 

    { 
     int i = 0; 
     int j = 3; 
     q = j + 1; 
    } 
    ... 

}

q和r在函數結束時被銷燬; i和j在本地塊範圍的末尾被銷燬。自動對象的生命週期僅限於聲明的塊。

對於喜歡while語句循環語句，這是完全一樣的，while陳述的定義爲：

while (expression) statement 

如果您在while使用的語句複合語句（塊）也將引入新的範圍。

現在在堆棧級別上，C不需要堆棧，因此它的實現細節。

Answer 4

根據我以前見過的行爲，我會說「可能不是」。 IME，只爲所有函數的變量創建一個單獨的堆棧框架，而不管它們在函數中的作用域如何。

受限範圍是編譯器在翻譯時強制執行的事情;在運行時並沒有真正的需要。