深圳seo网站推广方案,宁波seo排名优化培训,上海建筑信息平台,想做推广哪个平台好C11 一、C11简介二、统一的列表初始化1.#xff5b;#xff5d;初始化2. std::initializer_list 三、声明1. auto2. decltype3. nullptr 四、右值引用和移动语义1. 左值引用和右值引用2. 左值引用与右值引用比较3. 右值引用使用场景和意义4. 右值引用引用左值及其一些更深入的… C11 一、C11简介二、统一的列表初始化1.初始化2. std::initializer_list 三、声明1. auto2. decltype3. nullptr 四、右值引用和移动语义1. 左值引用和右值引用2. 左值引用与右值引用比较3. 右值引用使用场景和意义4. 右值引用引用左值及其一些更深入的使用场景分析5. 完美转发 五、新的类功能1. 默认成员函数2. 类成员变量初始化3. 强制生成默认函数的关键字 default4. 禁止生成默认函数的关键字 delete5. 继承和多态中的 final 与 override 关键字 一、C11简介
在 2003 年 C 标准委员会曾经提交了一份技术勘误表(简称TC1)使得 C03 这个名字已经取代了 C98 称为 C11 之前的最新 C 标准名称。不过由于 C03(TC1) 主要是对 C98 标准中的漏洞进行修复语言的核心部分则没有改动因此人们习惯性的把两个标准合并称为 C98/03 标准。
从 C0x 到 C11C 标准10年磨一剑第二个真正意义上的标准珊珊来迟。相比于 C98/03C11 则带来了数量可观的变化其中包含了约 140 个新特性以及对 C03 标准中约 600 个缺陷的修正这使得 C11 更像是从 C98/03 中孕育出的一种新语言。相比较而言C11 能更好地用于系统开发和库开发、语法更加泛华和简单化、更加稳定和安全不仅功能更强大而且能提升程序员的开发效率公司实际项目开发中也用得比较多所以我们要作为一个重点去学习。C11 增加的语法特性非常篇幅非常多我们这里没办法一 一讲解所以本章主要讲解实际中比较实用的语法。
C11的来源1998年是 C 标准委员会成立的第一年本来计划以后每 5 年视实际需要更新一次标准C 国际标准委员会在研究 C03 的下一个版本的时候一开始计划是 2007 年发布所以最初这个标准叫 C07。但是到06年的时候官方觉得2007年肯定完不成 C07而且官方觉得 2008 年可能也完不成。最后干脆叫C 0x。x 的意思是不知道到底能在07还是08还是09年完成。结果 2010 年的时候也没完成最后在2011年终于完成了 C 标准。所以最终定名为C11。
二、统一的列表初始化
1.初始化
在C98中标准允许使用花括号{}对数组或者结构体元素进行统一的列表初始值设定。比如 struct Point{int _x;int _y;};int main(){int array1[] { 1,2,3,4,5 };int array2[5] { 0 };Point p { 0, 1 };return 0;}C11 扩大了用大括号括起的列表(初始化列表)的使用范围使其可用于所有的内置类型和用户自定义的类型使用初始化列表时可添加等号()也可不添加。 struct Point{int _x;int _y;};int main(){int array1[]{ 1,2,3,4,5 };int array2[5]{ 0 };Point p{ 0, 1 };// C11中列表初始化也可以适用于new表达式中int* pa new int[4]{ 1,2,3,4 };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(2022, 1, 1); // old style// C11支持的列表初始化这里会调用构造函数初始化// 构造拷贝构造-优化直接构造Date d2{ 2022, 1, 2 };Date d3 { 2022, 1, 3 };return 0;}2. std::initializer_list
std::initializer_list 的介绍文档std::initializer_list
我们先来看看 std::initializer_list 是什么类型的 int main(){auto i { 10,20,30 };cout typeid(i).name() endl;return 0;}首先我们来看一个问题以下代码中v1、l1、d1 的初始化方式是一样的吗 int main(){vectorint v1 { 1,2,3,4,5 };listint l1 { 10, 20, 30 };Date d1 { 2024, 1, 9 };return 0;}其中v1 和 l1 的初始化方式是一样的v1 和 l1 的 {} 内的数据会被识别成 initializer_list 类型这是 C11 新增加的类型每个容器都增加了使用 initializer_list 的构造函数数据被识别成 initializer_list 类型后再调用相应的构造函数进行初始化参考文档 但是 d1 是多参数构造类型转换是构造拷贝构造经过优化之后直接构造{ 2024, 1, 9 }; 会被识别成一个 Date 对象构造完成之后再去拷贝构造 d1但是这个过程会被编译器进行优化这种情况当且仅当 {} 内的参数个数和 Date 中的构造函数的参数个数一样的时候当他们的参数个数不匹配的时候{} 内也会被识别成 initializer_list 类型这时候由于参数个数不匹配会报错
所以我们如果在以前模拟实现的 vector 中使用 initializer_list 去初始化对象的时候是会报错的因为我们以前没有写相应的构造函数initializer_list 的构造函数也很简单我们可以简单写一个如下 vector(initializer_listT lt){reserve(lt.size());for (auto e : lt){push_back(e);}}需要注意的是当使用大括号对容器赋值 v {10, 20, 30}; 这个时候调的是赋值重载而不是 initializer_list 的构造。
同样map 也支持 initializer_list 去初始化文档中也有相应的构造函数 例如代码 int main(){mapstring, string dict { {sort, 排序}, {insert, 插入} };return 0;}首先{sort, 排序} 和 {insert, 插入} 会被识别成一个 pair 类型而这两个使用的 {} 括起来就被识别成 initializer_list 类型从而去初始化对象。
三、声明
c11 提供了多种简化声明的方式尤其是在使用模板时。
1. auto
在 C98 中 auto 是一个存储类型的说明符表明变量是局部自动存储类型但是局部域中定义局部的变量默认就是自动存储类型所以 auto 就没什么价值了。C11 中废弃 auto 原来的用法将其用于实现自动类型推断。这样要求必须进行显示初始化让编译器将定义对象的类型设置为初 始化值的类型。
auto 我们以前用得也不少了经常用来推断比较长的类型和范围 for. 这里就不再多进行介绍。
2. decltype
关键字 decltype 将变量的类型声明为表达式指定的类型。decltype 可以推导对象的类型这个类型是可以用来模板实参或者再定义对象。
例如使用场景 templateclass T1, class T2void 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的类型是doubledecltype(x) p; // p的类型是int*// 类型以字符串形式获取到cout typeid(ret).name() endl;cout typeid(p).name() endl;vectordecltype(ret) v; // 使用 ret 的类型去实例化 vectorF(1, a);return 0;}3. nullptr
由于C中NULL被定义成字面量0这样就可能回带来一些问题因为0既能指针常量又能表示整形常量。所以出于清晰和安全的角度考虑C11中新增了 nullptr用于表示空指针。 #ifndef NULL#ifdef __cplusplus#define NULL 0#else#define NULL ((void *)0)#endif#endif四、右值引用和移动语义
1. 左值引用和右值引用
传统的 C 语法中就有引用的语法而 C11 中新增了的右值引用语法特性所以从现在开始我们之前学习的引用就叫做左值引用。无论左值引用还是右值引用都是给对象取别名。
首先我们需要知道什么是左值什么是左值引用
左值是一个表示数据的表达式(如变量名或解引用的指针)我们可以获取它的地址 可以对它赋值左值可以出现赋值符号的左边右值不能出现在赋值符号左边。定义时 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;}那么什么是右值什么是右值引用
右值也是一个表示数据的表达式如字面常量、表达式返回值函数返回值(这个不能是左值引用返回)等等右值可以出现在赋值符号的右边但是不能出现出现在赋值符号的左边右值不能取地址。右值引用就是对右值的引用给右值取别名。
例如以下右值和右值引用 int main(){double x 1.1, y 2.2;// 以下几个都是常见的右值10;x y;fmin(x, y);// 以下几个都是对右值的右值引用int rr1 10;double rr2 x y;double rr3 fmin(x, y);// 这里编译会报错error C2106: “”: 左操作数必须为左值10 1;x y 1;fmin(x, y) 1;return 0;}需要注意的是右值是不能取地址的但是给右值取别名后会导致右值被存储到特定位置且可以取到该位置的地址也就是说例如不能取字面量 10 的地址但是 rr1 引用后可以对 rr1 取地址也可以修改 rr1如果不想 rr1 被修改可以用 const int rr1 去引用是不是感觉很神奇这个了解一下实际中右值引用的使用场景并不在于此这个特性也不重要。
例如以下代码 int main(){double x 1.1, y 2.2;int rr1 10;const double rr2 x y;rr1 20; // 可以修改rr2 5.5; // 报错return 0;}2. 左值引用与右值引用比较
左值引用总结 左值引用只能引用左值不能引用右值。 但是 const 左值引用既可引用左值也可引用右值。 int main(){// 左值引用只能引用左值不能引用右值。int a 10;int ra1 a; // ra1 为 a 的别名//int ra2 10; // 编译失败因为10是右值左值不能引用右值// const左值引用既可引用左值也可引用右值。const int ra3 10;const int ra4 a;return 0;}右值引用总结
右值引用只能右值不能引用左值。但是右值引用可以 move 以后的左值。
其中move 的作用就是将一个左值强制转换为右值使它具有右值的性质。 int main(){// 右值引用只能右值不能引用左值。int r1 10;// error C2440: “初始化”: 无法从“int”转换为“int ”// message : 无法将左值绑定到右值引用int a 10;int r2 a; // error// 右值引用可以引用 move 以后的左值int r3 std::move(a);return 0;}3. 右值引用使用场景和意义
前面我们可以看到左值引用既可以引用左值和又可以引用右值那为什么 C11 还要提出右值引用呢是不是画蛇添足呢下面我们来看看左值引用的短板右值引用是如何补齐这个短板的
我们先看看以前实现的 string 类 namespace Young{class string{public:typedef char* iterator;iterator begin(){return _str;}iterator end(){return _str _size;}string(const char* str ):_size(strlen(str)), _capacity(_size){//cout string(char* str) --- 构造 endl;_str new char[_capacity 1];strcpy(_str, str);}// s1.swap(s2)void swap(string s){::swap(_str, s._str);::swap(_size, s._size);::swap(_capacity, s._capacity);}// 拷贝构造string(const string s):_str(nullptr){cout string(const string s) -- 深拷贝 endl;string tmp(s._str);swap(tmp);}// 赋值重载string operator(const string s){cout string operator(string s) -- 深拷贝 endl;string tmp(s);swap(tmp);return *this;}~string(){delete[] _str;_str nullptr;}char operator[](size_t pos){assert(pos _size);return _str[pos];}void reserve(size_t n){if (n _capacity){char* tmp new char[n 1];strcpy(tmp, _str);delete[] _str;_str tmp;_capacity n;}}void push_back(char ch){if (_size _capacity){size_t newcapacity _capacity 0 ? 4 : _capacity * 2;reserve(newcapacity);}_str[_size] ch;_size;_str[_size] \0;}//string operator(char ch)string operator(char ch){push_back(ch);return *this;}const char* c_str() const{return _str;}string to_string(int val){string str;return str;}private:char* _str;size_t _size;size_t _capacity; // 不包含最后做标识的\0};}左值引用的使用场景 引用传参和引用返回都能提高效率 void func1(Young::string s){}void func2(const Young::string s){}int main(){Young::string s1(hello world);// func2 的调用我们可以看到左值引用做参数减少了拷贝提高效率的使用场景和价值func1(s1);func2(s1);// string operator(char ch) 传值返回存在深拷贝// string operator(char ch) 传左值引用没有拷贝提高了效率s1 !;return 0;}左值引用的短板
但是当函数返回对象是一个局部变量出了函数作用域就不存在了就不能使用左值引用返回只能传值返回。例如Young::string to_string(int x) 函数中可以看到这里只能使用传值返回传值返回会导致至少1次拷贝构造(如果是一些旧一点的编译器可能是两次拷贝构造)。
例如 Young::string to_string(int x){Young::string ret;while (x){int val x % 10;x / 10;ret (0 val);}reverse(ret.begin(), ret.end());return ret;}int main(){Young::string ret Young::to_string(10);return 0;}其中上述的拷贝过程如下图所示 上述过程本应该是两次拷贝构造但是一般会被编译器优化成一次拷贝构造。
这就是左值引用的短板当返回值是一个局部对象的时候还是只能进行传值返回这样如果是自定义类型的话会造成深拷贝的代价。这时候右值引用的价值就体现出来了可以使用右值引用和移动语义解决上述问题。
右值引用和移动语义
首先我们在 Young::string 中增加移动构造移动构造本质是将参数右值的资源窃取过来占位已有那么就不用做深拷贝了所以它叫做移动构造就是窃取别人的资源来构造自己为什么可以直接窃取别人的资源呢首先我们先将右值分为以下两种
纯右值内置类型右值将亡值自定义类型的右值
在上述例子中to_string 中的返回值 ret 就是一个自定义类型的右值即将亡值这时候我们如果加上移动语义的构造和赋值那么在 to_string 返回的时候ret 被识别成一个将亡值就会去调移动语义的构造由于 ret 是一个将亡值所以我们可以直接窃取它的资源来构造自己反正你已经是一个将亡值了倒不如把你的资源给我这样就省去了深拷贝的代价就是这个意思。
下面我们在 Young::string 中增加移动语义的构造和赋值 // 移动构造string(string s):_str(nullptr), _size(0), _capacity(0){cout string(string s) -- 移动语义 endl;swap(s);}// 移动赋值string operator(string s){cout string operator(string s) -- 移动语义 endl;swap(s);return *this;}我们继续调用 to_string 观察是否还会进行深拷贝 但是如果是以下场景又会有一些变化 int main(){Young::string ret;ret Young::to_string(10);return 0;}该场景和上述场景的区别在于该场景使用一个已存在的对象接收 to_string 的返回值。我们观察会有什么区别 这里运行后我们看到调用了一次移动构造和一次移动赋值。因为如果是用一个已经存在的对象接收编译器就没办法优化了。Young::to_string 函数中会先用返回的 ret 生成构造生成一个临时对象但是我们可以看到编译器把 ret 识别成了右值即将亡值调用了移动构造。然后在把这个临时对象做为 Young::to_string 函数调用的返回值赋值给接收的 ret这里调用的移动赋值。结合下图理解 STL的容器在C11以后都增加了移动构造和移动赋值如下图 4. 右值引用引用左值及其一些更深入的使用场景分析
按照语法右值引用只能引用右值但右值引用一定不能引用左值吗因为有些场景下可能真的需要用右值去引用左值实现移动语义。当需要用右值引用引用一个左值时可以通过 move 函数将左值转化为右值。C11 中std::move() 函数位于 头文件中该函数名字具有迷惑性它并不搬移任何东西唯一的功能就是将一个左值强制转化为右值引用然后实现移动语义。
下面我们看一个问题如下代码 int main(){Young::string s1(hello, world!\n);Young::string s2(s1);Young::string s3 move(s1);return 0;}我们将上述代码中的 s1 进行 move 操作然后 move 返回一个 s1 的右值再去构造 s3此时会出现的问题是什么呢我们调试观察 如上图当我们构造完 s3 之后由于我们将 s1 转换为了右值所以这里调用的是移动构造将 s3 和 s1 的资源互换此时 s1 就变成了空串所以我们不能随便将一个左值进行 move 操作否则可能会产生意想不到的结果
STL容器插入接口函数也增加了右值引用版本 如下代码 int main(){listYoung::string lt;Young::string s1(1111);// 这里调用的是拷贝构造lt.push_back(s1);// 下面调用都是移动构造lt.push_back(2222);lt.push_back(move(s1));return 0;}下面我们将以前模拟实现的 list 拿过来我们自己实现一个右值引用的 push_back 和 insert // 插入节点 --- 左值版本iterator insert(iterator pos, const T x){Node* newnode new Node(x);Node* cur pos._node;Node* prev cur-_prev;prev-_next newnode;newnode-_prev prev;newnode-_next cur;cur-_prev newnode;_size;return newnode;}// 插入节点 --- 右值版本iterator insert(iterator pos, T x){Node* newnode new Node(x);Node* cur pos._node;Node* prev cur-_prev;prev-_next newnode;newnode-_prev prev;newnode-_next cur;cur-_prev newnode;_size;return newnode;}// 尾插 --- 左值版本void push_back(const T x){insert(end(), x);}// 尾插 --- 右值版本void push_back(T x){insert(end(), x);}下面我们测试一下我们模拟实现的 list 的右值版本的插入 如上图第一次深拷贝是初始化的结果不用管但是我们使用的 push_back 不应该都是移动构造吗为什么会有一次深拷贝下面我们画图分析一下 实质上右值被右值引用引用以后的属性是左值即上图中to_string 返回的值是右值所以会匹配右值引用的 push_back 版本但是在 push_back 中x 的属性却是左值所以在调用 insert 时会调用左值版本 insert 也就会导致深拷贝。
那么为什么右值被右值引用引用以后的属性是左值呢 因为必须只能是左值因为右值是不能直接修改但是右值被右值引用以后需要被修改例如我们上面实现的移动构造就足以说明例如下图 那么我们上面那个问题应该如何解决呢我们可以将右值引用后的左值使用 move 变为右值继续使用右值去处理这里需要改动的就比较多我们需要一层一层地去改例如下图 最后我们看结果确实完成了移动拷贝 5. 完美转发
模板中的 万能引用
模板中的 不代表右值引用而是万能引用其既能接收左值又能接收右值。模板的万能引用只是提供了能够接收同时接收左值引用和右值引用的能力但是引用类型的唯一作用就是限制了接收的类型后续使用中都退化成了左值我们希望能够在传递过程中保持它的左值或者右值的属性, 就需要用我们下面学习的完美转发。例如下面代码是函数模板的万能引用 templatetypename Tvoid PerfectForward(T t){Fun(t);} 我们可以尝试验证一下是否会按照我们的需求调用相应的函数 void Fun(int x) { cout 左值引用 endl; }void Fun(const int x) { cout const 左值引用 endl; }void Fun(int x) { cout 右值引用 endl; }void Fun(const int x) { cout const 右值引用 endl; }templatetypename Tvoid PerfectForward(T t){Fun(t);}int main(){PerfectForward(10); // 右值int a;PerfectForward(a); // 左值PerfectForward(std::move(a)); // 右值const int b 8;PerfectForward(b); // const 左值PerfectForward(std::move(b)); // const 右值return 0;}结果如下 为什么全部都是左值引用呢我们上面解释过因为右值被右值引用后还是左值的属性所以 t 就是左值。那么我们想保持实参的属性应该怎么做呢这时候就要用到完美转发了。
std::forward 完美转发在传参的过程中保留对象原生类型属性 // forwardT(t)在传参的过程中保持了 t 的原生类型属性。templatetypename Tvoid PerfectForward(T t){Fun(forwardT(t));}上述代码 Fun(forwardT(t)); 就是完美转发的使用它能保持原对象的属性。注意完美转发要和模板的万能引用搭配使用因为如果不是万能引用那么它就只能是普通的右值引用此时左值不能传参。
所以完美转发的使用场景有哪些呢其实我们已经接触过了上面的 push_back 的问题就可以使用完美转发解决我们将 move 改成完美转发的形式并且推荐使用完美转发的形式如下图 总结右值引用的移动语义出来以后对深拷贝的类的影响比较大自定义类的深拷贝传值返回影响也较大因为移动构造和移动赋值出来以后减少了它们的深拷贝一些容器的插入接口也新增了右值版本也减少了深拷贝。但是右值引用对于浅拷贝的类是没有意义的因为它们没有资源可以转移。
五、新的类功能
1. 默认成员函数
原来 C 类中有 6 个默认成员函数
构造函数析构函数拷贝构造函数拷贝赋值重载取地址重载const 取地址重载
最后重要的是前4个后两个用处不大。默认成员函数就是我们不写编译器会生成一个默认的。
C11 新增了两个移动构造函数和移动赋值运算符重载。
针对移动构造函数和移动赋值运算符重载有一些需要注意的点如下
如果你没有自己实现移动构造函数且没有实现析构函数 、拷贝构造、拷贝赋值重载中的任意一个也就是都没有实现。那么编译器会自动生成一个默认移动构造。默认生成的移动构造函数对于内置类型成员会执行逐成员按字节拷贝自定义类型成员则需要看这个成员是否实现移动构造如果实现了就调用移动构造没有实现就调用拷贝构造。如果你没有自己实现移动赋值重载函数且没有实现析构函数 、拷贝构造、拷贝赋值重载中的任意一个也就是都没有实现那么编译器会自动生成一个默认移动赋值。默认生成的移动构造函数对于内置类型成员会执行逐成员按字节拷贝自定义类型成员则需要看这个成员是否实现移动赋值如果实现了就调用移动赋值没有实现就调用拷贝赋值。(默认移动赋值跟上面移动构造完全类似)如果你提供了移动构造或者移动赋值编译器不会自动提供拷贝构造和拷贝赋值。
2. 类成员变量初始化
C11允许在类定义时给成员变量初始缺省值默认生成构造函数会使用这些缺省值初始化这个我们在类和对象已经介绍过了这里就不再细讲了。
3. 强制生成默认函数的关键字 default
C11可以让你更好的控制要使用的默认函数。假设你要使用某个默认的函数但是因为一些原因这个函数没有默认生成。比如我们提供了拷贝构造就不会生成移动构造了那么我们可以使用 default 关键字显示指定移动构造生成。
例如以下代码 class Person{public:Person(const char* name , int age 0):_name(name), _age(age){}/*Person(const Person p):_name(p._name), _age(p._age){}*//*Person operator(const Person p){if(this ! p){_name p._name;_age p._age;}return *this;}*/// 强制编译器生成Person(Person p) default;Person(const Person p) default;~Person(){}private:Young::string _name;int _age;};4. 禁止生成默认函数的关键字 delete
如果能想要限制某些默认函数的生成在 C98 中是该函数设置成private并且只声明补丁已这样只要其他人想要调用就会报错。在 C11 中更简单只需在该函数声明加上 delete 即可该语法指示编译器不生成对应函数的默认版本称 delete 修饰的函数为删除函数。 Person(Person p) delete; // 不让生成实现Person(const Person p) default; // 强制编译器生成5. 继承和多态中的 final 与 override 关键字
这个我们在继承和多态的时候已经介绍过这里也不再做多介绍。
