static

2. 利弊分析

 

对于存储位置：静态变量的效果和全局变量的效果是一样的，他们都保存在全局数据区。频繁使用其实效率更高，如果定义的静态变量不用，那就会浪费内存，因为全局数据区生命周期是从程序运行到结束。

局部变量：每次栈上都要为局部变量分配空间，因此局部变量太多会影响效率，但是其回收方便，对于稳定性要求高的系统来说，这样的操作会更可靠。

全局变量（包含静态变量）：其空间会在程序启动时分配好，因此不用不停的分配，频繁使用更好（当然多线程下要同步则会更复杂）。另一点就是它会实实在在的一直占用内存，如果需要太大的内存，同时又不会频繁使用，则建议使用堆变量（特别是嵌入式下内存往往不够用）

堆变量：可动态回收的内存，这样可以实现内存使用效率最大化，但是内存的分配和管理是需要付出时间的代价，而且使用要比较谨慎，否则容易内存泄露，管理很困难。

 

函数内的静态变量，说明只有这个函数才用到。只暴露给需要用的人，是一个编码的好习惯。

 

 

问：

 一般来说，静态全局变量只应该定义在实现文件中，但有时由于一些特殊的目的，也可能定义在头文件中。比如在有些标准库的实现中，就用这种方法来初始化标准流cin, cout，或者在在tr1库中，也用这种方法来定义占位符。每一个包含该头文件的实现文件中都拥有该变量的一份拷贝，这些变量放在运行体的data段或者bss段。
   比如下面这个变量定义在一个头文件中：

static int data[1024*1024];

 

   我把这个文件同时包含在几个cpp文件中，按我的理解，这个程序占用的内存应该显著增大，但是，从实际运行结果来看，并没有变化，生成的exe文件大小也没有变化，这是因为延迟加载呢，还是被编译器优化掉了？有没有明白的达人解释一下。

 

答：

这不是编译器的问题，而是OS的virtual memeory管理机制导致的

数据在实际使用之前，是不会占用内存的——缺页异常处理程序会为数据分配需要的内存。

 

 

static变量和函数

 

static的全部用法 
要理解static，就必须要先理解另一个与之相对的关键字，很多人可能都还不知道有这个关键字，那就是auto，其实我们通常声明的不用static修饰的变量，都是auto的，因为它是默认的，就象short和long总是默认为int一样；我们通常声明一个变量： 
int a; 
string s; 
其实就是： 
auto int a; 
auto string s; 
而static变量的声明是： 
static int a; 
static string s; 
这样似乎可以更有利于理解auto和static是一对成对的关键字吧，就像private，protected，public一样；
对于static的不理解，其实就是对于auto的不理解，因为它是更一般的；有的东西你天天在用，但未必就代表你真正了解它；auto的含义是由程序自动控制变量的生存周期，通常指的就是变量在进入其作用域的时候被分配，离开其作用域的时候被释放；而static就是不auto，变量在程序初始化时被分配，直到程序退出前才被释放；也就是static是按照程序的生命周期来分配释放变量的，而不是变量自己的生命周期；所以，像这样的例子： 
void func() 
{ 
int a; 
static int b; 
} 
每一次调用该函数，变量a都是新的，因为它是在进入函数体的时候被分配，退出函数体的时候被释放，所以多个线程调用该函数，都会拥有各自独立的变量a，因为它总是要被重新分配的；而变量b不管你是否使用该函数，在程序初始化时就被分配的了，或者在第一次执行到它的声明的时候分配（不同的编译器可能不同），所以多个线程调用该函数的时候，总是访问同一个变量b，这也是在多线程编程中必须注意的！ 
static的全部用法： 
1．类的静态成员： 
class A 
{ 
private: 
static int s_; 
}; 
在cpp中必须对它进行初始化： 
int A::s_ = 0;// 注意，这里没有static的修饰！ 
类的静态成员是该类所有实例的共用成员，也就是在该类的范畴内是个全局变量，也可以理解为是一个名为A::s_的全局变量，只不过它是带有类安全属性的；道理很简单，因为它是在程序初始化的时候分配的，所以只分配一次，所以就是共用的； 
类的静态成员必须初始化，道理也是一样的，因为它是在程序初始化的时候分配的，所以必须有初始化，类中只是声明，在cpp中才是初始化，你可以在初始化的代码上放个断点，在程序执行main的第一条语句之前就会先走到那；如果你的静态成员是个类，那么就会调用到它的构造函数； 
2．类的静态函数： 
class A 
{ 
private: 
static void func(int ); 
}; 
实现的时候也不需要static的修饰，因为static是声明性关键字； 
类的静态函数是在该类的范畴内的全局函数，不能访问类的私有成员，只能访问类的静态成员，不需要类的实例即可调用；实际上，它就是增加了类的访问权限的全局函数：void A::func(int)； 
静态成员函数可以继承和覆盖,但无法是虚函数; 
3．只在cpp内有效的全局变量： 
在cpp文件的全局范围内声明： 
static int g_ = 0; 
这个变量的含义是在该cpp内有效，但是其他的cpp文件不能访问这个变量；如果有两个cpp文件声明了同名的全局静态变量，那么他们实际上是独立的两个变量； 
如果不使用static声明全局变量： 
int g_ = 0; 
那么将无法保证这个变量不被别的cpp共享，也无法保证一定能被别的cpp共享，因为要让多个cpp共享一个全局变量，应将它声明为extern（外部）的；也有可能编译会报告变量被重复定义；总之不建议这样的写法，不明确这个全局变量的用法； 
如果在一个头文件中声明： 
static int g_vaule = 0; 
那么会为每个包含该头文件的cpp都创建一个全局变量，但他们都是独立的；所以也不建议这样的写法，一样不明确需要怎样使用这个变量，因为只是创建了一组同名而不同作用域的变量； 
这里顺便说一下如何声明所有cpp可共享的全局变量，在头文件里声明为extern的： 
extern int g_; // 注意，不要初始化值！ 
然后在其中任何一个包含该头文件的cpp中初始化（一次）就好： 
int g_ = 0; // 初始化一样不要extern修饰，因为extern也是声明性关键字； 
然后所有包含该头文件的cpp文件都可以用g_这个名字访问相同的一个变量； 
4．只在cpp内有效的全局函数： 
在cpp内声明： 
static void func(); 
函数的实现不需要static修饰，那么这个函数只可在本cpp内使用，不会同其他cpp中的同名函数引起冲突；道理和如果不使用static会引起的问题和第3点一样；不要在头文件中声明static的全局函数，不要在cpp内声明非static的全局函数，如果你要在多个cpp中复用该函数，就把它的声明提到头文件里去，否则在cpp内部声明需要加上static修饰；在C语言中这点由为重要！

 

 

