C++ primer学习笔记第2章变量和基本类型-constexpr

constexpr

在编译过程就能得到计算结果的表达式

constexpr表达式是指值不会改变并且**在编译过程就能得到计算结果的表达式**。声明为constexpr的变量一定是一个const变量，而且必须用常量表达式初始化：

constexpr int mf = 20;  //20是常量表达式
constexpr int limit = mf + 1; // mf + 1是常量表达式

指针和constexpr

在constexpr声明中如果定义了一个指针，限定符conxtexpr仅对指针有效，与指针所指的对象无关。

	constexpr int* p = nullptr; // p是一个指向整数的常量指针
	const int* q = nullptr; // //q是一个指向整形常量的指针
	int a = 1;

	// constexpr
	p = &a;  // 错误 表达式必须是可修改的左值
	*p = a;

	// const 
	q = &a;
	*q = a;//  错误 表达式必须是可修改的左值

函数和constexpr

如果表达式或者函数返回值等不能在编译期间确定，则constexpr修饰的函数和普通函数一样

constexpr函数是指用于常量表达式的函数。定义constexpr函数时需要注意：函数的返回类型以及所有形参的类型都得是字面值类型，而且函数体中必须有且仅有一条return语句。

编译器把对constexpr函数的调用替换成其结果值，为了能在编译过程中随时展开，constexpr函数被隐式地指定为内联函数

允许constexpr函数返回值并非常量：

constexpr int  size(size_t cnt)
{
	return cnt * 2;
}
int main()
{
	int a = 2;
	constexpr int sz = size(2); //之后当size是一个constexpr函数时才是一条正确的声明语句
	constexpr int sz1 = size(a); //a 不是一个常量所以size(a)，也不是一个常量
}

Constexpr函数体内也可以有其他语句，但是这些语句必须保证在运行时不执行任何操作。例如：空语句，类型别名，以及using声明。

有了const 为什么还会出现 constexpr

constexpr 和 const 的区别：

1、const并未严格的限定编译期常量和运行常量
2、constexpr则是限定在编译器常量，编译器看见constexpr可以放心的进行优化，从而提高程序的执行效率。

const和constexpr都可以用来：

1、修饰函数的参数。
2、修饰函数的返回值。
3、修饰类的成员函数。
4、修饰类对象。
5、修饰指针。
6、修饰的变量必须初始化等等。

原因:

const的“只读”含义也是众所周知的，在const的使用过程中发现const修饰一个变量时，出现了“只读”和“常量”的双重含义，导致使用过程中往往会出现一些错误，于是引入了constexpr关键字来解决这个问题，把常量的含义从const中剥离出来，只保留只读的含义。大多数时候，我们想定义一个常量，使用两者都是没有问题的