C++编程实战手册

发表时间: 2021-07-22 16:08

C++发展得非常快!例如,C++标准的页数从 C++98/03 的 879 页增加到了 C++20 的 1834 页,多了近 1000 页!更重要的是,C++每次修订后,我们都会获得几十个新特性。你需要学习所有这些东西才能写出好代码吗?如何在当今的 C++世界中保持理智?

介绍

你可能知道 C++是一种复杂的语言。我甚至发现了一整页Wiki是讲对 Cpp 的批判的。现代 C++甚至为生态添加了更多内容。

以下是我之前提到的规范页数的完整数据:

  • C++98/03-879,N1905,2005 年 10 月
  • C++11-1324,最后草案,N3337,2012 年 1 月
  • C++14-1368,最后草案,2014 年 11 月
  • C++17-1586,草案,N4606
  • C++20-1834,草案,N4861

看起来 C++17 几乎比 C++98/03“大”了 80%,而 C++的最新草案比 C++03 多了将近 1000 页。你可以抱怨增加的这些复杂性,想学好所有这些东西也很困难。但这有那么可怕吗?面对这样的情况,你能做些什么?

首先,我们来看看你在 C++中可能会遇到的一些问题。

一些问题

仅举几例:

  • 节奏太慢
  • 节奏太快
  • 特性的混乱/复杂性
  • 编译时间慢
  • 缺乏依赖管理

我们来仔细研究一下。

节奏太慢

2017 年,我们迎来 C++17。虽然每三年就迎来一个新标准是很棒的,但许多开发人员抱怨新版本并不是每个人都期待的。

很多特性:比如概念(concept)、模块、范围(range)、协程(co-routine)……都没有被接受,我们至少需要再等三年才能让它们进入规范。

在 2020 年,C++20 已经准备就绪,并且这些重要特性将随编译器一起提供!但我们还是会抱怨合约(contract)还没加进来,反射(reflection)、执行器(executor)或网络(networking)仍在讨论中。它们可能出现在 C++23 甚至更高版本中。

看起来有些特性接受起来比较慢……而且总有东西值得抱怨。

节奏太快

像往常一样,我们在这里可能有两种相互矛盾的意见。尽管对某些人来说升级节奏很慢,但对其他人来说却很难跟上变化。

你刚刚学习了 C++11/14……现在你就需要更新 C++17 的知识,然后 C++20 就在路上了。三年并不是那么短的时间,但请记住,编译器一致性、公司政策、团队指南可能会以不同的节奏前进。

你的公司是立即更新到最新的 C++版本还是等待几年?

特性的混淆/复杂性

只需阅读这条评论:

CallMeDonk:

我喜欢 C++。这是我的首选语言,但你必须承认,它对值类的“大杂烩”实现是很怪异的。包括我在内的大多数程序员更喜欢简单的、定义明确的语言结构,而不是奇怪和复杂的语法。


C++在各个方面都很清晰吗?可能不是……

以下是一些可能难以理解并可能让程序员糊涂的主题:

移动语义

移动语义的原则非常明确:不要复制,而是尝试“窃取”托管资源的内部结构,你应该获得不错的性能提升。但魔鬼都藏在细节中。

我不会写很多通用代码,所以幸运的是,我不必一直考虑移动语义。但是,当我遇到 move 和 const 时会很困惑——请参阅我上一篇关于该主题的文章。我不相信所有 C++开发人员都会理解这里的规则。特别是你现在需要记住编译器生成的六个默认操作:默认构造器、析构函数、复制构造器、移动构造器、赋值运算符和移动赋值运算符。

Rvalues/xvalues/prvalues……myValues、fooValues

最后一个是我编的……但那么多值类别实在太让人头疼了!

在 C(或 C++98/03)中,你只需要知道左值与右值,现在它有点微妙了。

不过,问题是你是否需要记住它?

一些不错的评论:

c0r3ntin:

这很复杂,但不是每天都能遇到。这个值可以 address 吗?可以复制吗?可以移动吗?应该移动吗?只有在极少数情况下,你才需要主动去澄清并充分理解它们。(模板化库编写、热路径等)。大多数时候 C++并不比 java 或其他东西复杂。可悲的是大多数人都忘了这一点。C++可能是最复杂的语言,但是你可以编写非常好的代码而无需关心具体的细节。BigObject o=getBigObject();

