全局变量、文件域的静态变量和类的静态成员变量在main执行之前的静态初始化过程中分配内存并初始化；局部静态变量（一般为函数内的静态变量）在第一次使用时分配内存并初始化。这里的变量包含内置数据类型和自定义类型的对象。

class B{
public:
	B()
	{
		cout << "B constructor called" << endl;
	}
	~B()
	{
		cout << "B desconstructor called" << endl;
	}
};
class A{
public:
	A()
	{
		cout << "A constructor called" << endl;
	}
	~A()
	{
		cout << "A desconstructor called" << endl;
	}
private:
	static B b;
};

class C{
public:
	C()
	{
		cout << "C constructor called" << endl;
	}
	~C()
	{
		cout << "C desconstructor called" << endl;
	}
};
class D{
public:
	D()
	{
		cout << "D constructor called" << endl;
	}
	~D()
	{
		cout << "D desconstructor called" << endl;
	}
};
class E{
public:
	E()
	{
		cout << "E constructor called" << endl;
	}
	~E()
	{
		cout << "E desconstructor called" << endl;
	}
};
int f()
{
	system("pause");
	return 0;
}
C c;
static E e;
B A::b = B();//静态成员变量在类外初始化
int main()
{
	_onexit(f);
	A *pa = new A;
	B b;
	static D d;
	delete pa;
	return 0;
}
输出：

C constructor
 called//全局变量初始化在main执行之前
E constructor
 called//全局静态变量初始化在main之前
B
 constructor called//类中的静态成员变量在类外初始化在main之前

A
 constructor called//main中执行A的默认构造函数，但是没有调用B的默认构造函数，（若A中的成员变量b不是static型的，那么在调用A的构造函数                                                                                                             时，系统会调用B的默认构造函数，这里涉及到构造函数成员初始化列表的作用）
B
 constructor called//构造b

D
 constructor called//局部静态变量在第一次使用时初始化

A desconstructor
 called//显示调用A的析构
B
 desconstructor called//局部变量在栈上，早析构

D
 desconstructor called//局部静态变量出了main后析构

B
 desconstructor called//类的静态成员变量析构

E
 desconstructor called//全局静态变量析构

C
 desconstructor called//全局变量析构，这后边三个析构顺序，应该和它们的构造顺序相反！！！！

下边内容转载：


有些成员变量的数据类型比较特别，它们的初始化方式也和普通数据类型的成员变量有所不同。这些特殊的类型的成员变量包括：

a.引用

b.常量

c.静态

d.静态常量(整型)

e.静态常量(非整型)

常量和引用，必须通过参数列表进行初始化。这里不包括常量静态成员变量，因为无法通过构造函数初始化静态类数据。但是非常量静态类数据，可以通过构造函数体赋值。

例如：

class Test {
public:
	int a;
	static int b;
public:
	Test(int _a, int _b) : a(_a){
		b = _b;
	}
};
int Test::b;
int main() {
	Test t1(0, 0), t2(1, 1);
	t1.b = 10;
	t2.b = 20;
	printf("%u %u %u %u", t1.a, t1.b, t2.a, t2.b);
	system("pause");
	return 0;
}
但如果是常量静态类数据就不行了，因为不能对常量赋值。

静态成员变量的初始化也颇有点特别，是在类外初始化且不能再带有static关键字，记住是类外初始化，但可以在构造函数中赋值，其本质见文末。