=================================================================================================

一 静态数据成员：

类体中的数据成员的声明前加上static关键字，该数据成员就成为了该类的静态数据成员。和其他数据成员一样，静态数据成员也遵守public/protected/private访问规则。同时，静态数据成员还具有以下特点：

1.静态数据成员的定义。
静态数据成员实际上是类域中的全局变量。所以，静态数据成员的定义(初始化)不应该被放在头文件中。
其定义方式与全局变量相同。举例如下：

xxx.h文件
class base{
private:
static const int _i;//声明，标准c++支持有序类型在类体中初始化,但vc6不支持。
};

xxx.cpp文件
const int base::_i=10;//定义(初始化)时不受private和protected访问限制.

注：不要试图在头文件中定义(初始化)静态数据成员。在大多数的情况下，这样做会引起重复定义这样的错误。即使加上#ifndef #define #endif或者#pragma once也不行。

2.静态数据成员被 类 的所有对象所共享，包括该类派生类的对象。即派生类对象与基类对象共享基类的静态数据成员。举例如下：
class base{
public :
static int _num;//声明
};
int base::_num=0;//静态数据成员的真正定义

class derived:public base{
};

main()
{
base a;
derived b;
a._num++;
cout<<"base class static data number _num is"<<a._num<<endl;
b._num++;
cout<<"derived class static data number _num is"<<b._num<<endl;
}
// 结果为1,2;可见派生类与基类共用一个静态数据成员。

3.静态数据成员可以成为成员函数的默认参数，而普通数据成员则不可以。举例如下：
class base{
public :
static int _staticVar;
int _var;
void foo1(int i=_staticVar);//正确,_staticVar为静态数据成员
void foo2(int i=_var);//错误,_var为普通数据成员
};

4.★静态数据成员的类型可以是所属类的类型，而普通数据成员则不可以。普通数据成员的只能声明为 所属类类型的 指针或引用。举例如下：

class base{
public :
static base _object1;//正确，静态数据成员
base _object2;//错误
base *pObject;//正确，指针
base &mObject;//正确，引用
};

5.★这个特性，我不知道是属于标准c++中的特性，还是vc6自己的特性。
静态数据成员的值在const成员函数中可以被合法的改变。举例如下：

class base{
public:
base(){_i=0;_val=0;}

mutable int _i;
static int _staticVal;
int _val;
void test() const{//const 成员函数

_i++;//正确，mutable数据成员
_staticVal++;//正确，static数据成员
_val++;//错误

}
};
int base::_staticVal=0;

二，静态成员函数
静态成员函数没有什么太多好讲的。

1.静态成员函数的地址可用普通函数指针储存，而普通成员函数地址需要用 类成员函数指针来储存。举例如下：
class base{
static int func1();
int func2();
};

int (*pf1)()=&base::func1;//普通的函数指针
int (base::*pf2)()=&base::func2;//成员函数指针


2.静态成员函数不可以调用类的非静态成员。因为静态成员函数不含this指针。

3.静态成员函数不可以同时声明为 virtual、const、volatile函数。举例如下：
class base{
virtual static void func1();//错误
static void func2() const;//错误
static void func3() volatile;//错误
};


最后要说的一点是，静态成员是可以独立访问的，也就是说，无须创建任何对象实例就可以访问。