这是该系列的第二篇。
有个很有意思的现象,在 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 成员变量属于类,只能被定义一次.
最后需要注意的是,当且仅当引入外部符号且必须链接该外部符号但找不到此符号时,才会链接失败。简单来说,就是编译单元引入但没有使用外部符号的场景。