此文来自CU的一篇精华帖,将static的知识总结的非常全面到位,故转来与大家分享。
通常理解static只是指静态存储的概念,事实上在c++里面static包含了两方面的含义。
1)在固定地址上的分配,这意味着对象是在一个特殊的静态区域上创建的,而不是每次函数调用的时候在堆栈上动态创建的,这是static的静态存储的概念。
2) 另一方面,static能够控制对象对于连接器的可见性。一个static对象,对于特定的编译单元来说总是本地范围的,这个范围包括本地文件或者本地的某一个类,超过这个范围的文件或者类是不可以看到static对象的,这同时也描述了连接的概念,它决定连接器能够看到哪些名字。
一,关于静态存储
对于一个完整的程序,一般程序的由malloc,realloc产生的动态数据存放在堆区,程序的局部数据即各个函数内部的数据存放在栈区,局部数据对象一般会随着函数的退出而释放空间,对于static数据即使是函数内部的对象则存放在全局数据区,全局数据区的数据并不会因为函数的退出就将空间释放。
二,函数内部的静态变量
通常,在函数体内定义一个变量的时候,编译器使得每次函数调用时候堆栈的指针向下移动一个合适的位置,为这些内部变量分配内存。如果这个变量是一个初始化表达式,那么每当程序运行到这儿的时候程序都需要对表达式进行初始化。这种情况下变量的值在两次调用之间则不能进行保存。
有的时候我们却需要在两次调用之间对变量的值进行保存,通常的想法是定义一个全局变量来实现。但这样一来,变量已经不再属于函数本身了,不再仅受函数的控制。因此我们有必要将变量声明为static对象,这样对象将保存在静态存储区域,而不是保存在堆栈中。对象的初始化仅仅在函数第一个被调用的时候进行初始化,每次的值保持到下一次调用,直到新的值覆盖它。下面的例子解释了这一点。
1. //****************************************
2. // 1.cpp
3. //****************************************
4. #include <iostream.h>;
5. void add_n(void);
6. void main(){
7. int n=0;
8. add_n();
9. add_n();
10. add_n();
11. }
12. void add_n(void){
13. staticn=50;
14. cout<<”n=”<<n<<endl;
15. n++;
16. }
程序运行结果为:
1. n=50
2. n=51
3. n=52;
从上面的运行结果可以看出static n确实是在每次调用中都保持了上一次的值。如果预定义的静态变量没有提供一个初始值的话,编译器会确保在初始化的时候将用零值为其初始化。static变量必须被初始化,但是零值初始化仅仅只对系统预定义类型有效,比如int,char,bool等等。事实上我们用到的不仅仅是这些预定义类型,大多数情况下可能用到结构,联合或者类等各种用户自定义的类型,对于这些类型用户必须使用构造函数进行初始化。如果我们在定义一个静态对象的时候没有指定构造函数的参数,那就必须使用缺省的构造函数,如果缺省的构造函数也没有的话则会出错。看下面的例子。
1. //**************************************************
2. // 2.cpp
3. //**************************************************
4. #include <isotream.h>;
5. class x{
6. int i;
7. public:
8. x(int i=0):i(i){
9. cout<<”i=”<<i<<endl;
10. }//缺省构造函数
11. ~x(){cout<<”x::~x()”<<endl;
12. };
13. void fn(){
14. staticx x1(47);
15. staticx x2;
16. }
17. main(){
18. fn();
19. }
程序运行结果如下:
1. i=47
2. i=0
3. x::~x()
4. x::~x()
从上面的例子可以看出静态的x对象既可以使用带参数的构造函数进行初始化,象x1,也可以使用缺省的构造函数,象x2。程序控制第一次转到对象的定义点时候,而且只有第一次的时候才需要执行构造函数。如果对象既没有带参数的构造函数又没有缺省构造函数则程序将无法通过编译。
三,类中的静态成员
static静态存储的概念可以进一步引用到类中来。c++中的每一个类的对象都是该类的成员的拷贝,一般情况下它们彼此之间没有什么联系,但有时候我们需要让它们之间共享一些数据,我们可以通过全局变量来实现,但是这样的结果是导致程序的不安全性,因为任何函数都可以对这个变量进行访问和修改,而且容易与项目中的其余的名字产生冲突,因此我们需要一种两全其美的方法,既可以当成全局数据变量那样存储,又可以隐藏在类的内部,与类本身联系起来,这样只有类的对象才可以操纵这个变量,从而增加了变量的安全性。
这种变量我们称之为类的静态成员,静态成员包括静态数据成员和静态成员函数。类的所有的静态数据成员有着单一的存储空间而不管类的对象由多少,这些对象共享这块存储区域。因此每一个类的对象的静态成员发生改变都会对其余的对象产生影响。先看下面的例子。
1. //**************************************
2. // student.cpp
3. //**************************************
4. 1. #include <iostream.h>;
5. 2. #include <string.h>;
6. 3. class student{
7. 4. public:
8. 5. student(char* pname=”no name”){
9. 6. cout<<”create one student”<endl;
10. 7. strcpy(name,pname);
11. 8. number++;
12. 9. cout<<number<<endl;
13. 10. }
14. 11. ~student() {
15. 12. cout<<”destruct one student”<<endl;
16. 13. number--;
17. 14. cout<<number<<endl;
18. 15. }
19. 16. static number(){
20. 17. return number; }
21. 18. protected:
22. 19. char nme[40]
23. 20. staticint number;
24. 21. }
25. 22. void fn(){
26. 23. student s1;
27. 24. student s2;
28. 25. cout<<student::number<<endl;
29. 26. }
30. 27. main(){
31. 28. fn();
32. 29. cout<<student::number<<endl;
33. 30. }
程序输出结果如下:
1. create one student
2. 1
3. create one student
4. 2
5. 2
6. destruct one student
7. 1
8. destruct one student
9. 0
10. 0
上面的程序代码中我们使用了静态数据成员和静态函数成员,下面我们先阐述静态数据成员。
四,静态数据成员
在代码中我们可以看出,number既不是对象s1也不是对象s2的一部分,它是属于student这个类的。每一个student对象都有name成员,但是number成员却只有一个,所有的student对象共享使用这个成员。s1.number与s2.number是等值的。在student的对象空间中没有为number成员保留空间,它的空间分配不在student的构造函数里完成,空间回收也不再析构函数里面完成。因此与name成员不一样,它不会随着对象的产生或者消失而产生或消失。
由于静态数据成员的空间分配在全局数据区,因此在程序一开始运行的时候就必须存在,所以静态成员的空间的分配和初始化不可能在函数包括main主函数中完成,因为函数在程序中被调用的时候才为内部的对象分配空间。这样,静态成员的空间分配和初始化只能由下面的三种途径。一是类的外部接口的头文件,那里声明了类定义。二是类定义的内部实现,那里有类成员函数的定义和具体实现。三是应用程序的main()函数前的全局数据声明和定义处。由于静态数据成员必须实际的分配空间,因此不可能在类定义头文件中分配内存。另一方面也不能在头文件中类声明的外部定义,因为那会造成多个使用该类的源程序重复出现定义。静态数据成员也不能在main()函数的全局数据声明处定义。如果那样的话每一个使用该类的程序都必须在程序的main()函数的全局数据声明处定义一下该类的静态成员。这是不现实的。唯一的办法就是将静态数据成员的定义放在类的实现中。定义时候用类名引导,引用时包含头文件即可。
例如:
1. class a{
2. staticint i;
3. public:
4. //
5. }
6. 在类定义文件中 int a::i=1;
有两点需要注意的是
1.静态数据成员必须且只能定义一次,如果重复定义,连接器会报告错误。同时它们的初始化必须在定义的时候完成。对于预定义类型的静态数据成员,如果没有赋值则赋零值。对于用户自定义类型必须通过构造函数赋值,如果没有构造函数包括缺省构造函数,编译无法通过。
2. 局部类中不允许出现静态数据成员。因为静态数据成员必须在程序运行时候就存在这导致程序无法为局部类中的静态数据成员分配空间。下面的代码是不允许的。
1. void fn(){
2. class foo{
3. staticint i;//定义非法。
4. public:
5. // }
6. }
五,静态函数成员
与静态数据成员一样,我们也可以创建一个静态成员函数,它为类的全部服务而不是为某一个类的具体对象服务。静态函数成员与静态成员一样,都是类的内部实现,属于类定义的一部分。程序student.cpp中的number()就是静态成员函数,它的定义位置与一般成员函数相同。
普通的成员函数一般都隐含了一个this指针,this指针指向类的对象本身,因为普通成员函数总是具体的属于某个类的具体对象的。通常情况下this是缺省的。如函数add()实际上是写成this.add().但是与普通函数相比,静态成员函数由于不是与任何的对象相联系因此它不具有this指针,从这个意义上讲,它无法访问属于具体类对象的非静态数据成员,也无法访问非静态成员函数,它只能调用其余的静态成员函数。如下面的代码:
1. 1 class x {
2. 2 int i;
3. 3 staticint j;
4. 4 public:
5. 5 x(int i=0):i(i){
6. 6 j=i
7. 7 }//非静态成员函数可以访问静态函数成员和静态数据成员。
8. 8 int val() const {return i;}
9. 9 staticint incr(){
10. 10 i++;//错误的代码,因为i是非静态成员,因此incr()作为静态成员函数无
11. 11 //法访问它。
12. 12 return ++j;
13. 13 }
14. 14 staticint fn(){
15. 15 return incr();//合法的访问,因为fn()和incr()作为静态成员函数可以互相访
16. 16 //问。
17. 17 }
18. 18 };
19. 19 int x::j=0;
20. 20 main(){……}
根据上面的程序可以总结几点:
1. 静态成员之间可以相互的访问包括静态成员函数访问静态数据成员和访问静态成员函数。
2. 非静态成员函数可以任意的访问静态成员函数和静态数据成员。
3. 静态成员函数不能访问非静态成员函数和非静态数据成员。
由于没有this指针的额外开销,因此静态成员函数与全局函数相比速度上会有少许的增长。
六,理解控制连接
理解控制连接之前我们先了解一下外部存储类型的概念。一般的在程序的规模很小的情况下我们用一个源程序既可以表达完整。但事实上稍微有价值的程序都不可能只用一个程序来表达的,而是分割成很多的小的模块,每一个模块完成特定的功能,构成一个源文件。所有的源文件共享一个main函数。在不同的源文件之间为了能够相互进行数据或者函数的沟通,这时候通常声明数据或者函数为extern,这样用extern声明的数据或者函数就是全局变量或者函数。默认情况下的函数的声明总是extern的。在文件范围内定义的全局数据和函数对程序中的所有的编译单元来说都是可见的。这就是通常我们所说的外部连接。
但有时候我们可能想限制一个名字对象的可见性,想让一个对象在本地文件范围内是可见的,这样这个文件中的所有的函数都可以利用这个对象,但是不想让本地文件之外的其余文件看到或者访问该对象,或者外部已经定义了一个全局对象,防止内部的名字对象与之冲突。
通过在全局变量的前面加上static,我们可以做到这一点。在文件的范围内,一个被声明为static的对象或者函数的名字对于编译单元来说是局部变量,我们称之为静态全部变量。这些名字不使用默认情况下的外部连接,而是使用内部连接。从下面的例子可以看出static是如何控制连接的。
工程文件为first.prj由两个源文件组成。
1. exam1.cpp
2. exam2.cpp
3. //***************************************
4. // exam1.cpp
5. //***************************************
6. 1 #include <iostream.h>;
7. 2 int n;
8. 3 void print_n();
9. 4 void main()
10. 5 {
11. 6 n=20;
12. 7 cout<<n<<endl;
13. 8 print_n();
14. 9 }
15.
16. //****************************************
17. // exam2.cpp
18. //****************************************
19. 10 staticn;
20. 11 staticvoid staticfn();
21. 12 void print_n()
22. 13 {
23. 14 n++;
24. 15 cout<<n<<endl;
25. 16 staticfn();
26. 17 }
27. 18 void staticfn()
28. 19 {
29. 20 cout<<n++<<endl;
30. 21 }
程序运行结果如下
1. 20
2. 1
3. 1
下面我们将对上面的程序进行少量的改造,在看看执行结果如何。
改造一:
1. 将exam1.cpp的第二行int n改为extern int n,这就是告诉程序我在此处声明了变量n,但是真正的定义过程在别的文件中,此处就是exam2.cpp。但事实上exam2.cpp中仅仅声明了static int n。我们看看运行结果。vc中会通过编译,但是在进行连接时候会给
一个“变量n找不到”的错误。这说明exam1.cpp无法共享exam2.cpp中的static int n变量。
改造二:
1. 我们在exam1.cpp的第二行和第三行之间增加void staticfn();同时在第八行和第九行之间增加staticfn()的调用。再看执行结果。vc会产生一个找不到函数staticfn的错误。这说明exam1.cpp无法共享exam2.cpp中的staticfn()。
从上面的结论可以看出下面几点:
1. static解决了名字的冲突问题。使得可以在源文件中建立并使用与其它源文件甚至全局变量一样的名字而不会导致冲突的产生。这一点在很大的项目中是很有用处的。
2. 声明为静态的函数不能被其他的源文件所调用,因为它的名字只对本地文件可见,其余的文件无法获取它的名字,因此不可能进行连接。
3. 在文件作用域下声明的inline函数默认情况下认为是static类型。在文件作用域下声明的const的常量默认情况下也是static存储类型的。