C++11新特性部分总结

一、C++11相对C++98显著变化

C++11的特性改变了书写C++代码的风格和习惯，也改变了设计C++库的方式。例如，你会看到更多的被当作参数和返回值的智能指针，用初始化列表初始化。

C++11相对于C++98有什么显著增强呢？

1. 通过统一初始化表达式、auto、declytype、移动语义等来统一对泛型编程的支持。
2. 通过constexpr、POD更好支持系统编程
3. 通过内存模型、线程、原子操作来支持本地并行编程
4. 通过内联命名空间、继承构造函数和右值引用等，更好支持库的构建

二、C++11常用的特性

auto类型说明符、decltype类型指示符

• auto忽略顶层const，保留底层const（如指针指向的地址中的内容为const）。
• auto的优势主要表现在对泛型编程的支持。
• decltype可以返回操作数的数据类型。
• C++11中的类型推导，大大方便了模板编程。

智能指针、nodelete

• c++的显式堆内存管理带来几大问题：野指针、重复释放、内存泄漏（不用的内存不释放）。
• 垃圾回收的方式：基于引用计数（难处理环形引用）、基于跟踪处理（使用更广泛）。
• 智能指针是基于引用计数来实现的。
• C++的最小垃圾回收基于安全派生指针。

1. auto_ptr的缺陷：本身不含有赋值语义，所以在它赋值给别人（例如传参时），实际发生的是控制权的转移。
2. unique_ptr：无法与其他指针共享“所有权”，只能通过std::move来转移所有权。unique_ptr析构函数会释放指向的内存。
3. shared_ptr：只要有shared_ptr对象引用时，这块内存就不会被释放。引用计数为0时，析构函数会释放。
4. weak_ptr：指向shared_ptr管理的对象，但是不会影响计数。可以用来验证share_ptr的有效性。

统一的初始化和初始化列表

• 使用花括号的列表初始化，这种方法称为初始化列表。int a{1}；
• C++11总是倾向于使用更为通用的方式来支持新特性。程序员可以声明一个以innitial_list<T>模板类为参数的钩爪函数，可使自定义类型使用列表初始化。如下：

•  程序员也可以定义接受初始化列表的函数。（个人感觉如同接受一个vector<int>）

lambda函数

定义：

• 参数列表、matable修饰符和尾置返回类型可以省略，捕获列表和函数体可以为空

• 捕获列表的形式：val  =   &val   &  this
• 仿函数是lambda的一种实现方式。

优点：

• 就地定义，使用方便。如方便stl中find_if、for_each函数。
• 在C++11中，仿函数默认为内联函数，效率高。

右值引用&&、std::move、移动构造函数

右值引用&&

• 左值持久，右值短暂。
• 右值引用只能绑定到一个将要销毁的对象。
• 不能将右值引用直接绑定在一个左值上。

std::move()

• std::move函数可以将左值转换为右值引用，继而可以通过右值引用使用该值。实现上讲，如同语句static_cast<T&&>(value)
• std::move()主要时为了提高效率，如：C++ 标准库使用比如vector::push_back 等这类函数时,会对参数的对象进行复制,连数据也会复制.这就会造成对象内存的额外创建, 本来原意是想把参数push_back进去就行了,通过std::move，可以避免不必要的拷贝操作。
• std::move()主要是将所有权从一个对象转向另一个对象，没有内存搬迁和拷贝，提高性能。
• 对指针类型的标准库对象并不需要这么做.

移动构造函数

• 类似于拷贝构造函数，但是引用参数的类型是右值引用。
• 移动构造函数不分配任何新内存，而是接管原来的内存。（如代码所示）
• 设计构造函数时，保证移动之后的源对象有效、可析构。（如string的移动构造函数）
• 通常移动构造函数应该是noexcept

 完美转发

• 完美转发是指在函数模板中，完全按照模板的参数类型，将参数传递给函数模板中调用的另一个函数。不产生额外的开销 。
• 使用引用折叠规则。

• 当传入t为X&时，T被推导为X&，当传入t为X&&时，T推导为X。
• forward(t)，代替static_cast<T&&>(t)，相当于move(t)。在t为右值引用时发挥作用。

三、其他特性

nullptr常量

• nullptr是一个字面值，用来初始化指针得到空指针。
• 不再建议用NULL得到空指针。

constexpr和常量表达式

• 常量表达式：是指值不会改变，并且在编译期间能得到计算结果的表达式。
• constexpr：C++11允许用它将变量声明为constexpr，由编译器验证变量的值是否为常量表达式。如果你认定变量是一个常量表达式，就可以将它声明为constexpr。

尾置返回类型

• 任何函数的定义都可以用尾置返回类型，但是对于返回类型比较复杂的函数比较有效。比如返回指向10个整数的数组的指针：->int(*)[10];