初始化

现在有 18 种方式(从 C++17 开始)!

参阅:C++中的初始化是疯狂的;r/cpp线程

模板(和模板推导)

当我看到 C++17 的所有变更时,我很迷茫;关于模板的细节太多了。

同样的情况发生在 C++20 中,我们迎来了一个重大且期待已久的改进:概念——它彻底改变了 C++。

然而,如果你想学习模板,一开始可能会不知所措。

ABI

随着新特性列表的不断增长,“从头开始”修复 C++设计中的旧问题可能是很诱人的主题。但这种语言的原则是不能破坏旧代码,所以委员会非常严格,不喜欢改变已引入特性的路线。

这个问题没有正确的答案,但无论如何,一个经过充分讨论的主题要比仓促的举动更好。

缺乏依赖管理工具

我们可以抱怨 C++没有“交​付”一个很酷的依赖管理系统。但现实情况是,在可预见的未来,这可能都不会实现。拥有一个“标准”的包管理器是一个艰难的选择,尤其是它必须处理如此多的可用 C++的平台和系统。

不够安全

前段时间,你可以读到提到这个问题的一些文章(这篇和这篇):

谷歌工程师本周表示,Chrome 代码库中大约 70%的严重安全漏洞是内存管理和安全漏洞。


微软也是如此。由于大部分代码是 C 或 C++,所以每个人都指责 C++不够安全。

其他问题?

你在这种语言上遇到的主要问题都有哪些?

到目前为止,我们已经讨论了一些问题……那么如何应对它们呢?有机会解决这些问题吗?

如何保持理智

没有完美的编程语言;每种语言都有一些问题。以下是我关于如何处理现代 C++问题的建议:

  • 保持乐观
  • 使用最佳指南
  • 使用最好的工具
  • 跟上最新进展
  • 不要打开引擎盖
  • 使用你需要的
  • 增量变更
  • 最后的底线:你的旧代码仍然安全并且可以编译

保持乐观,语言在不断发展

没有人愿意使用旧的语法和结构来编写代码。我们已经看到很多关于 C++11 之前的旧版 C++的抱怨。人们花了将近 13 年的时间(从主要的 C++98 算起,不包括次要的 C++03)才提出新的主要版本:C++11。现在我们可以很高兴回到了正轨,每三年都会有一些变化。归根结底,你不能说你的语言已经死了。

虽然某些特性非常庞大,可能会带来混乱或需要学习更多东西,但实际情况其实很简单:

  • 在 C++03 之后添加的 1000 个新页面中的大部分用于标准库。这意味着你可以使用更多助手和子系统,而无需查找第三方库。这绝对会让你的生活更轻松。
  • 对于移动语义,你可以依赖库类型,因为它们会为你完成正确的工作。例如,你现在可以安全地返回std::vector并确保它可能被移动甚至被删除,而无需额外副本。
  • 至于模板,它变得越来越容易使用。概念让代码更安全,没有像 SFINAE 这样的技巧。更重要的是,我们有了constexprauto,让泛型代码更简单了(几乎就像常规代码一样)。
  • 至于安全性:在这里查看 C++指南的安全配置文件的自动化工具。C++ Core Check中的新安全规则|C++团队博客。我们可以期待新的、更好的工具来执行代码分析甚至检测,以尽快发现潜在的安全问题。或者看这篇文章:使用静态分析原理缩小Rust和C++之间的差距——SunnyChatterjee——CppCon

使用指南

如果你对 C++代码的许多方面都感到困惑,那么你应该查阅 C++核心指南。它由热心的 C++开发社区创建,主要编辑是 Herb Sutter 和 Bjarne Stroustrup。

看这里:

C++核心指南@Github

这里有一个漂亮的网站:

C++核心指南:网站

只需输入你面临的问题(例如return value),你就可以轻松找到建议——例如:指南:返回值

使用这些指南将为你节省大量时间,并且你可以非常快地学习一些好的模式。

还有工具!

