C++新特性02_ nullptr与constexptr（NULL本质是0；nullptr空指针，本质还是0，但具有了指针类型；constexpr（常量表达式）；局部变量空间在编译器就决定）

本篇主要讲C++的新特性nullptr与constexptr，这两个知识点实际应用不是很多，但相对来说nullptr更常用些。

1.nullptr

当需要在代码中使用空指针，要养成使用nullptr的习惯

1.1 NULL带来的问题

在之前我们定义指针的初始化时，使用的是NULL，但是由于其为预定义的，本质上还是0，因此会造成重载出错的问题。下面就是重载出错的一个案例：

（1）使用NULL进行指针初始化

（2）重载至错误函数
下面的程序在客户main()中，NULL应该是一种指针的类型，调用的应该是指针，但实际编译之后返回时int。

（3）NULL的本质
出现（2）中结果的原因是：预编译时NULL已经宏定义为0，本质就是0。

1.2 nullptr的使用

nullptr代表空指针，本质还是0，但是具有了指针类型。

等价于：

foo((char*)NULL);

1.3 存在2个指针时的二义性问题

#include <iostream>

void foo(char* p) 
{
	std::cout << "char*" << std::endl;
}

void foo(int* p)
{
	std::cout << "int*" << std::endl;
}

void foo(int n)
{
	std::cout << "int" << std::endl;
}

int main(int argc,char* argv[])
{
	char* p = NULL;
	//在编译器中NULL是一种宏替换，等价于foo(0);而非想要指向的指针类型，重载报错
	//foo(NULL);

	//为了避免上面的情况出现，因此C++中采用nullptr,代表空指针
	//本质还是0，但是具备了类型
	foo(nullptr);
	//等价如下
	//foo((char*)NULL);

	return 0;
}

由于重载时有两个函数都满足条件，存在二义性，函数重载报错：

2.constexpr（常量表达式）

C++ 本身已经具备了常数表达式的概念，比如 1+2、3+4 这种表达式总是会产生相同的结果并且没有任何副作用。如果编译器能够在编译时就把这些表达式直接优化并植入到程序运行时，将能增加程序的性能。
C++ 11 提供了 constexpr 让用户显式的声明函数或对象构造函数在编译期会成为常数

2.1 编译器的编译器和运行期

编译期：编译cpp变为exe的过程
代码右键选择“生成”，并未双击“exe”文件 。cpp–>编译期–>exe


运行期：双击exe， exe被执行的时期

2.2 为什么需要constexpr

（1）首先我们需要明确下面这句话：函数内部写的代码都称为局部变量，在栈上开辟空间，在编译期间就应该决定局部变量的大小。

再看一个问题：

int len = 5;
char arr_3[len]; 

这样定义一个数组是不可以的，为什么呢？

局部变量在编译期就会在栈上开辟内存，指定大小，len在这里是变量，程序运行期存在变化的可能，因此编译期就傻了，不知道给你分配多大的内存。

int main() {
	//函数内部写的代码都称为局部变量，在栈（内存）上开辟空间
	char arr_1[10];
	char arr_2[LEN];
	int len = 5;

	//编译器编译时就会在栈上开辟内存，指定大小，len在这里是变量，存在运行期变化的可能
	//因此编译期就傻了，不知道给你分配多大的内存
	char arr_3[len];  编译器在运行期才能确定该变量的大小，从而分配空间

	//char arr_3[len + 5];          // 非法
	//char arr_5[len_foo() + 5];  // 非法   
	return 0;
}

（2）解决办法：
利用const将变量转换为常量，称为常量折叠。对应有常量展开的概念。

	const int len = 5;
	char arr_3[len];  //编译器在编译期就能确定该变量的大小

（3）数组内部是常量的解决了，但是如果碰到下边这种情况，怎么办呢？

//加上const也不能解决
const int len_foo() {
	return 5;
}
//arr_5内需要一个常量表达式,里面实际上是一个表达式
char arr_5[len_foo() + 5];  // 非法  

运行结果如下：

（4）将其准换为常量表达式即可，方法如下：

//常量表达式
constexpr int len_foo() {
	return 5;
}

//arr_5内需要一个常量表达式,里面实际上是一个表达式
char arr_5[len_foo() + 5]; 

常量表达式中不可以使用if()else()这些，限制会比较多，了解即可。

2.3 constexpr学习代码

#include <iostream>

#define LEN 10

//常量表达式
constexpr int len_foo() {
	return 5;
}

//时期
//1.编译期 cpp-->编译期-->exe
//2.运行期 双击exe， exe被执行的时期

int main() {
	//函数内部写的代码都称为局部变量，在栈（内存）上开辟空间，在编译期间分配的
	//变量在运行期才会确定大小
	char arr_1[10];
	char arr_2[LEN];
	const int len = 5;

	//编译器编译时就会在栈上开辟内存，指定大小，len在这里是变量，程序运行期存在变化的可能
	//因此编译期就傻了，不知道给你分配多大的内存
	char arr_3[len];  //编译器在运行期才能确定该变量的大小，从而分配空间

	//char arr_3[len + 5];          // 非法

	char arr_5[len_foo() + 5];  // 非法   

	return 0;
}

3.学习视频地址：nullptr与constexptr
4.学习笔记：nullptr与constexptr学习笔记