C++11/14学习(一)nullptr与constexpr
示例:
#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 的习惯。
C++11新标准规定,允许将变量或函数声明为constexpr类型,由编译器来验证变量的值是否是一个常量表达式。
声明为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的好处: 很强的约束,保证程序的正确定义不被破坏; 编译器对constexper代码进行了优化,例如:将用到的constexpr表达式直接替换成结果; 相比宏来说没有额外的开销。