在理解這三者之間的作用和區別之前,需要先來理解一個叫做存儲類別標識 (Storage-class specifiers
)的東西。
存儲類別標識:
- 指定對象或函數的存儲周期(Storage duratong)和連接(linkage)方式。
- 存儲分類標識包含以下幾個標識:
- auto - 自動存儲周期和我連接(automatic duration and no linkage)
- register - 自動存儲周期和無連接,變量的地址不能獲取得到(automatic duration and no linkage, the address of the variable can't be tocken)
- static - 靜態存儲周期和在全局聲明的內部連接(static duration and internal linkage unless at block scope)
- extern - 靜態存儲周期和外部連接 (static duration and extern linkage unless already in internal)
- _Thread_local - 線程存儲周期
- 存儲類別標識出現在對象或是函數的定義時期,絕大多數情況下,標識會單獨使用(除了_Thread_local需要結合static或是extern使用來決定他的連接性),存儲類別標識決定了它所聲明名稱的兩個屬性,存儲周期和連接性
- auto關鍵字被用在作用域內的局部變量(對象),修飾其為自動存儲區域和無連接,這意味著每次執行定義此變量(對象)時,都會產生一個新的變量(對象)并對其進行賦值操作,事實上auto可以省略,即:在不特定指定的情況下,局部變量的存儲方式是默認為自動的
- static關鍵字聲明函數內的變量時,在方法執行期間,static始終保持它的值,并且初始化操作只會在第一次執行時起作用,在隨后的操作中,結果經保持上一個語句塊執行得到的值。
- extern關鍵字定義程序中將要用到但是尚未定義的的外部變量,通常,外部存儲類都用于聲明在另一個轉換單元中定義的變量。
- exemple:
.h
void f(void); // function declaration with external linkage extern int state; // variable declaration with external linkage static const int size = 5; // definition of a read-only variable with internal linkage enum { MAX = 10 }; // constant definition inline int sum (int a, int b) { return a+b; } extern int count;
.m
static void local_f(int s) {} // definition with internal linkage (only used in this file) static int local_state = 3; // definition with internal linkage (only used in this file) int state; // definition with external linkage (used by main.c) void f(void) {local_f(state);} // definition with external linkage (used by main.c) int count;
存取周期(Storage duration)
- 自動存儲周期(automatic storage duration)
- 自動存儲會在進入作用域后聲明變量時被分配內存,在作用域結束退出時釋存儲的內存,一定是在作用域內變量的聲明執行時分配內存而不是僅僅進入到變量的作用域內,并且釋放掉內存當離開變量聲明的作用域,每一次的循環會重復操作同樣的內存的分配和釋放。函數的參數以及所有非靜態的存儲周期都是屬于自動存儲周期操作
- 靜態存儲是在整個程序執行期間存在的,并且在變量中存儲的值僅會初始化一次并且指向主函數。針對于c++等面向對象的語言,整個生命周期內僅會有一個對象的實例存在。所有沒static修飾的變量(對象)或是內部連接和外部連接都會是這種存儲周期
- 線程存儲周期,這種存儲周期下,變量(對象)會在線程開始時分配內存和線程結束時釋放內存,每個線程都有他自己的不能的變量(對象),如果線程內訪問相應的變量(對象)不存在,則會初始化他們,所有聲明了_Thread_local的對象都屬于此種存儲周期。
- allocated存儲周期,這種存儲周期下,變量(對象)會依據請求被分配和釋放空間。