回顾 Swift 3,展望 Swift 4

  • Sergio De Simone
  • Rays

2016 年 8 月 14 日

话题:开源AppleiOS语言 & 开发

在 Swift 3 late 2016版本临近发布之际,苹果公司开发者工具部门高级总监 Chris Lattner 发给“Swift-evolution”邮件列表一篇长文。文中对 Swift 3 的开发过程进行了回顾,并给出了对 Swift 4 的期望。

在对 Swift 3 的回顾中,Lattner 主要侧重于说明开源软件开发的成效及所存在的缺点。他特别指出,相对于“封闭式设计”而言,“开放式设计”速度慢且更难预测,但是最终结果却是“显著地改善”了。对于开发而言,使开发社区专注于有限数量的主题上,以及使核心团队参与到最前线的关系讨论中,这两者是至关重要的。此外,Lattner 还指出,在开发中具备明确的目标将有助于工作重点的确定,并可避免出现在设计范围之外完成的子项目。

基于上述观点,Lattner 阐明了 Swift 4 所将具有的两个首要设计目标,即“自 3.0 版本起,交付具有源码稳定性承诺的版本,以及为标准库提供 ABI 稳定性”。鉴于此,可预见核心团队直到 2017 年春都将忙碌于第一阶段。该阶段的工作主要是针对影响现有 ABI 或者是导致现有标准库特性发生重要改变的特性。下面列出了核心团队在第一阶段中将优先实现的一些特性:

  • 源码稳定性,例如编译器选项 -std=swift3,使用该选项可有条件地启用更多的目前正在开发但尚不稳定的功能;
  • 适应性,提供在不影响 ABI 稳定性的前提下使公用 API 持续演进的方法;
  • 标准库所需的通用改进,例如:条件性符合(conditional conformances)递归协议约束(recursive protocol requirements),以及其它的一些改进;
  • 对字符串的重评估,目的在于改进 Swift 的字符串编程模型,使得该模型做到与 Perl 字符串处理一样的好。
  • 内存所有权模型(可选项)。该模型受CycloneRust的内存所有权模型启发,目的在于实现性能的可预测性和确定性。更多细节可参考这里

一旦第一阶段的进展达到顶峰,第二阶段将根据所剩余的时间对新特性进行界定和规划。在第二阶段中会考虑以下特性:

  • 反射,包括一个面向用户的、用于数据和方法反射的 API;
  • 一流的并发,包括:actor、同步 / 等待、原子性、内存模型及其它一些相关主题。不幸的是,据拉特纳所说,在 Swift 4 版本中将无法按时实现这个新的并发模型;
  • 更多的通用改进。但正如泛型声明中所述,这些改进并非是 ABI 稳定性所特需的;
  • .swiftmodule 稳定性,以便于被第三方的二进制框架所使用;
  • 新的脚本语言特性,例如:正则表达式、多行文字的字符串等;
  • 属性行为,目的是在语言内核之外,提供一种定义 lazy、observers、synchronization 等属性行为的灵活模型。

Lattner 最后指出,还有许多在第二阶段中需要考虑的特性,例如:子模块、数值类型间的隐式类型提升、C++ API 的引入、健康宏系统、尾部调用约定、支持枚举类型、“throws”类型化、用户自定义属性、抽象方法或类、更好的 SIMD 支持、数据并行支持、高级类类型等。

核心团队预期在 2017 年秋季能发布 Swift 4。

查看英文原文:Looking Back on Swift 3 and Ahead to Swift 4


感谢夏雪对本文的审校。

给 InfoQ 中文站投稿或者参与内容翻译工作,请邮件至editors@cn.infoq.com。也欢迎大家通过新浪微博(@InfoQ@丁晓昀),微信(微信号:InfoQChina)关注我们。

开源AppleiOS语言 & 开发