参考下面的代码以及其中注释：


    #include   
    using namespace std;  
      
    class BClass  
    {  
    public:  
     BClass() : i(1), ci(2), ri(i){} // 对于常量型成员变量和引用型成员变量，必须通过参数化列表的方式进行初始化  
                                                    //普通成员变量也可以放在函数体里，但是本质其实已不是初始化，而是一种普通的运算操作-->赋值运算，效率也低  
    private:  
     int i;                                  // 普通成员变量  
     const int ci;                           // 常量成员变量  
     int &ri;                                // 引用成员变量  
     static int si;                          // 静态成员变量  
     //static int si2 = 100;                 // error: 只有静态常量成员变量，才可以这样初始化  
     static const int csi;                   // 静态常量成员变量  
     static const int csi2 = 100;            // 静态常量成员变量的初始化(Integral type)    (1)  
     static const double csd;                // 静态常量成员变量(non-Integral type)  
     //static const double csd2 = 99.9;      // error: 只有静态常量整型数据成员才可以在类中初始化  
    };  
      
    //注意下面三行：不能再带有static  
    int BClass::si = 0; // 静态成员变量的初始化(Integral type)  
    const int BClass::csi = 1; // 静态常量成员变量的初始化(Integral type)  
    const double BClass::csd = 99.9; // 静态常量成员变量的初始化(non-Integral type
静态成员属于类作用域，但不属于类对象，和普通的static变量一样，程序一运行就分配内存并初始化，生命周期和程序一致。
所以，在类的构造函数里初始化static变量显然是不合理的。

静态成员其实和全局变量地位是一样的，只不过编译器把它的使用限制在类作用域内（不是类对象，它不属于类对象成员），要在类的定义外（不是类作用域外）初始化。
下面再说说成员变量是引用的情况：
因为引用是别名的意思，所以定义应用肯定是外部有定义，然后在构造函数初始化列表中被初始化的。

如果两个类要对第三个类的数据进行共享处理，可以考虑把第三个类作为这两个类的引用类型的成员变量。

1、问题
编程的过程中，思考了一个问题。当一个局部的静态变量使用一个函数的返回值初始化时，如果该函数抛出异常，那么，局部静态变量是否被定义成功，即，如果再次调用包含局部静态变量的函数，抛出异常的函数会不会再次被调用。
2、测试
就此问题，我写了如下的测试程序：
#include <iostream>
#include <iomanip>

int func()
{
	throw 100;
}
int TestStatic()
{
	static int i=func();
	return i;
}

int main(int argc, char * argv[])
{
	try
	{
		std::cout<<TestStatic()<<std::endl;
	}
	catch(int i)
	{
		std::cout<<"exc1："<<i<<std::endl;
		try
		{
			std::cout<<"TestStatic:"<<TestStatic()<<std::endl;
		}
		catch(int i)
		{
			std::cout<<"exc2："<<i<<std::endl;
		}
	}
	return 0;
}
 
3、结果
1、在VC9中：第二次调用TestStatic函数不再抛出异常，即，局部静态变量已经定义成功。
2、在gcc中：第二次调用TestStatic函数依旧抛出异常，即，局部静态变量没有定义成功，需要再次进入定义，实现真正的内存分配空间。
 
对于结果，我更欣赏GNU的方式！
不管喜欢那种方式，测试结果都告诉我们，这段代码并部具有可移植性。VC的方式，让我比较失望，因为，因此而失去了一个通用的编程技巧。然而，知道什么是错的，比知道什么是对的还要重要，难道不是吗？
4、背景与应用
有朋友会问，这样的问题，什么情况下会遇到？
我只用一个比较经典的例子来说明。略微熟悉设计模式的朋友都会知道Singleton模式。一般返回的都是一个具体类的实例。虽说一般情况下构造函数中不要抛出异常，但免不了在某些情况下，可能会抛出异常，尤其是在这种单实例模式的情形下，没有必要一定保持构造函数中一定不抛出异常（stl要求容器中的类的构造函数不要抛出异常），所以，在这种情况下，我们似乎会希望，如果构造不成功，客户函数捕获异常，并修复错误后，再次获得单实例时，希望能够再次进行初始化，而得到一个正确的单实例的引用。然而，在这种情况下，面对两个编译器的测试结果，这段代码并不具有可移植性。
如果，只是如果，GNU编译器的方式是一个规范的话，那么，我们在Singleton模式下，就无需判断返回的对象是否有效，如果发生异常，也无须在实现类中编写弥补的代码，只需要再次重新获得Singleton即可，可以简化代码。但，这只是如果。
 
