C++11知识点整理（上）

NULL和nullptr

nullptr可以被转换成任意其它的指针类型；而NULL在CPP中被宏定义为0，在遇到重载时可能会出现问题并且在cpp中不允许转换。

void fun(int  a)
{
	cout << "int" << endl;
}
void fun(char *a)
{
	cout << "char *" << endl;
}

int main()
{
	fun(0);
}
会调用参数为Int的函数，但是0也表示NULL空指针。

在CPP中NULL的本质就是宏定义0。只有在cpp中才会定义宏__cplusplus。也就是说如果源码是 C++ 程序 NULL 就是 0，如果是 C 程序 NULL 表示 (void*)0。

#ifndef NULL
    #ifdef __cplusplus
        #define NULL 0
    #else
        #define NULL ((void *)0)
    #endif
#endif

由于 C++ 中，void * 类型无法隐式转换为其他类型的指针，此时使用 0 代替 ((void *)0)，用于解决空指针的问题。这个 0（0x0000 0000）表示的就是虚拟地址空间中的 0 地址，这块地址是只读的。

auto

● c++11中auto并不代表一种实际的数据类型，它只是一个类型声明的占位符，auto也并不是在所有场景下都能推导出变量的实际类型，使用auto必须要进行初始化，让编译器推导出它的实际类型，在编译阶段将auto占位符替换为真正的类型。

auto temp  = 2;

● auto还可以和指针，引用以及const，在不同的场景下有对应的推导规则。

○ 当变量不是指针或者引用时，推导的结果中不会保留const 关键字

○ 当变量是指针或者引用时，推导结果中会保留const 关键字

int temp = 110;
auto *a = &temp;  //  int
auto b = &temp;   // int *
auto &c = temp;  // int
auto d = temp; // int

int tmp = 250;
const auto a1 = tmp;  //  int 
auto a2 = a1;             //   int  因为没有声明是指针或者引用所以是int
const auto &a3 = tmp;  //int
auto &a4 = a3; // const int   

auto的限制

● auto不能作为函数参数，因为函数参数只有在函数调用的时候才会将实参传入，auto要求必须给修饰的变量赋值。

● 不能定义数组

● 不能用于类的非常量静态成员变量的初始化

class A
{
public:
	auto c = 2; // 报错
	static auto  a; // 错误的因为静态成员变量需要在类外赋值
	const static auto b = 2;
};

● auto经常应用在STL容器的遍历，其他地方尽量少用不利于代码阅读

增强for循环

● 在增强for循环中不需要传递容器需要遍历的范围，循环会自动以容器为范围展开，并且循环屏蔽掉了迭代器的遍历细节，直接抽取容器中的元素进行运算。

● 如果想要修改遍历的容器，则需要使用引用的方式遍历

● 如果只读数据，不修改元素的值for(const auto & it : vec) 比非引用的效率高一些

● 注意遍历哈希表时获取的是对象不是迭代器所以要用 it.first 或者 it.second

noexcept

noexcept表示其修饰的函数不会抛出异常 。

double divisionMethod(int a, int b) noexcept
{
    if (b == 0)
    {
        cout << "division by zero!!!" << endl;
        return -1;
    }
    return a / b;
}

从语法上讲，noexcept 修饰符有两种形式：

● 简单地在函数声明后加上 noexcept 关键字

● 可以接受一个常量表达式作为参数，如下所示∶

double divisionMethod(int a, int b) noexcept(常量表达式);

void fun(int a)noexcept(0)//值为 false，表示有可能抛出异常这里
{
	if (a == 0) throw("抛出异常");
}

void fun1(int a)noexcept("0")//值为 true，表示函数不会抛出异常
{
	if (a == 0) throw("抛出异常");
}

静态断言

如果我们想知道当前是32 位还是64位平台，显然如果写完程序之后再运行测试是不合理的，所以此时我们应该使用静态断言。static_assert ,所谓静态就是在编译时就能进行检查的断言，使用时不需要引用头文件。

静态断言的表达式是在编译阶段进行检测，所以它的表达式中不能出现变量，必须是常量表达式。

int main()
	{
		//如果我们的环境是32位平台那么在编译阶段就会提示我们自己定义的错误 no 32
		static_assert(sizeof(int*) == 4, "no 32 "); // 正确的
		static_assert(sizeof(int*) == 8, "no 64");//报错 no64
		
			//错误，a是变量，表达式要求是常量表达式
			int a = 4;
		static_assert(a == 4, "no 32 ");
		return 0;
	}

动态断言

如果要使用断言我们需要导入头文件 或 ，头文件为我们提供了assert宏，用于运行时断言。

// 创建一个指定大小的 char 类型数组
char* createArray(int size)
{
	// 通过断言判断数组大小是否大于0
	assert(size > 0);	// 必须大于0, 否则程序中断
	char* array = new char[size];
	return array;
}

int main()
{
	char* buf = createArray(0);
	return 0;
}