C++11：常量表达式

常量表达式主要是允许一些计算发生在编译时，即发生在代码编译阶段而不是代码运行阶段。这是很大的优化，因为如果有些事情可以在编译时做，那么它只会做一次，而不是每次程序运行时都计算。
使用constexpr，你可以创建一个编译时的函数：

constexpr int getConst()
{
	return 3;
}
void test07()
{
	int arr[getConst()] = { 0 };
	enum {e1 = getConst(),e2 };
	const int num = getConst();
	cout << sizeof(arr) / sizeof(arr[0]) << endl;
	cout << num << endl;
}

constexpr函数的限制

1. 函数中只能有一条return语句
2. 函数必须有返回值
3. 在使用前必须定义
4. return返回语句表达式中不能使用非常量表达式的函数、全局数据。只能是一个常量表达式

//函数中只能有一条return语句，在linux下编译失败，在vs2017上编译通过
constexpr int getconst()
{
	constexpr int i = 1;
	return i;
}
// 函数必须返回值，不能是void函数，因为函数必须有返回值，要不然该函数有什么用呢？
constexpr void getconst2()
{
	return;
}
constexpr int data2()
{
	// 一个constexpr函数，只允许包含一行可执行代码
	//但允许包含typedef、 using 指令、静态断言等。
	static_assert(1, "fail");
	return 100;
}
int a = 3;
constexpr int data3()
{
	return a;// return返回语句表达式中不能使用非常量表达式的函数、全局数据
}


int main(int argc, char ** argv)
{
	constexpr int func();//函数声明，定义放在main后面
	constexpr int c = func();// 无法通过编译，在使用前必须已经有定义
	system("pause");
	return 0;
}

常量表达式的构造函数有以下限制

1. 函数体必须为空
2. 初始化列表只能由常量表达式来赋值

struct Date
{
    constexpr Date(int y, int m, int d): year(y), month(m), day(d) {}

    constexpr int GetYear() { return year; }
    constexpr int GetMonth() { return month; }
    constexpr int GetDay() { return day; }

private:
    int year;
    int month;
    int day;
};

int main()
{
    constexpr Date PRCfound {1949, 10, 1};// 必须是常量表达式
    constexpr int foundmonth = PRCfound.GetMonth();// vs2017下失败了，linux下成功

    cout << foundmonth << endl;  // 10

    return 0;
}