下面的C++
代码中定义了一个名为Foo
的结构体,其中包含两个静态常量成员A
和B
。在类定义体内,这些常量被声明为static const int
类型,并被初始化为1
和2
。【1】
定义了struct
后,接下来又用了两行代码,分别定义了A
和B
常量。【2】
最后在main()
中使用A
和B
。【3】
struct Foo {
static const int A = 1; 【1】
static const int B = 2;
};
const int Foo::A; 【2】
const int Foo::B;
int main() {
printf("A=%d, B=%d", Foo::A, Foo::B); 【3】
return 0;
}
问题:为什么C++
的语法要这么麻烦,常量需要定义两次?
在C++中,静态成员变量在类和结构体内部只是声明
,而不是定义
。因此,需要在类外部提供定义。
类和结构体属于接口,A
和B
在接口中被声明为常量,接口声明可能在头文件中被多次包含。而定义属于实现,定义后的地址在程序的其他地方被引用时是唯一的。
早在C++98/03
标准中,静态成员变量的定义必须在类的定义体外部进行,而且必须对其进行初始化。
从C++11
标准开始,对静态成员变量的初始化进行了一些改进。现在,静态成员变量可以在类定义体内部进行初始化,而且还可以使用constexpr
关键字来声明常量静态成员变量,例如:
struct Foo {
static constexpr int A = 1;
static constexpr int B = 2;
};
在这种情况下,不再需要在类定义体外部提供静态成员变量的定义。这种改进是为了使C++更加现代化和易于使用。
不在类外部对静态成员变量进行定义和初始化,编译器会产生链接错误。链接器尝试在程序的不同部分中寻找静态成员变量的定义
,并将其对应到一个单独的实例来定址。如果链接器无法找到静态成员变量的定义,则会失败并生成链接错误:未定义的符号错误。
undefined reference to "Foo::A"
undefined reference to "Foo::B"