通过常量表达式初始化的const变量定义在头文件中

《C++primer》中，讲到头文件中不可以包含定义，有三个例外：类，常量表达式初始化的const对象，inline。

对于不是用常量表达式初始化的const对象，可以加上extern放在源文件中，并在头文件中加上extern声明。

但是对于用常量表达式（即编译器就可以确定的）初始化的const对象，是不可以这么做，而要将定义全部放在头文件中，原因是该const对象用常量表达式初始化，那么该对象自身也可以作为一个常量表达式为其他对象初始化，而当它作为常量表达式时，其初始化必须为编译器可见，如果将对象的定义放在源文件中，编译阶段还没有链接到它的定义，因此编译器不知道他的具体初始化式，会报错，因此将它的定义直接都放在.h头文件中，这样编译器可以直接找到初始化式，同时由于const的特性，const对象在定义它的文件中是局部变量，因此即使多个文件包含该头文件，也不会重定义报错。

下面是代码验证，enum的特性是它的成员初始化式必须是常量表达式,如果将用常量表达式初始化的const对象放在源文件中，编译器会报错，因为找不到a的具体定义。

a.h

extern const int a;

a.cpp

extern const int a = 3;

main.cpp

#include"a.h"
#include<iostream>
using namespace std;
enum Day{
	monday = a
};
int main(){
	cout <<monday<< endl;
	return 0;
}

解决的方法就是将定义全部放在头文件中

a.h

const int a = 3;

main.cpp

#include"a.h"
#include<iostream>
using namespace std;
enum Day{
	monday = a
};
int main(){
	cout <<monday<< endl;
	return 0;
}