C++11标准推出了很多有用的新特性,本文特别关注那些相比C++98更像是一门新语言的特性,理由是:

  • 这些特性改变了编写C++程序使用的代码风格和习语【译注 1】,通常也包括你设计C++函数库的方式。例如,你会看到更多参数和返回值类型为智能指针(smart pointer),同时也会看到函数通过值传递返回大型对象。你将会发现在大多数的代码示例中充斥着新特性的身影。例如,几乎每5行现代C++代码示例都会使用到auto
  • C++11的其他特性也很棒。但是请先熟悉下面这些,正是由于这些特性的广泛使用使得C++11代码如同其他现代主流语言一样整洁、安全和高效,与此同时保持了C++传统的性能优势。

提示:

  • 与Strunk & White【译注 2】一样,本文只做概要总结而不是详尽基本原理和优缺点分析。详细分析请参见其他文章。
  • 本文会不断更新,主要变更及内容增加请参见文末变更历史。

译注:

1. Programming idiom:编程习语,在一种或多种编程语言中重复出现的表达形式,用来表示没有在编程语言中内置的简单的任务或者算法,也可以用来表示在编程语言中内置的不常用或者不典型的某个特性。编程习语也可以在更广泛的范围内使用,比如代指复杂的算法或者设计模式。

2. Strunk & White:代指William Strunk Jr.和E. B. White出版的”The elements of style”,中文版《风格的要素》一书,该书介绍了英语写作要遵循的基本风格。


auto

基于以下两个原因,尽可能使用auto:首先,使用auto会避免重复声明编译器已经知道的类型。

1
2
3
4
5
// C++98
map<int,string>::iterator i = m.begin();
  
// C++11
auto i = begin(m);

其次,当使用未知类型或者类型名称不易理解时使用auto会更加便利,例如大多数的lambda函数【译注 3】——你甚至不能简单的拼写出类型的名字。

1
2
3
4
5
// C++98
binder2nd< greater<int> > x = bind2nd( greater<int>(), 42 );
  
// C++11
auto x = [](int i) { return i > 42; };

需要注意,使用auto并不改变代码的含义。代码仍然是静态类型【译注 4】,每个表达式的类型都是清晰和明确的;C++11只是不需要我们重复声明类型名。一些人刚开始可能会害怕在这里使用auto,因为感觉好像没有(重复)声明我们需要的类型就意味着可能会碰巧得到一个不同的类型。如果你想要明确地进行一次强制类型转换,没有问题,声明目标类型就好了。然而大多数情况下,只要使用auto就可以了;几乎不会出现错误地拿到一个不同类型的情况,即便出现错误,C++的强静态类型系统也会由编译器让你知道这个错误,因为你正试图访问一个变量没有的成员函数或是错误地调用了该函数。

译注:

3. lambda function (λ函数):编程语言支持λ函数/λ表达式可以使得代码更易于理解,同时也可以使得代码变得更简洁,关于λ函数的技术解释可以参考,维基百科labmda calculus,也可以从《从.NET中委托写法的演变谈开去(中):Lambda表达式及其优势》博客中得到直观的解释。

4. 动态类型语言(dynamic typing language)是指类型检查发生在运行期间(run-time)的语言。静态类型语言(static typing language)是类型检查发生在编译期间(compile-time)的语言。

智能指针:无须delete

请始终使用标准智能指针以及非占有原始指针(non-owning raw pointer)。绝不要使用占有原生指针(owning raw pointer)delete操作,除非你是在实现自己的底层数据结构这种少见的情况下(即使在此时也需要在class范围内保持完好的封装)。如果只能够知道你是另一个对象唯一的所有者,请使用unique_ptr来表示唯一所有权。一个“new T”表达式会马上初始化另一个引用它的对象,通常是一个unique_ptr

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
// C++11 Pimpl Idiom
class widget {
widget();
~widget();
private:
class impl;
unique_ptr<impl> pimpl;
};
  
// in .cpp file
class impl {
:::
};
  
widget::widget()
: pimpl( new impl() )
{
}
  
widget::~widget() = default;

使用shared_ptr来表示共享所有权。推荐使用make_shared来有效地创建共享对象。

1
2
3
4
5
6
7
// C++98
widget* pw = new widget();
:::
delete pw;
  
// C++11
auto pw = make_shared<widget>();

使用weak_ptr来退出循环并且表示可选项(例如,实现一个对象缓存)

1
2
3
4
5
6
7
8
9
10
11
12
// C++11
class gadget;
  
class widget {
private:
shared_ptr<gadget> g; // if shared ownership
};
  
class gadget {
private:
weak_ptr<widget> w;
};

如果你知道另一个对象存在时间会更长久并且希望跟踪它,使用一个非占有 (non-owning)原始指针。

1
2
3
4
5
6
7
// C++11
class node {
vector< unique_ptr<node> > children;
node* parent;
public:
:::
};

nullptr

