const static extern 存储与进程空间布局（二）

这是该系列的第二篇。

有个很有意思的现象，在 c++ 中，static 用于类中时，表示该 成员函数/变量 属于类，而不是对象，因此，它会被放入外部链接符号表中，给其它编译单元使用。那么，可以推断它们仅仅只能被定义一次，否则导入外部链接符号的编译单元会发现，重复定义，自然会链接报错。

形如

//A.h
class A
{
	static int id;	//仅仅是声明
	static void say();//仅仅是声明
}

//
A.cpp
int A::id=2;	//定义, ok
void A::say(){} //定义, ok

//B.cpp
int A::id=3;    //error, redinition
void A::say(){} //error, redinition

const 在 c++ 有内联的属性，即，在 A.cpp 中定义 const int global_id=2; 在 B.cpp 中有对这个外部符号 extern int global_id 有链接时， 将导致链接失败(如果只是 extern int global_id 但没有使用它则不会产生链接)。这是因为 global_id 有 const 修饰，A.cpp 编译时，没有将 global_id 放入外部链接符号表，所以 B.cpp 自然就链接不到这个符号，故出错。

 const 用于成员变量时，表示该变量已经定义了，在其他任何地方再地方则是重复定义，而且，const 变量只能在构造函数或初始化列表中初始化。

注意，const 变量属于对象，而不是类。

//A.h
class A
{
	static int sid = 2;// 错误, 仅仅只有 static const int 成员可以在类内部初始化.这是因为
	static const int scid ; //仅仅是个声明
	static int fid;//ok, 仅是个声明
}
int global_id; //错误, 变量被 A.cpp 和 B.cpp 包含，重复定义
extern int global_eid = 2; //错误, 同上
extern int global_declaration; //ok, 仅仅是个声明

//A.cpp
#include "A.h"
const int A::scid=2;// ok, 定义一个静态的 const 变量
extern int global_declaration;//ok, 仅是个声明. 其实这句话可以删除，因为 A.h 在 A.cpp 中展开后也有这句话. extern 可以重复写
int A::fid =2;//ok, 定义

//B.cpp
#include "A.h"
extern int global_declaration = 9;//ok, define
int A::fid=4;//错误, 重复定义. static 成员变量属于类，只能被定义一次.

最后需要注意的是，当且仅当引入外部符号且必须链接该外部符号但找不到此符号时，才会链接失败。简单来说，就是编译单元引入但没有使用外部符号的场景。