感谢 Clang 以及其他平台上的开发速度提升,我们获得了如下工具:

  • ClangTidy(以前是 clang-modernise)
  • Clang Format
  • Clang Static Analyzer
  • VisualAssist
  • Clion/ResharperC++
  • VisualStudio——像C++ Core Checker这样的工具
  • PVS Studio
  • 用于 VisualStudio 的Clang Power Tools
  • 新的C++核心检查规则|C++团队博客
  • C++核心指南检查器参考|微软文档
  • 介绍vcperf/timetrace,用于C++构建时间分析|C++团队博客
  • C++ Core Check中的新安全规则|C++团队博客——C++和 Rust 一样安全吗?

或者查看我关于其他工具的文章:C++生态系统:编译器、IDE、工具、测试等

虽然它不像其他语言(主要基于 Java 或基于.NET)那么好,但它正在变得越来越好。请记住,由于 C++语法复杂,因此很难实现即时分析代码的工具。

努力跟上最新进展

C++社区非常活跃。有很多博客、书籍、会议……甚至有可能在你所在的城市有本地社区。

首先,我建议去 isocpp.org 查看所有事件/新闻/文章。然后你可以查看Meeting C++和有关本地C++小组的信息。还有reddit/cpp,你可以在那里看到一些最棒的 C++故事。

还有CppCast——一个针对 C++开发人员的每周播客。

并参考以下书籍:

  • C++编程语言第4版
  • 高效的现代C++
  • 编程:使用C++的原理和实践
  • 发现现代C++:科学家、工程师和程序员的强化课程
  • C++之旅(C++深入系列)第2版

你还可以查看推荐的 C++资源列表:

Bartek的编程博客:资源

细节太多了?

C++如此强大的原因之一是它允许你实现非常接近底层的代码。你可以控制所有细节、内存布局、性能优化等……同时,这些能力增加了语言的复杂性。

不过,如果你不需要走那么远,你可以停留在相对较高的抽象级别。

例如,你不需要编写可选类型,因为你可以使用标准库中的std::optional。如果你不想涉及低级别和容易出错的联合类型,你应该意识到std::variant是一个安全的选项。

使用你需要的东西

C++是一种多范式语言;你可以以多种不同的方式使用它。最近,我读到了一条有趣的评论,说 Cpp 程序员在不接触模板元编程甚至异常等高级内容的情况下,也能持续多年表现出色。这在很大程度上取决于项目的代码风格。

例如,即使像谷歌这样的公司也限制了 C++的特性,比如说他们不使用异常。

如果你不是库开发人员,你可能不会遇到自定义移动运算符或移动构造器的麻烦。同样,高级元编程的内容也可能不是你的代码的关键部分。

增量变更

如果你是从头开始或只有一个小的代码库,那么转到 C++11/14 应该相对容易一些。可是 20 年(或更久!)前开始创建的上百万行代码呢?

只需一步一步来就行了。

至少对于新代码,你应该开始使用现代 C++。此外,通过应用“童子军规则”,你可以改进你所接触的那些代码。

这可能会带来一些混合代码,但还是比只保留老旧风格要好。

最后的底线:你的旧代码仍然可以编译

C++规范越来越大的原因之一是该语言向后兼容。所以委员会通常会引入新特性,但很少删除旧的东西。所以……你的代码仍然可以编译。如果你不想前进,不想使用新的东西,那么你还是可以保持当前的风格。

有时你会收到一些关于不推荐使用的内容或删除特性的警告(如 C++17 中的auto_ptr),但即使在这种情况下,你也可以将编译器切换到一些较旧的 C++标准。

总结

这篇文章有一些抱怨,也有一些“美化”。我试图找出这种语言及其演变过程中存在的各种问题,以及一些积极的改进迹象。虽然我们可以抱怨复杂性、变化的速度等,但我认为我们不能说这种语言已经死掉了。这是好事!:)

我认为你不必快速追逐新特性并立即重写现有代码。试着跟上进展,使用真正改进你工作的特性,你的代码应该逐渐改进并变得更加“现代化”(这是可以定义的,请参阅 meetingcpp 的相关文章)

  • 在采用 C++11/14/17/20 的新特性时,你的方法是什么?
  • 你使用 C++的主要问题是什么?
  • 你在工作中使用现代 C++吗?