文章目录
1. 前言
在本文中,我们将深入探讨C++11标准(也称为C++0x)带来的新特性和改进。
本文将着重讲解初始化列表、C++11中新加入的一些声明、范围for循环、STL中的一些变化、右值引用和移动语义、新的类功能、可变参数模板、lambda表达式以及包装器。
2. C++11简介
在2003年C++标准委员会曾经提交了一份技术勘误表(简称TC1),使得C++03这个名字已经取代了C++98称为C++11之前的最新C++标准名称。不过由于C++03(TC1)主要是对C++98标准中的漏洞进行修复,语言的核心部分则没有改动,因此人们习惯性的把两个标准合并称为C++98/03标准。从C++0x到C++11,C++标准10年磨一剑,第二个真正意义上的标准珊珊来迟。相比于C++98/03,C++11则带来了数量可观的变化,其中包含了约140个新特性,以及对C++03标准中约600个缺陷的修正,这使得C++11更像是从C++98/03中孕育出的一种新语言。相比较而言,C++11能更好地用于系统开发和库开发、语法更加泛华和简单化、更加稳定和安全,不仅功能更强大,而且能提升程序员的开发效率,公司实际项目开发中也用得比较多,所以我们要作为一个重点去学习。C++11增加的语法特性非常篇幅非常多,我们这里没办法一一讲解,所以本节课程主要讲解实际中比较实用的语法。
3. 统一的列表初始化
3.1 {} 初始化
在C++98中,标准允许使用花括号{}对数组或者结构体元素进行统一的列表初始值设定。比如:
struct Point { int _x; int _y; }; int main() { int array1[] = { 1, 2, 3, 4, 5 }; int array2[5] = { 0 }; Point p = { 1, 2 }; return 0; }
C++11扩大了用大括号括起的列表(初始化列表)的使用范围,使其可用于所有的内置类型和用户自定义的类型,使用初始化列表时,可添加等号(=),也可不添加。比如:
struct Point { int _x; int _y; }; int main() { int x1 = 1; int x2{ 2 }; int array1[]{ 1, 2, 3, 4, 5 }; int array2[5]{ 0 }; Point p{ 1, 2 }; // C++11中列表初始化也可以适用于new表达式中 int* pa = new int[4] { 0 }; return 0; }
创建对象时也可以使用列表初始化方式调用构造函数初始化。比如:
class Date { public: Date(int year, int month, int day) :_year(year) , _month(month) , _day(day) { cout << "Date(int year, int month, int day)" << endl; } private: int _year; int _month; int _day; }; int main() { Date d1(2024, 1, 1); // old style // C++11支持的列表初始化,这里会调用构造函数初始化 Date d2{ 2024, 1, 2 }; Date d3 = { 2024, 1, 3 }; return 0; }
3.2 std::initializer_list
std::initializer_list的介绍文档:
翻译过来就是:
- 这种类型用于访问 C++ 的初始化列表(initialization list),它是一个包含 const T 类型元素的列表。
- 编译器会自动从初始化列表声明中构造这种类型的对象,初始化列表是一系列用逗号分隔、括在花括号中的元素。
- 需要注意的是,这个模板类并不是隐式定义的,需要包含
<initializer_list>
头文件才能访问它,即使这种类型在使用时是隐式的。- initializer_list 对象会被自动构造,就好像分配了一个类型为 T 的元素数组,列表中的每个元素都会使用必要的非缩小转换进行复制初始化,与数组中相应的元素对应。
- initializer_list 对象引用这个数组的元素,而不包含它们:复制一个 initializer_list 对象会产生另一个引用相同底层元素的对象,而不是对它们进行新的拷贝(引用语义)。
- 这个临时数组的生命周期与 initializer_list 对象相同。
- 当使用初始化列表构造语法时,只有一个参数的构造函数是一种特殊类型的构造函数,称为初始化列表构造函数。使用初始化列表构造函数语法时,初始化列表构造函数优先于其他构造函数。
std::initializer_list使用场景:
std::initializer_list一般是作为构造函数的参数,C++11对STL中的不少容器就增加std::initializer_list作为参数的构造函数,这样初始化容器对象就更方便了。也可以作为operator=的参数,这样就可以用大括号赋值。
int main() { vector<int> v = { 1,2,3,4 }; list<int> lt = { 1,2 }; // 这里{"sort", "排序"}会先初始化构造一个pair对象 map<string, string> dict = { { "sort", "排序"}, { "insert", "插入"} }; // 使用大括号对容器赋值 v = { 10, 20, 30 }; return 0; }
让模拟实现的vector也支持{}初始化和赋值:
namespace my_vector { template<class T> class vector { public: typedef T* iterator; vector(initializer_list<T> l) { _start = new T[l.size()]; _finish = _start + l.size(); _endofstorage = _start + l.size(); iterator vit = _start; typename initializer_list<T>::iterator lit = l.begin(); while (lit != l.end()) { *vit++ = *lit++; } //for (auto e : l) // *vit++ = e; } vector<T>& operator=(initializer_list<T> l) { vector<T> tmp(l); std::swap(_start, tmp._start); std::swap(_finish, tmp._finish); std::swap(_endofstorage, tmp._endofstorage); return *this; } private: iterator _start; iterator _finish; iterator _endofstorage; }; }
4. 声明
c++11提供了多种简化声明的方式,尤其是在使用模板时。
4.1 auto
在C++98中auto是一个存储类型的说明符,表明变量是局部自动存储类型,但是局部域中定义局部的变量默认就是自动存储类型,所以auto就没什么价值了。C++11中废弃auto原来的用法,将其用于实现自动类型推断。这样要求必须进行显示初始化,让编译器将定义对象的类型设置为初始化值的类型。
比如:
int main() { int i = 10; auto p = &i; auto pf = strcpy; cout << typeid(p).name() << endl; cout << typeid(pf).name() << endl; map<string, string> dict = { { "sort", "排序"}, { "insert", "插入"} }; //map<string, string>::iterator it = dict.begin(); auto it = dict.begin(); // auto被自动推断为map<string, string>::iterator类型 return 0; }
4.2 decltype
关键字decltype将变量的类型声明为表达式指定的类型。
decltype的一些使用使用场景:
template<class T1, class T2> void F(T1 t1, T2 t2) { decltype(t1 * t2) ret; cout << typeid(ret).name() << endl; } int main() { const int x = 1; double y = 2.2; decltype(x * y) ret; // ret的类型是double decltype(&x) p; // p的类型是int* cout << typeid(ret).name() << endl; cout << typeid(p).name() << endl; F(1, 'a'); return 0; }
4.3 nullptr
由于C++中NULL被定义成字面量0,这样就可能回带来一些问题,因为0既能指针常量,又能表示整型常量。所以出于清晰和安全的角度考虑,C++11中新增了nullptr,用于表示空指针。
#ifndef NULL #ifdef __cplusplus #define NULL 0 #else #define NULL ((void *)0) #endif #endif
5. 范围for循环
范围for循环是C++11引入的一种用于遍历容器、数组和其他支持迭代器的数据结构的语法结构。它提供了一种简洁、直观的方式来迭代访问容器中的元素。
范围
for
循环的语法是for (element_declaration : range_expression)
,其中element_declaration
是一个变量声明,用于存储每个迭代步骤中的元素值,而range_expression
是一个可迭代的对象,例如容器、数组或支持迭代器的数据结构。下面是一个使用范围
for
循环的示例代码:#include <iostream> #include <vector> int main() { std::vector<int> numbers = { 1, 2, 3, 4, 5}; // 使用范围for循环遍历vector中的元素 for (int number : numbers) { std::cout << number << " "; } return 0; }
在上述代码中,我们定义了一个
std::vector<int>
类型的容器numbers
,其中包含一些整数。然后,我们使用范围for
循环来遍历numbers
中的元素。在每次迭代中,范围
for
循环将容器中的下一个元素赋值给element_declaration
,然后执行循环体中的代码。循环体的代码块将被重复执行,直到遍历完容器中的所有元素为止。
6. STL中的一些变化
新容器
用橘色圈起来是C++11中的几个新容器,但是实际最有用的是unordered_map和unordered_set。这两个我们前面已经进行了非常详细的讲解,其他的大家了解一下即可。
容器中的一些新方法
如果我们再细细去看会发现基本每个容器中都增加了一些C++11的方法,但是其实很多都是用得比较少的。
比如提供了cbegin和cend方法返回const迭代器等等,但是实际意义不大,因为begin和end也是可以返回const迭代器的,这些都是属于锦上添花的操作。
实际上C++11更新后,容器中增加的新方法是插入接口函数的右值引用版本,如:emplace_back,push_back,insert,emplace等接口。
但是这些接口到底意义在哪?网上都说他们能提高效率,他们是如何提高效率的?
请看下面各小章节的讲解。
7. 右值引用和移动语义
7.1 左值引用和右值引用
传统的C++语法中就有引用的语法,而C++11中新增了的右值引用语法特性,所以从现在开始我们之前学习的引用就叫做左值引用。无论左值引用还是右值引用,都是给对象取别名。
什么是左值?什么是左值引用?
左值是一个表示数据的表达式(如变量名或解引用的指针),我们可以获取它的地址+可以对它赋值,左值可以出现赋值符号的左边,右值不能出现在赋值符号左边。定义const修饰符后的左值,不能给它赋值,但是可以取它的地址。左值引用就是给左值的引用,给左值取别名。
比如:
int main()
{
// 以下的p、b、c、*p都是左值
int* p = new int(0);
int b = 1;
const int c = 2;
// 以下几个是对上面左值的左值引用
int*& rp = p;
int& rb = b;
const int& rc = c;
int& pvalue = *p;
return 0;
}
什么是右值?什么是右值引用?
右值也是一个表示数据的表达式,如:字面常量、表达式返回值,函数返回值(这个不能是左值引用返回)等等,右值可以出现在赋值符号的右边,但是不能出现出现在赋值符号的左边,右值不能取地址。右值引用就是对右值的引用,给右值取别名。<