在拥挤和变化的世界中茁壮成长:
摘要
到年时,已经在业界广泛使用了年。它既包含了自年代初引入
语言以来一直没有改变的部分,又包含了在二十一世纪初仍很新颖的特性。从
年到年,开发者人数从约万增长到了约万。在这段时期
里,有新的编程模型涌现出来,有硬件架构的演变,有新的应用领域变得至关重
要,也有好些语言在争夺主导地位,背后有雄厚的资金支持和专业的营销。
——一种没有真正商业支持的、老得多的语言——是如何在这些挑战面前继
续茁壮成长的?
本文重点关注标准在年、年、年和年的修订版中
的重大变化。标准库在篇幅上约占 标准的四分之三,但本文的主要重点仍
是语言特性和它们所支持的编程技术。
本文包含了长长的特性清单,其中记录了 的成长。我会对重要的技术要点进
行讨论,并用简短的代码片段加以说明。此外,本文还展示了一些失败的提案,
以及导致其失败的讨论。它提供了一个视角,如何看待这些年来令人眼花缭乱的
事实和特性。我的重点是塑造语言的想法、人和流程。
讨论主题包括各种方向上的努力,包括:通过演进式变化保留的本质,简化
的使用,改善对泛型编程的支持,更好地支持编译期编程,扩展对并发和并
行编程的支持,以及保持对几十年前的代码的稳定支持。
标准是通过一个共识流程演化而来的。无可避免,在方向、设计理念和原
则方面,不同的提案间存在竞争和(通常是礼貌性的)冲突。委员会现在比以往
任何时候都更大、更活跃,每年有多达 人参加三次为期一周的会议,还有更
多的人以电子方式参加。我们试图(并不总是成功)减轻各种不良影响,包括
“委员会设计”、官僚主义,以及对各种语言时尚的过度热衷。
具体的语言技术话题包括内存模型、并发并行、编译期计算、移动语义、异常、
表达式和模块。要设计一种机制来指定模板对其参数的要求,既足够灵活
和精确,又不会增加运行期开销,实践证明这很困难。设计“概念”来做到这一
点的反复尝试可以追溯到年代,并触及到和泛型编程的许多关键设计问
题。
文中的描述基于个人对关键事件和设计决策的参与,并以标准委员会档案
中的数千篇论文和数百份会议记录作为支持。
评论0
最新资源