C - 爲什麼我的變量沒有被銷燬？

Question

我發現C語言（我是從JavaScript），我有這個簡單的腳本類型的

#include "stdio.h" 

int rand(){ 
    int numb; 
    for (int i = 0; i < 4; ++i) 
    { 
    numb++; 
    } 
    return numb; 
} 

int main(int argc, char const *argv[]) 
{ 
    int a = rand(); 
    int b = rand(); 
    printf("%i , %i\n", a, b); 
    return 0; 
} 

我的問題是，爲什麼我獲得相同的結果（4,8），好像變了declarated靜態&初始化爲0？

static int numb = 0; 

我真的不知道約十分了解變量的作用域：■

謝謝！

Answer 1

由於本地變量numb未初始化，並且通常具有不確定的值，所以程序具有未定義的行爲。

你的結果用下面的方法解釋。看起來，當函數被調用時，第一次爲變量分配的內存保存爲零。

當函數第二次被調用時，使得該函數對具有自動存儲持續時間的變量使用相同的內存，但通常不需要使用該變量的相同地址。

按照C標準（6.2.4對象的存儲持續時間）

1的對象具有決定其壽命的存儲持續時間。有 四個存儲持續時間：靜態，螺紋，自動的，並且被分配 ...

和

6對於這樣一個對象，該對象不具有可變長度數組類型， 其壽命從進入到與其關聯的塊，直到該塊的執行以任何方式結束。 （輸入一個 封閉塊或調用一個函數會暫停但不會結束， 執行當前塊。）如果塊是遞歸輸入的，則每次創建該對象的新實例。對象的初始值 是不確定的。如果爲 對象指定了初始化，則在執行該塊時每次執行聲明或複合文字時執行初始化; 否則， 值在每次達到聲明時變得不確定。

最後（J.2未定義的行爲）

- 使用自動存儲持續時間的對象的值，而 它是不確定的（6.2.4,6.7.9,6.8）。

Answer 2

我的問題是，爲什麼我獲得相同的結果（4,8），就好像其中靜態&聲明的變量 初始化爲0？

這是未定義的行爲（UB）。你的觀察僅僅是巧合。用另一個編譯器編譯或在不同的體系結構上編譯，結果可能會有所不同。

你必須自己初始化函數中的整數。

Answer 3

當你調用rand()，在numb變量分配數據堆棧和堆棧指針增加。

當功能結束並返回到main時，分配的數據堆棧被釋放，並且堆棧指針減少（實際內存中的值保持不變）。

當您調用rand()時，numb變量將再次分配到數據堆棧的上一個位置。它沒有初始化，所以以前的值仍然存在...

Answer 4

對於downvoters：它都是在C標準。

3不同的情況

1.Undefined行爲

int foo(){ 
    int numb; 
    for (int i = 0; i < 4; ++i) 
    { 
    numb++; 
    } 
    return numb; 
} 

UB - 沒什麼好解釋的。任何事情都有可能發生

2.自動初始化變量

int foo(){ 
    int numb = 0; 
    for (int i = 0; i < 4; ++i) 
    { 
    numb++; 
    } 
    return numb; 
} 

numb被初始化每個函數被調用和銷燬退出時間爲零。

3.Static初始化變量

int foo(){ 
    static int numb = 0; 
    for (int i = 0; i < 4; ++i) 
    { 
    numb++; 
    } 
    return numb; 
} 

變量被初始化僅僅一次，並保持其值。靜態自動變量的範圍與自動變量的範圍相同，即它在其定義的塊中是本地的 - 在這種情況下爲功能foo，但是在程序生存期內該值保持不變。這些變量只被初始化一次，並在調用之間保持它們的值。如果靜態自動變量未初始化 - 它將在啓動過程中初始化爲默認值 - 這是實現定義的（不包括初始值）（通常是.bss段並初始化爲零）。

源：C標準

具有靜態存儲持續時間的所有對象應被初始化程序啓動前（設置爲 它們的初始值）。這種初始化的方式和時間在其他方面是不明確的。

-

其標識符，而不存儲類 符 _Thread_local被聲明的目的，並且用外部或內部聯動裝置或與存儲類說明靜態的，具有靜態存儲持續時間。它的 生命週期是程序的整個執行過程，它的存儲值 僅在程序啓動之前初始化一次。

-

在初始化所有的表達式爲具有靜態或 線程存儲時間應是常量表達式或字符串 文字的對象。