5、补充
回复 scwinter：
多谢兄弟关注！刚才我测试了一下，启用和未启用异常展开语义，编译的结果是不一样的。又掌握了一个知识点！结果如下：
E:/temp/C++>cl test.cpp
用于 80x86 的 Microsoft (R) 32 位 C/C++ 优化编译器 15.00.30729.01 版
版权所有(C) Microsoft Corporation。保留所有权利。
test.cpp
C:/Program Files/Microsoft Visual Studio 9.0/VC/INCLUDE/xlocale(342) : warning C4530: 使用了 C++ 异常处理程序，但未启用展开语义。请指定 /EHsc
Microsoft (R) Incremental Linker Version 9.00.30729.01
Copyright (C) Microsoft Corporation.  All rights reserved.
/out:test.exe
test.obj
E:/temp/C++>test
exc1：100
TestStatic:0
 
E:/temp/C++>cl test.cpp /EHsc
用于 80x86 的 Microsoft (R) 32 位 C/C++ 优化编译器 15.00.30729.01 版
版权所有(C) Microsoft Corporation。保留所有权利。
test.cpp
Microsoft (R) Incremental Linker Version 9.00.30729.01
Copyright (C) Microsoft Corporation.  All rights reserved.
/out:test.exe
test.obj
E:/temp/C++>test
exc1：100
exc2：100
 
 

#include <iostream>
using namespace  std;

int A1()
{
static int a = 10;
a++;
cout << a << endl;
return a;
}

int main(int argc, const char * argv[]) {
A1();
A1();
A1();
int a1=A1();
cout << "a1="<< a1 << endl;
return 0; 
}

结果：

11
12
13
14
a1=14

 全局变量、静态局部变量、静态全局变量都在静态存储区分配空间，而局部变量在栈分配空间。

    全局变量本身就是静态存储方式，静态全局变量当然也是静态存储方式。这两者在存储方式上没有什么不同。区别在于非静态全局变量的作用域是整个源程序，当一个源程序由多个源文件组成时，非静态的全局变量在各个源文件中都是有效的。而静态全局变量则限制了其作用域，即只在定义该变量的源文件内有效，在同一源程序的其他源文件中不能使用它。由于静态全局变量的作用域局限于一个源文件内，只能为该源文件内的函数公用，因此可以避免在其他源文件中引起错误。

    1、静态变量会被放在程序的静态数据存储区里，这样可以在下一次调用的时候还可以保持原来的赋值。这一点是他与堆栈变量和堆变量的区别。

    2、变量用static告知编译器，自己仅仅在变量的作用域范围内可见。这一点是他与全局变量的区别。

从以上分析可以看出，把局部变量改变为静态变量后是改变了他的存储方式，即改变了他的生存期。把全局变量改变为静态变量后是改变了他的作用域，限制了他的使用范围，因此static这个说明符在不同的地方起的作用是不同的。

不同类型的变量在内存中的位置：

    1、 已经初始化的全局变量存放与data数据段；未初始化的全局变量存放与bss数据段。

    2、 静态的全局变量存放与data数据段

    3、 局部变量存放在栈上。

    4、 静态局部变量，并不是在调用函数时分配函数返回时释放，而是像全局变量一样静态分配，存放data数据段，但它的作用域在函数中起作用。

   

    下图是内存中的简要分布图，可以更直观的理解个类型变量在内存中的存放位置，图1。

                                                       

在C中对静态变量初始化必须使用常量，在C++中却可以使用变量初始化静态变量。


C里面只允许静态初始化，　C++允许动态初始化，可以参考C++标准3.6.2节


静态变量没有初始化时，与全局变量一样，默认值为0；
非静态的局部变量没有初始化时，该变量的值不确定，必须要赋值后才可以安全使用，所以最好初始化。
 
参考文章：http://www.myexception.cn/c/1402944.html