始终使用nullptr表示一个null指针值,绝不要使用数字0或者NULL宏,因为它们也可以代表一个整数或者指针从而产生歧义。

1
2
3
4
5
// C++98
int* p = 0;
  
// C++11
int* p = nullptr;

Range for

基于范围的循环使得按顺序访问其中的每个元素变得非常方便。

1
2
3
4
5
6
7
8
9
// C++98
for( vector<double>::iterator i = v.begin(); i != v.end(); ++i ) {
total += *i;
}
  
// C++11
for( auto d : v ) {
total += d;
}

非成员(nonmember) begin和end

始终使用非成员beginend,因为它是可扩展的并且可以应用在所有的容器类型(container type),不仅仅是遵循了STL风格提供了.begin().end()成员函数的容器,甚至数组都可以使用。

如果你使用了一个非STL风格的collection类型,虽然提供了迭代但没有提供STL的.begin().end(),通常可以为这个类型编写自己的非成员begin和end来进行重载。这样你就可以使用STL容器的编程风格来遍历该类型。C++11标准提供了示例数组就是这样一个类型,标准同时为数组提供了beginend

1
2
3
4
5
6
7
8
9
10
vector<int> v;
int a[100];
  
// C++98
sort( v.begin(), v.end() );
sort( &a[0], &a[0] + sizeof(a)/sizeof(a[0]) );
  
// C++11
sort( begin(v), end(v) );
sort( begin(a), end(a) );

Lambda函数和算法

Lambda函数是决定乾坤的因素,它会使你编写的代码变得更优雅、更快速。Lambda使得STL算法的可用性提高了近100倍。新近开发的C++函数库都是基于lambda可以用的前提(例如,PPL)并且有些函数库甚至要求你编写lambda来调用函数库(例如,C++ AMP)

下面是一个快速示例:找到v里面大于x并且小于y的第一个元素。在C++11中,最简单和干净的代码就是调用一个标准函数。

1
2
3
4
5
6
7
8
// C++98: 直接编写一个循环 (使用std::find_if会非常困难)
vector<int>::iterator i = v.begin(); // 因为我们需要在后边用到i
for( ; i != v.end(); ++i ) {
if( *i > x && *i < y ) break;
}
  
// C++11: use std::find_if
auto i = find_if( begin(v), end(v), [=](int i) { return i > x && i < y; } );

想要使用C++编写一个循环或者类似的新特性?不用着急;只要编写一个模板函数(template function)(函数库算法),并且几乎可以将lambda当做语言特性来使用,与此同时会更加灵活,因为它不是固定的语言特性而是一个真正的函数库。

1
2
3
4
// C#
lock( mut_x ) {
... use x ...
}

1
2
3
4
5
6
7
8
9
10
11
// 不使用lambda的C++11:已经非常简洁并且更灵活(例如,可以使用超时以及其他选项)
{
lock_guard<mutex> hold( mut_x );
... use x ...
}
  
// 使用了lambda的C++11可以带一个辅助算法:在C++中使用C#的文法
// 算法:template<typename T, typename F> void lock( T& t, F f ) { lock_guard<T> hold(t); f(); }
lock( mut_x, [&]{
... use x ...
});

去熟悉lambda吧。你会不断用到它,不仅仅在C++中——lambda已经广泛应用于很多主流的编程语言。一个开始的好去处请参考我在PDC2010的演讲《无处不在的lambda》

Move / &&

Move被认为是copy的最佳优化,尽管它也使得其他事情成为可能比如信息被转发。

1
2
3
4
5
6
7
8
9
10
11
12
13
// C++98:避免copy的替代方法
vector<int>* make_big_vector(); // 选择1: 返回指针: 没有拷贝,但不要忘记delete
:::
vector<int>* result = make_big_vector();
void make_big_vector( vector<int>& out ); // 选择2: 通过引用传递: 没有拷贝,但是调用者需要传入一个有名对象
:::
vector<int> result;
make_big_vector( result );
  
// C++11: move
vector<int> make_big_vector(); // 通常对于”被调用者(callee)分配的空间“也适用
:::
vector<int> result = make_big_vector();

Move语法改变了我们设计API的方式。我们可以更多地设计通过值传递。为你的类型启用move语法,使用时会比copy更有效。

更多变化

还有更多现代C++的特性。并且我计划在未来编写更多深入C++11新特性以及其他特性的短文,我们会知道更多并且喜欢上它。

但目前,这是必须知道的新特性。这些特性组成了现代C++风格的核心,使得C++代码看起来和执行时像他们设计的那样,你将会看到这些特性会出现在几乎每一段你看到或者编写的现代C++代码中。并且它们使得现代C++更加干净、安全且快速,使得C++在未来的若干年仍然是我们产业的依靠。

