存儲類定義 C++ 程序中變量/函數的范圍(可見性)和生命周期。這些說明符放置在它們所修飾的類型之前。下面列出 C++ 程序中可用的存儲類:
auto 存儲類是所有局部變量默認的存儲類。
{ int mount; auto int month; }
上面的實例定義了兩個帶有相同存儲類的變量,auto 只能用在函數內,即 auto 只能修飾局部變量。
register 存儲類用於定義存儲在寄存器中而不是 RAM 中的局部變量。這意味著變量的最大尺寸等於寄存器的大小(通常是一個詞),且不能對它應用一元的 '&' 運算符(因為它沒有內存位置)。
{ register int miles; }
寄存器只用於需要快速訪問的變量,比如計數器。還應注意的是,定義 'register' 並不意味著變量將被存儲在寄存器中,它意味著變量可能存儲在寄存器中,這取決於硬件和實現的限制。
static 存儲類指示編譯器在程序的生命周期內保持局部變量的存在,而不需要在每次它進入和離開作用域時進行創建和銷毀。因此,使用 static 修飾局部變量可以在函數調用之間保持局部變量的值。
static 修飾符也可以應用於全局變量。當 static 修飾全局變量時,會使變量的作用域限制在聲明它的文件內。
在 C++ 中,當 static 用在類數據成員上時,會導致僅有一個該成員的副本被類的所有對象共享。
#include <iostream> // 函數聲明 void func(void); static int count = 10; /* 全局變量 */ int main() { while(count--) { func(); } return 0; } // 函數定義 void func( void ) { static int i = 5; // 局部靜態變量 i++; std::cout << "變量 i 為 " << i ; std::cout << " , 變量 count 為 " << count << std::endl; }
當上面的代碼被編譯和執行時,它會產生下列結果:
變量 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 修飾符通常用於當有兩個或多個文件共享相同的全局變量或函數的時候,如下所示:
第一個文件:main.cpp
#include <iostream> int count ; extern void write_extern(); int main() { count = 5; write_extern(); }
第二個文件:support.cpp
#include <iostream> extern int count; void write_extern(void) { std::cout << "Count is " << count << std::endl; }
在這裡,第二個文件中的 extern 關鍵字用於聲明已經在第一個文件 main.cpp 中定義的 count。現在 ,編譯這兩個文件,如下所示:
$ g++ main.cpp support.cpp -o write
這會產生 write 可執行程序,嘗試執行 write,它會產生下列結果:
$ ./write Count is 5
mutable 說明符僅適用於類的對象,這將在本教程的最後進行講解。它允許對象的成員替代常量。也就是說,mutable 成員可以通過 const 成員函數修改。