C++ Primer笔记（2.4.4）——constexpr和常量表达式

#include<iostream>


/******************************************************************************************/
/*  常量表达式（const expression）是指值不会改变而且在编译过程中就能得到计算结果的表达式  */
/*  显然，字面值属于常量表达式，用常量表达式初始化的const对象也是常量表达式。             */
/******************************************************************************************/

int j = 0;
constexpr int i = 42;  //i的类型是整形常量

int get_size()
{
	int i = 10;
	return i;
}

constexpr int size()
{
	int i = 10;
	return i;
}

int main()
{
	/* ----- 例子 ----- */
	//一个对象（或表达式）是不是常量表达式由它的数据类型和初始值共同决定。
	const int max_files = 20;          //max_files是常量表达式
	const int limit = max_files + 1;   //limit是常量表达式
	int staff_size = 27;               //staff_size不是常量表达式
	const int sz = get_size();         //sz不是常量表达式

	/* 尽管staff_size的初始值是个字面值常量，但由于它的数据类型只是一个普通int所以不属于常量表达式。 */
	/* 尽管sz本身是一个常量，但它具体值直到运行时才能获取到，并非编译过程中，所以也不是常量表达式。  */
	/* ---------------- */


	/* ----- constexpr变量 ----- */
	//在一个复杂系统中，很难（几乎肯定不能）分辨一个初始值到底是不是常量表达式。
	//C++ 11新标准规定，允许将变量声明为constexpr类型，以便由编译器来验证变量的值是否是一个常量表达式。
	//声明为constexpr的变量一定是一个常量，而且必须用常量表达式初始化

	constexpr int mf = 20;        //20是常量表达式
	constexpr int limt = mf + 1;  //mf + 1 是常量表达式
	constexpr int sz2 = size();    //只有当size是一个constexpr函数时才正确
	/* ------------------------- */


	/* ----- 字面值类型 ----- */

	/* 常量表达式的值需要在编译时就得到计算，因此对声明constexpr时用到的类型必须有所限制。 */
	/* 因为这些类型一般比较简单，值也显而易见，称为“字面值”                              */
	/* ⭕目前为止接触过的数据类型中，算术类型、引用、指针都属于字面值类型。                */
	/* ⭕自定义类Sales_item、IO库、string类型则不属于字面值类型，所以不能定义为constexpr   */
	/* ⭕指针和引用定义成constexpr，但初始值必须是nullptr或0，或存储于某个固定地址中的对象 */
	/*                                                                                     */
	/* 1.函数体内定义的变量一般来说并非存放在固定地址，所以constexpr指针不能指向这样的变量 */
	/* 2.允许函数定义一类有效范围超出函数本身的变量，是有固定地址的，可以constexpr         */

	/* ---------------------- */


	/* ----- 指针和constexpr ----- */
	//✳在constexpr声明中如果定义了一个指针，限定符constexpr仅对指针有效，与指针所指的对象无关
	const int *p = nullptr;      //p是一个指向整形常量的指针
	constexpr int *q = nullptr;  //q是一个指向整数的常量指针

	//与其他常量指针类似，constexpr指针即可以指向常量也可以指向一个非常量
	constexpr int *np = nullptr;  //np是一个指向整数的常量指针
	
	//i和j都必须定义在函数体之外
	constexpr const int *p1 = &i;  //p1是常量指针，指向整型常量i
	constexpr int *p2 = &j;       //p2是常量指针，指向整数j
	/* --------------------------- */

	return 0;
}