C++11 现代C++风格的新元素--简介相关推荐

  1. C++11 现代C++风格的新元素(转)

    Stroustrup C++11标准推出了很多有用的新特性,本文特别关注那些相比C++98更像是一门新语言的特性,理由是: 这些特性改变了编写C++程序使用的代码风格和习语[译注 1],通常也包括你设 ...

  2. python画苹果标志图片_替换/绘制/分享:让所有 App 拥有 macOS 11 Big Sur 风格的图标...

    原标题:替换/绘制/分享:让所有 App 拥有 macOS 11 Big Sur 风格的图标 前言 Hello 各位不大不小的伙伴们,大家好~ 我是@旅客君.北京时间 2020 年 06 月 23 日 ...

  3. 图像迁移风格保存模型_CV之NS:图像风格迁移(Neural Style 图像风格变换)算法简介、关键步骤配图、案例应用...

    CV之NS:图像风格迁移(Neural Style 图像风格变换)算法简介.过程思路.关键步骤配图.案例应用之详细攻略 目录 图像风格迁移算法简介 图像风格迁移算法过程思路 1.VGG对比NS 图像风 ...

  4. CV之NS:图像风格迁移(Neural Style 图像风格变换)算法简介、过程思路、关键步骤配图、案例应用之详细攻略

    CV之NS:图像风格迁移(Neural Style 图像风格变换)算法简介.过程思路.关键步骤配图.案例应用之详细攻略 目录 图像风格迁移算法简介 图像风格迁移算法过程思路 1.VGG对比NS 图像风 ...

  5. PPT模板(毕业答辩55套+扁平风格11套+创意风格13套)79套模板

    PPT模板(毕业答辩55套+扁平风格11套+创意风格13套)79套模板 最近临近毕业,毕业答辩的时候发现很多ppt下载都很麻烦,而且找不到优质的,我收集了一下,整理到下面了,大家有用的可以拿去用 pp ...

  6. 视频教程- 1-1 课程导学和Python简介-Python干货!

    关于「课程导学和Python简介」的相关基础知识百科介绍: Python由荷兰数学和计算机科学研究学会的Guido van Rossum 于1990 年代初设计,作为一门叫做ABC语言的替代品. Py ...

  7. REST风格笔记【简介篇】

    RSET简介 REST(Representational State Transfer),表现形式状态转换. REST书写方式比较节俭,其隐藏了资源的访问行为,我们无法通过地址得知对资源是何种操作. ...

  8. 代码风格之Prettier简介

    多人协作中统一的代码风格有利于项目的发展这是共识,但是采用什么标准来统一代码这选择就相对纷杂.项目刚开始使用了ESLint来规范代码,但是ESLint默认是支持JavaScript,加上配置可以支持T ...

  9. 无线知识、802.11及头帧理解分析简介

    无线知识及802.11: 能否连接到无线网,取决于芯片,如同无限的信号频道是802.11b,要是芯片不支持802.11b的话,是接收不到信号的. 无线主802.11: 802.11标准: IEEE(i ...

  10. 使用ASP.NET Web Api构建基于REST风格的服务实战系列教程

    最近发现web api很火,园内也有各种大神已经在研究,本人在asp.net官网上看到一个系列教程,原文地址:http://bitoftech.net/2013/11/25/detailed-tuto ...

最新文章

  1. openvn客户端连接配置(ubnutu)
  2. 一个.Net Framework下的线程库
  3. mysql技术分享-- 视图是什么
  4. 阿里云MaxCompute被Forrester评为全球云端数据仓库领导者
  5. python程序调用函数的过程是什么_Python:函数定义和调用时都加*,有什么作用?...
  6. 南开大学计算机考研2019分数线,2019年南开大学考研复试分数线已公布
  7. JVM运行时内存概念-堆栈及新生代、老年代、持久代
  8. Java队列——线程池创建的例子
  9. 【背包问题】基于matlab离散粒子群算法求解背包问题【含Matlab源码 423期】
  10. 服务器虚拟化底层实现原理,虚拟化原理
  11. 远程控制电脑的实现方法汇总
  12. android个人理财通项目实训计划书
  13. 输入平方尺转换为平方米 计算机,如何用电脑打出平方?平方米符号输入步骤教程...
  14. 了解mybatis源码手写mybatis
  15. C语言字符串笔试题含答案
  16. 字节跳动启动大规模校招
  17. 嵌入式系统概论-5-总线
  18. mysql中的mul
  19. u盘装系统学计算机好,大家说最好的u盘装系统工具是哪一个
  20. 最全的开源DDS中间件-FastDDS

热门文章

  1. Oracle SQL自带函数整理
  2. DataGridView的行的字体颜色变化
  3. 2011年7月21日 星期四 new
  4. NSTimer 的正确用法你真的知道吗?
  5. 如何避免重复性地做数据维护页面?
  6. Instagram新推两款AI过滤工具,没错!背后功臣就是Deep Text
  7. Android滑动返回上一级界面
  8. Collider Collision 区别
  9. MySQL初步研究数据库
  10. 鄂尔多斯打造西部云计算基地