一、動態存儲方式與靜態存儲方式
上一節已介紹了變量的一種屬性——作用域,作用域是從空間的角度來分析的,分爲全局變量和局部變量｡變量還有另一種屬性——存儲期(storage duration,也稱生命期)｡存儲期是指變量在內存中的存在期間｡這是從變量值存在的時間角度來分析的｡存儲期可以分爲靜態存儲期(static storage duration)和動態存儲期(dynamic storage duration)｡這是由變量的靜態存儲方式和動態存儲方式決定的｡
所謂靜態存儲方式是指在程序運行期間,系統對變量分配固定的存儲空間｡而動態存儲方式則是在程序運行期間,系統對變量動態地分配存儲空間｡
先看一下內存中的供用戶使用的存儲空間的情況｡這個存儲空間可以分爲三部分,即:
(1) 程序區
(2) 靜態存儲區
(3) 動態存儲區
在動態存儲區中存放以下數據：
①函數形式參數｡在調用函數時給形參分配存儲空間｡
②函數中的自動變量(未加static聲明的局部變量,詳見後面的介紹)｡
③函數調用時的現場保護和返回地址等｡
對以上這些數據,在函數調用開始時分配動態存儲空間,函數結束時釋放這些空間｡在程序執行過程中,這種分配和釋放是動態的,如果在一個程序中兩次調用同一函數,則要進行兩次分配和釋放,而兩次分配給此函數中局部變量的存儲空間地址可能是不相同的｡
如果在一個程序中包含若干個函數,每個函數中的局部變量的存儲期並不等於整個程序的執行週期,它只是整個程序執行週期的一部分｡根據函數調用的情況,系統對局部變量動態地分配和釋放存儲空間｡
在C++中變量除了有數據類型的屬性之外,還有存儲類別(storage class) 的屬性｡存儲類別指的是數據在內存中存儲的方法｡存儲方法分爲靜態存儲和動態存儲兩大類｡具體包含4種:自動的(auto)､靜態的(static)､寄存器的(register)和外部的(extern)｡根據變量的存儲類別,可以知道變量的作用域和存儲期｡
二、自動變量
函數中的局部變量,如果不用關鍵字static加以聲明,編譯系統對它們是動態地分配存儲空間的｡函數的形參和在函數中定義的變量(包括在複合語句中定義的變量)都屬此類｡在調用該函數時,系統給形參和函數中定義的變量分配存儲空間,數據存儲在動態存儲區中｡在函數調用結束時就自動釋放這些空間｡如果是在複合語句中定義的變量,則在變量定義時分配存儲空間,在複合語句結束時自動釋放空間｡因此這類局部變量稱爲自動變量(auto variable)｡自動變量用關鍵字auto作存儲類別的聲明｡例如:int f(int a) //定義f函數,a爲形參
{
auto int b,c=3; //定義b和c爲整型的自動變量
┆
}
存儲類別auto和數據類型int的順序任意｡關鍵字auto可以省略,如果不寫auto,則系統把它默認爲自動存儲類別,它屬於動態存儲方式｡程序中大多數變量屬於自動變量｡本書前面各章所介紹的例子中,在函數中定義的變量都沒有聲明爲auto,其實都默認指定爲自動變量｡在函數體中以下兩種寫法作用相同:
① auto int b,c=3;
② int b,c=3;
三、用static聲明靜態局部變量
有時希望函數中的局部變量的值在函數調用結束後不消失而保留原值,即其佔用的存儲單元不釋放,在下一次該函數調用時,該變量保留上一次函數調用結束時的值｡這時就應該指定該局部變量爲靜態局部變量(static local variable)｡例4.12 靜態局部變量的值｡
#include <iostream>
using namespace std;
int f(int a) //定義f函數,a爲形參
{
auto int b=0; //定義b爲自動變量
static int c=3;//定義c爲靜態局部變量
b=b+1;
c=c+1;
return a+b+c;
}
int main( )
{
int a=2,i;
for(i=0;i<3;i++)
cout<<f(a)<<″ ″;
cout<<endl;
return 0;
}
運行結果爲
7 8 9
先後3次調用f函數時,b和c的值如書中表4.1所示｡
- 靜態局部變量在靜態存儲區內分配存儲單元｡在程序整個運行期間都不釋放｡而自動變量(即動態局部變量)屬於動態存儲類別,存儲在動態存儲區空間(而不是靜態存儲區空間),函數調用結束後即釋放｡
- 爲靜態局部變量賦初值是在編譯時進行值的,即只賦初值一次,在程序運行時它已有初值｡以後每次調用函數時不再重新賦初值而只是保留上次函數調用結束時的值｡而爲自動變量賦初值,不是在編譯時進行的,而是在函數調用時進行,每調用一次函數重新給一次初值,相當於執行一次賦值語句｡
- 如果在定義局部變量時不賦初值的話,對靜態局部變量來說,編譯時自動賦初值0(對數值型變量)或空字符(對字符型變量)｡而對自動變量來說,如果不賦初值,則它的值是一個不確定的值｡這是由於每次函數調用結束後存儲單元已釋放,下次調用時又重新另分配存儲單元,而所分配的單元中的值是不確定的｡
- 雖然靜態局部變量在函數調用結束後仍然存在,但其他函數是不能引用它的,也就是說,在其他函數中它是“不可見”的｡
在什麼情況下需要用局部靜態變量呢?
- 需要保留函數上一次調用結束時的值｡例如可以用下例中的方法求n!｡
例4.13 輸出1~5的階乘值(即1!,2!,3!,4!,5!)｡
#include <iostream>
using namespace std;
int fac(int); //函數聲明
int main( )
{
int i;
for(i=1;i<=5;i++)
cout<<i<<″!=″<<fac(i)<<endl;
return 0;
}
int fac(int n)
{
static int f=1; //f爲靜態局部變量,函數結束時f的值不釋放
f=f*n; //在f原值基礎上乘以n
return f;
}
運行結果爲
1!=1
2!=2
3!=6
4!=24
5!=120
每次調用fac(i),就輸出一個i,同時保留這個i!的值,以便下次再乘(i+1)｡ - 如果初始化後,變量只被引用而不改變其值,則這時用靜態局部變量比較方便,以免每次調用時重新賦值｡ 但是應該看到,用靜態存儲要多佔內存,而且降低了程序的可讀性,當調用次數多時往往弄不清靜態局部變量的當前值是什麼｡因此,如不必要,不要多用靜態局部變量｡
四、用register聲明寄存器變量
一般情況下,變量的值是存放在內存中的｡當程序中用到哪一個變量的值時,由控制器發出指令將內存中該變量的值送到CPU中的運算器｡經過運算器進行運算,如果需要存數,再從運算器將數據送到內存存放｡如圖4.15所示｡
int fac(int n)
{
register int i,f=1; //定義i和f是寄存器變量
for(i=1;i<=n;i++) f=f*i;
return f;
}
定義f和i是存放在寄存器的局部變量,如果n的值大,則能節約許多執行時間｡
在程序中定義寄存器變量對編譯系統只是建議性(而不是強制性)的｡當今的優化編譯系統能夠識別使用頻繁的變量,自動地將這些變量放在寄存器中｡
五、用extern聲明外部變量
全局變量(外部變量)是在函數的外部定義的,它的作用域爲從變量的定義處開始,到本程序文件的末尾｡在此作用域內,全局變量可以爲本文件中各個函數所引用｡編譯時將全局變量分配在靜態存儲區｡有時需要用extern來聲明全局變量,以擴展全局變量的作用域｡
1. 在一個文件內聲明全局變量
如果外部變量不在文件的開頭定義,其有效的作用範圍只限於定義處到文件終了｡如果在定義點之前的函數想引用該全局變量,則應該在引用之前用關鍵字extern對該變量作外部變量聲明,表示該變量是一個將在下面定義的全局變量｡有了此聲明,就可以從聲明處起,合法地引用該全局變量,這種聲明稱爲提前引用聲明｡
例4.14 用extern對外部變量作提前引用聲明,以擴展程序文件中的作用域｡
#include <iostream>
using namespace std;
int max(int,int); //函數聲明
void main( )
{
extern int a,b;//對全局變量a,b作提前引用聲明
cout<<max(a,b)<<endl;
}
int a=15,b=-7;//定義全局變量a,b
int max(int x,int y)
{
int z;
z=x>y?x:y;
return z;
}
運行結果如下:
15
在main後面定義了全局變量a,b,但由於全局變量定義的位置在函數main之後,因此如果沒有程序的第5行,在main函數中是不能引用全局變量a和b的｡現在我們在main函數第2行用extern對a和b作了提前引用聲明,表示a和b是將在後面定義的變量｡這樣在main函數中就可以合法地使用全局變量a和b了｡如果不作extern聲明,編譯時會出錯,系統認爲a和b未經定義｡一般都把全局變量的定義放在引用它的所有函數之前,這樣可以避免在函數中多加一個extern聲明｡
2. 在多文件的程序中聲明外部變量
如果一個程序包含兩個文件,在兩個文件中都要用到同一個外部變量num,不能分別在兩個文件中各自定義一個外部變量num｡正確的做法是:在任一個文件中定義外部變量num,而在另一文件中用extern對num作外部變量聲明｡即
extern int num;
編譯系統由此知道num是一個已在別處定義的外部變量,它先在本文件中找有無外部變量num,如果有,則將其作用域擴展到本行開始(如上節所述),如果本文件中無此外部變量,則在程序連接時從其他文件中找有無外部變量num,如果有,則把在另一文件中定義的外部變量num的作用域擴展到本文件,在本文件中可以合法地引用該外部變量num｡
分析下例:
file1.cppfile2.cpp
extern int a,b; int a=3,b=4;
int main( ) ┆
{
cout<<a<<″,″<<b<<endl;
return 0;
}
用extern擴展全局變量的作用域,雖然能爲程序設計帶來方便,但應十分慎重,因爲在執行一個文件中的函數時,可能會改變了該全局變量的值,從而會影響到另一文件中的函數執行結果｡
六、用static聲明靜態外部變量
有時在程序設計中希望某些外部變量只限於被本文件引用,而不能被其他文件引用｡這時可以在定義外部變量時加一個static聲明｡例如:file1.cppfile2.cpp
static int a=3;extern int a;
int main ( ) int fun (int n)
{{ ┆
┆a=a*n;
┆
}}
這種加上static聲明､只能用於本文件的外部變量(全局變量)稱爲靜態外部變量｡這就爲程序的模塊化､通用性提供了方便｡如果已知道其他文件不需要引用本文件的全局變量,可以對本文件中的全局變量都加上static,成爲靜態外部變量,以免被其他文件誤用｡
需要指出,不要誤認爲用static聲明的外部變量才採用靜態存儲方式(存放在靜態存儲區中),而不加static的是動態存儲(存放在動態存儲區)｡實際上,兩種形式的外部變量都用靜態存儲方式,只是作用範圍不同而已,都是在編譯時分配內存的｡
