c++程序员面试过程中基本上都会被问到c++11新特性吧,你是怎么回答的呢?
「本文基本上涵盖了 c++11 的所有新特性」,并有详细代码介绍其用法,对关键知识点做了深入分析,对重要的知识点我单独写了相关文章并附上了相关链接。。
auto & decltype
关于C++11新特性,最先提到的肯定是类型推导,C++11 引入了 auto 和 decltype 关键字,使用他们,方便开发者编码也简化了代码。
auto:让编译器在编译期就推导出变量的类型,可以通过=右边的类型推导出变量的类型。
decltype:相对于 auto 用于推导变量类型,而 decltype 则用于推导表达式类型,这里只用于编译器分析表达式的类型,表达>式实际不会进行运算。
左值右值
众所周知C++11新增了右值引用,这里涉及到很多概念:
「左值」:可以取地址并且有名字的东西就是左值。
「右值」:不能取地址的没有名字的东西就是右值。
「纯右值」:运算表达式产生的临时变量、不和对象关联的原始字面量、非引用返回的临时变量、lambda表达式等都是纯右值。
「将亡值」:可以理解为即将要销毁的值。
「左值引用」:对左值进行引用的类型。
「右值引用」:对右值进行引用的类型。
「移动语义」:转移资源所有权,类似于转让或者资源窃取的意思,对于那块资源,转为自己所拥有,别人不再拥有也不会再使用。
「完美转发」:可以写一个接受任意实参的函数模板,并转发到其它函数,目标函数会收到与转发函数完全相同的实参。
「返回值优化」:当函数需要返回一个对象实例时候,就会创建一个临时对象并通过复制构造函数将目标对象复制到临时对象,这里有复制构造函数和析构函数会被多余的调用到,有代价,而通过返回值优化,C++标准允许省略调用这些复制构造函数。
列表初始化
std::function & std::bind & lambda表达式
模板的改进
C++11关于模板有一些细节的改进:
模板的右尖括号
模板的别名
函数模板的默认模板参数
并发
c++11关于并发引入了好多好东西,有:
这里也使用c++11来实现的线程池和定时器,可以看:
智能指针
很多人谈到c++,说它特别难,可能有一部分就是因为c++的内存管理吧,不像java那样有虚拟机动态的管理内存,在程序运行过程中可能就会出现内存泄漏,然而这种问题其实都可以通过c++11引入的智能指针来解决,相反我还认为这种内存管理还是c++语言的优势,因为尽在掌握。
c++11引入了三种智能指针:
「std::shared_ptr」
「std::weak_ptr」
「std::unique_ptr」
基于范围的for循环
直接看代码
委托构造函数
委托构造函数允许在同一个类中一个构造函数调用另外一个构造函数,可以在变量初始化时简化操作,通过代码来感受下委托构造函数的妙处吧:
初始化变量是不是方便了许多。
继承构造函数
继承构造函数可以让派生类直接使用基类的构造函数,如果有一个派生类,我们希望派生类采用和基类一样的构造方式,可以直接使用基类的构造函数,而不是再重新写一遍构造函数,老规矩,看代码:
不使用继承构造函数:
使用继承构造函数:
只需要使用using Base::Base继承构造函数,就免去了很多重写代码的麻烦。
nullptr
nullptr是c++11用来表示空指针新引入的常量值,在c++中如果表示空指针语义时建议使用nullptr而不要使用NULL,因为NULL本质上是个int型的0,其实不是个指针。举例:
final & override
c++11关于继承新增了两个关键字,final用于修饰一个类,表示禁止该类进一步派生和虚函数的进一步重载,override用于修饰派生类中的成员函数,标明该函数重写了基类函数,如果一个函数声明了override但父类却没有这个虚函数,编译报错,使用override关键字可以避免开发者在重写基类函数时无意产生的错误。
示例代码1:
示例代码2
default
c++11引入default特性,多数时候用于声明构造函数为默认构造函数,如果类中有了自定义的构造函数,编译器就不会隐式生成默认构造函数,如下代码:
上面代码编译出错,因为没有匹配的构造函数,因为编译器没有生成默认构造函数,而通过 default ,程序员只需在函数声明后加上“”,就可将该函数声明为 defaulted 函数,编译器将为显式声明的 defaulted 函数自动生成函数体,如下:
编译通过。
delete
c++中,如果开发人员没有定义特殊成员函数,那么编译器在需要特殊成员函数时候会隐式自动生成一个默认的特殊成员函数,例如拷贝构造函数或者拷贝赋值操作符,如下代码:
而我们有时候想禁止对象的拷贝与赋值,可以使用delete修饰,如下:
delele函数在c++11中很常用,「std::unique_ptr」就是通过delete修饰来禁止对象的拷贝的。
explicit
explicit专用于修饰构造函数,表示只能显式构造,不可以被隐式转换,根据代码看explicit的作用:
不用explicit:
使用explicit:
const
因为要讲后面的 constexpr ,所以这里简单介绍下const。
「const」字面意思为只读,可用于定义变量,表示变量是只读的,不可以更改,如果更改,编译期间就会报错。
主要用法如下:
用于「定义常量」,const的修饰的变量不可更改。
「指针也可以使用const」,这里有个小技巧,从右向左读,即可知道const究竟修饰的是指针还是指针所指向的内容。
在「函数参数中使用const」,一般会传递类对象时会传递一个const的引用或者指针,这样可以避免对象的拷贝,也可以防止对象被修改。
「const修饰类的成员变量」,表示是成员常量,不能被修改,可以在初始化列表中被赋值。
「修饰类成员函数」,表示在该函数内不可以修改该类的成员变量。
「修饰类对象」,类对象只能调用该对象的const成员函数。
constexpr
「constexpr」是c++11新引入的关键字,用于编译时的常量和常量函数,这里直接介绍constexpr和const的区别:
两者都代表可读,const 只表示 read only 的语义,只保证了运行时不可以被修改,但它修饰的仍然有可能是个动态变量,而 constexpr 修饰的才是真正的常量,它会在编译期间就会被计算出来,整个运行过程中都不可以被改变,constexpr 可以用于修饰函数,这个函数的返回值会尽可能在编译期间被计算出来当作一个常量,但是如果编译期间此函数不能被计算出来,那它就会当作一个普通函数被处理。如下代码:
enum class
c++11新增有作用域的枚举类型,看代码
不带作用域的枚举代码:
如上代码,不带作用域的枚举类型可以自动转换成整形,且不同的枚举可以相互比较,代码中的红色居然可以和白色比较,这都是潜在的难以调试的 bug ,而这种完全可以通过有作用域的枚举来规避。
有作用域的枚举代码:
使用带有作用域的枚举类型后,对不同的枚举进行比较会导致编译失败,消除潜在 bug,同时带作用域的枚举类型可以选择底层类型,默认是 int,可以改成 char 等别的类型。
我们平时编程过程中使用枚举,一定要使用有作用域的枚举取代传统的枚举。
非受限联合体
c++11之前union中数据成员的类型不允许有非POD类型,而这个限制在c++11被取消,允许数据成员类型有非POD类型,看代码:
对于什么是POD类型,大家可以自行查下资料,大体上可以理解为对象可以直接memcpy的类型。
sizeof
c++11中sizeof可以用的类的数据成员上,看代码:
c++11前:
c++11后:
想知道类中数据成员的大小在c++11中是不是方便了许多,而不需要定义一个对象,在计算对象的成员大小。
assertion
c++11引入static_assert声明,用于在编译期间检查,如果第一个参数值为false,则打印message,编译失败。
自定义字面量
c++11可以自定义字面量,我们平时c++中都或多或少使用过chrono中的时间,例如:
其实没必要这么麻烦,也可以这么写:
这就是自定义字面量的使用,示例如下:
关于自定义字面量,可以看下 chrono 的源代码,相信大家会有很大收获,需要源码分析 chrono 的话,可以留言给我。
内存对齐
什么是内存对齐
理论上计算机对于任何变量的访问都可以从任意位置开始,然而实际上系统会对这些变量的存放地址有限制,通常将变量首地址设为某个数N的倍数,这就是内存对齐。
为什么要内存对齐
硬件平台限制,内存以字节为单位,不同硬件平台不一定支持任何内存地址的存取,一般可能以双字节、4字节等为单位存取内存,「为了保证处理器正确存取数据,需要进行内存对齐」。
提高CPU内存访问速度,一般处理器的内存存取粒度都是N的整数倍,假如访问N大小的数据,没有进行内存对齐,有可能就需要两次访问才可以读取出数据,而「进行内存对齐可以一次性把数据全部读取出来,提高效率」。
在c++11之前如果想创建内存对齐需要:
c++11关于内存对齐新增了一些函数:
thread_local
c++11引入thread_local,用thread_local修饰的变量具有thread周期,每一个线程都拥有并只拥有一个该变量的独立实例,一般用于需要保证线程安全的函数中。
输出:
验证上述说法,对于一个线程私有变量,一个线程拥有且只拥有一个该实例,类似于static。
基础数值类型
c++11新增了几种数据类型:long long、char16_t、char32_t等
随机数功能
c++11关于随机数功能则较之前丰富了很多,典型的可以选择概率分布类型,先看如下代码:
输出:
代码中举例的是整数均匀分布和浮点数均匀分布,c++11提供的概率分布类型还有好多,例如伯努利分布、正态分布等.
c++11引入了regex库更好的支持正则表达式,见代码:
chrono
c++11关于时间引入了chrono库,源于boost,功能强大,chrono主要有三个点:
duration
time_point
clocks
duration
std::chrono::duration表示一段时间,常见的单位有s、ms等,示例代码:
sleep_for里面其实就是,表示一段时间,实际是这样:
duration具体模板如下:
Rep表示一种数值类型,用来表示Period的数量,比如int、float、double,Period是ratio类型,用来表示【用秒表示的时间单位】比如second,常用的duration已经定义好了,在std::chrono::duration下:
ratio的具体模板如下:
N代表分子,D代表分母,所以ratio表示一个分数,我们可以自定义Period,比如ratio表示单位时间是2秒。
time_point
表示一个具体时间点,如2020年5月10日10点10分10秒,拿获取当前时间举例:
「clocks」
时钟,chrono里面提供了三种时钟:
「steady_clock」「system_clock」「high_resolution_clock」
steady_clock
稳定的时间间隔,表示相对时间,相对于系统开机启动的时间,无论系统时间如何被更改,后一次调用now()肯定比前一次调用now()的数值大,可用于计时。
system_clock
表示当前的系统时钟,可以用于获取当前时间:
「high_resolution_clock」
表示系统可用的最高精度的时钟,实际上就是或者其中一种的定义,官方没有说明具体是哪个,不同系统可能不一样,我之前看源码中是的。