C++11/14学习（一）nullptr与constexpr

一. nullptr

示例:

#include <iostream>

void foo(char * c){}
void foo(int n){}

int main()
{
	foo(0);
	// foo(NULL); // 编译无法通过
	foo(nullptr);
	return 0;
}

foo(NULL)无法编译通过，因为编译器不知道NULL隐式转换为哪个类型的参数来调用。
所以，当需要使用 NULL 时候，请养成直接使用 nullptr 的习惯。

二. constexpr

C++11新标准规定，允许将变量或函数声明为constexpr类型，由编译器来验证变量的值是否是一个常量表达式。
声明为constexpr的变量一定是一个常量，而且必须用常量表达式初始化

1．constexpr修饰函数

constexpr int sub(int i)
{
	return i - 1;
}

constexpr int a = 1;		// 1 是常量表达式
constexpr int b = a + 1;	// a + 1 是常量表达式
constexpr int sz = sub(b);	// sub是一个constexpr函数,这是一条正确的声明语句
int arr[sub(b)] = { 0 };	// 编译器允许这样的定义，并将sub(b)优化成1。C++11之前这是非法的

2．constexpr修饰类

constexpr可以修饰类的构造函数
即：保证传递给该构造函数的所有参数都是constexpr，那么产生的对象的所有成员都是constexpr。
该对象也是constexpr对象了，可用于只使用constexpr的场合。

注意: constexpr构造函数的函数体必须为空，所有成员变量的初始化都放到初始化列表中。

class Test
{
public:
	constexpr Test(int arg1, int arg2) : v1(arg1), v2(arg2) {}
private:
	int v1;
	int v2;
};

constexpr Test A(1, 2)
enum e = { x = A.v1, y = A.v2 };

3．constexpr递归函数

constexpr int fibonacci(const int n)
{
	return n == 1 || n == 2 ? 1 : fibonacci(n - 1) + fibonacci(n - 2);
}

从 C++14 开始，constexptr 函数可以在内部使用局部变量、循环和分支等简单语句
例如下面的代码在 C++11 的标准下是不能够通过编译的

constexpr int fibonacci(const int n)
{
	if (n == 1) return 1;
	if (n == 2) return 1;
	return fibonacci(n - 1) + fibonacci(n - 2);
}

4．使用constexpr的好处

1. 很强的约束，保证程序的正确定义不被破坏；
2. 编译器对constexper代码进行了优化，例如：将用到的constexpr表达式直接替换成结果；
3. 相比宏来说没有额外的开销。