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++版本还是等待几年?
CallMeDonk:
我喜欢C++。这是我的首选语言,但你必须承认,它对值类的“大杂烩”实现是很怪异的。包括我在内的大多数程序员更喜欢简单的、定义明确的语言结构,而不是奇怪和复杂的语法。
C++在各个方面都很清晰吗?可能不是……
以下是一些可能难以理解并可能让程序员糊涂的主题:
移动语义的原则非常明确:不要复制,而是尝试“窃取”托管资源的内部结构,你应该获得不错的性能提升。但魔鬼都藏在细节中。
最后一个是我编的……但那么多值类别实在太让人头疼了!
在C(或C++98/03)中,你只需要知道左值与右值,现在它有点微妙了。
不过,问题是你是否需要记住它?
c0r3ntin:
这很复杂,但不是每天都能遇到。这个值可以address吗?可以复制吗?可以移动吗?应该移动吗?只有在极少数情况下,你才需要主动去澄清并充分理解它们。(模板化库编写、热路径等)。大多数时候C++并不比java或其他东西复杂。可悲的是大多数人都忘了这一点。C++可能是最复杂的语言,但是你可以编写非常好的代码而无需关心具体的细节。BigObjecto=getBigObject();
现在有18种方式(从C++17开始)!
参阅:
C++中的初始化是疯狂的
r/cpp线程
当我看到C++17的所有变更时,我很迷茫;关于模板的细节太多了。
同样的情况发生在C++20中,我们迎来了一个重大且期待已久的改进:概念——它彻底改变了C++。
然而,如果你想学习模板,一开始可能会不知所措。
随着新特性列表的不断增长,“从头开始”修复C++设计中的旧问题可能是很诱人的主题。但这种语言的原则是不能破坏旧代码,所以委员会非常严格,不喜欢改变已引入特性的路线。
这个问题没有正确的答案,但无论如何,一个经过充分讨论的主题要比仓促的举动更好。
我们可以抱怨C++没有“交付”一个很酷的依赖管理系统。但现实情况是,在可预见的未来,这可能都不会实现。拥有一个“标准”的包管理器是一个艰难的选择,尤其是它必须处理如此多的可用C++的平台和系统。
谷歌工程师本周表示,Chrome代码库中大约70%的严重安全漏洞是内存管理和安全漏洞。
微软也是如此。由于大部分代码是C或C++,所以每个人都指责C++不够安全。
你在这种语言上遇到的主要问题都有哪些?
到目前为止,我们已经讨论了一些问题……那么如何应对它们呢?有机会解决这些问题吗?
没有完美的编程语言;每种语言都有一些问题。以下是我关于如何处理现代C++问题的建议:
保持乐观
使用最佳指南
使用最好的工具
跟上最新进展
不要打开引擎盖
使用你需要的
增量变更
最后的底线:你的旧代码仍然安全并且可以编译
虽然某些特性非常庞大,可能会带来混乱或需要学习更多东西,但实际情况其实很简单:
在C++03之后添加的1000个新页面中的大部分用于标准库。这意味着你可以使用更多助手和子系统,而无需查找第三方库。这绝对会让你的生活更轻松。
对于移动语义,你可以依赖库类型,因为它们会为你完成正确的工作。例如,你现在可以安全地返回std::vector并确保它可能被移动甚至被删除,而无需额外副本。
至于模板,它变得越来越容易使用。概念让代码更安全,没有像SFINAE这样的技巧。更重要的是,我们有了constexpr和auto,让泛型代码更简单了(几乎就像常规代码一样)。
如果你对C++代码的许多方面都感到困惑,那么你应该查阅C++核心指南。它由热心的C++开发社区创建,主要编辑是HerbSutter和BjarneStroustrup。
看这里:
C++核心指南@Github
这里有一个漂亮的网站:
C++核心指南:网站
只需输入你面临的问题(例如returnvalue),你就可以轻松找到建议——例如:指南:返回值
感谢Clang以及其他平台上的开发速度提升,我们获得了如下工具:
ClangTidy(以前是clang-modernise)
ClangFormat
ClangStaticAnalyzer
VisualAssist
Clion/ResharperC++
VisualStudio——像C++CoreChecker这样的工具
PVSStudio
用于VisualStudio的ClangPowerTools
新的C++核心检查规则|C++团队博客
C++核心指南检查器参考|微软文档
C++CoreCheck中的新安全规则|C++团队博客——C++和Rust一样安全吗?
C++生态系统:编译器、IDE、工具、测试等
虽然它不像其他语言(主要基于Java或基于.NET)那么好,但它正在变得越来越好。请记住,由于C++语法复杂,因此很难实现即时分析代码的工具。
C++社区非常活跃。有很多博客、书籍、会议……甚至有可能在你所在的城市有本地社区。
还有CppCast——一个针对C++开发人员的每周播客。
并参考以下书籍:
C++编程语言第4版
高效的现代C++
编程:使用C++的原理和实践
发现现代C++:科学家、工程师和程序员的强化课程
C++之旅(C++深入系列)第2版
你还可以查看推荐的C++资源列表:
Bartek的编程博客:
C++如此强大的原因之一是它允许你实现非常接近底层的代码。你可以控制所有细节、内存布局、性能优化等……同时,这些能力增加了语言的复杂性。
不过,如果你不需要走那么远,你可以停留在相对较高的抽象级别。
例如,你不需要编写可选类型,因为你可以使用标准库中的std::optional。如果你不想涉及低级别和容易出错的联合类型,你应该意识到std::variant是一个安全的选项。
例如,即使像谷歌这样的公司也限制了C++的特性,比如说他们不使用异常。
如果你不是库开发人员,你可能不会遇到自定义移动运算符或移动构造器的麻烦。同样,高级元编程的内容也可能不是你的代码的关键部分。
如果你是从头开始或只有一个小的代码库,那么转到C++11/14应该相对容易一些。可是20年(或更久!)前开始创建的上百万行代码呢?
只需一步一步来就行了。
至少对于新代码,你应该开始使用现代C++。此外,通过应用“童子军规则”,你可以改进你所接触的那些代码。
这可能会带来一些混合代码,但还是比只保留老旧风格要好。
C++规范越来越大的原因之一是该语言向后兼容。所以委员会通常会引入新特性,但很少删除旧的东西。所以……你的代码仍然可以编译。如果你不想前进,不想使用新的东西,那么你还是可以保持当前的风格。
有时你会收到一些关于不推荐使用的内容或删除特性的警告(如C++17中的auto_ptr),但即使在这种情况下,你也可以将编译器切换到一些较旧的C++标准。