C++ 存儲類
存儲類定義 C++ 程序中變量/函數的範圍(可見性)和生命周期。這些說明符放置在它們所修飾的類型之前。下面列出 C++ 程序中可用的存儲類:
- auto
- register
- static
- extern
- mutable
- thread_local (C++11)
從 C++ 11 開始,auto 關鍵字不再是 C++ 存儲類說明符,且 register 關鍵字被棄用。
auto 存儲類
自 C++ 11 以來,auto 關鍵字用於兩種情況:聲明變量時根據初始化表達式自動推斷該變量的類型、聲明函數時函數返回值的佔位符。
C++98標准中auto關鍵字用於自動變量的聲明,但由於使用極少且多余,在C++11中已刪除這一用法。
根據初始化表達式自動推斷被聲明的變量的類型,如:
register 存儲類
register 存儲類用於定義存儲在寄存器中而不是 RAM 中的局部變量。這意味著變量的最大尺寸等於寄存器的大小(通常是一個詞),且不能對它應用一元的 '&' 運算符(因為它沒有內存位置)。
寄存器只用於需要快速訪問的變量,比如計數器。還應注意的是,定義 'register' 併不意味著變量將被存儲在寄存器中,它意味著變量可能存儲在寄存器中,這取決於硬件和實現的限製。
static 存儲類
static 存儲類指示編譯器在程序的生命周期內保持局部變量的存在,而不需要在每次它進入和離開作用域時進行創建和銷毀。因此,使用 static 修飾局部變量可以在函數調用之間保持局部變量的值。
static 修飾符也可以應用於全局變量。當 static 修飾全局變量時,會使變量的作用域限製在聲明它的文件內。
在 C++ 中,當 static 用在類數據成員上時,會導致僅有一個該成員的副本被類的所有對象共享。
實例
當上面的代碼被編譯和執行時,它會產生下列結果:
變量 i 為 6 , 變量 count 為 9 變量 i 為 7 , 變量 count 為 8 變量 i 為 8 , 變量 count 為 7 變量 i 為 9 , 變量 count 為 6 變量 i 為 10 , 變量 count 為 5 變量 i 為 11 , 變量 count 為 4 變量 i 為 12 , 變量 count 為 3 變量 i 為 13 , 變量 count 為 2 變量 i 為 14 , 變量 count 為 1 變量 i 為 15 , 變量 count 為 0
extern 存儲類
extern 存儲類用於提供一個全局變量的引用,全局變量對所有的程序文件都是可見的。當您使用 'extern' 時,對於無法初始化的變量,會把變量名指向一個之前定義過的存儲位置。
當您有多個文件且定義了一個可以在其他文件中使用的全局變量或函數時,可以在其他文件中使用 extern 來得到已定義的變量或函數的引用。可以這么理解,extern 是用來在另一個文件中聲明一個全局變量或函數。
extern 修飾符通常用於當有兩個或多個文件共享相同的全局變量或函數的時候,如下所示:
第一個文件:main.cpp
實例
第二個文件:support.cpp
實例
在這里,第二個文件中的 extern 關鍵字用於聲明已經在第一個文件 main.cpp 中定義的 count。現在 ,編譯這兩個文件,如下所示:
$ g++ main.cpp support.cpp -o write
這會產生 write 可執行程序,嘗試執行 write,它會產生下列結果:
$ ./write Count is 5
mutable 存儲類
mutable 說明符僅適用於類的對象,這將在本教程的最後進行講解。它允許對象的成員替代常量。也就是說,mutable 成員可以通過 const 成員函數修改。
thread_local 存儲類
使用 thread_local 說明符聲明的變量僅可在它在其上創建的線程上訪問。 變量在創建線程時創建,併在銷毀線程時銷毀。 每個線程都有其自己的變量副本。
thread_local 說明符可以與 static 或 extern 合併。
可以將 thread_local 僅應用於數據聲明和定義,thread_local 不能用於函數聲明或定義。
以下演示了可以被聲明為 thread_local 的變量: