如何用Swift重写C++/ObjC代码库,并将其缩减70%

2022 年 7 月 27 日 InfoQ

作者 | Ron Avitzur
译者 | 刘雅梦
策划 | Tina

疫情期间,作者花了 18 月的时间,将图形计算器(Graphing Calculator)从 C++/ObjC 移植到了 Swift 上,将代码量缩减为原来的 30%,并且没有明显的功能或性能损失。

图形计算器(Graphing Calculator)始于 1985 年,是为了 128K Macintosh 用 C 语言编写的,当时它仅有 16 位整数、黑白 Quickdraw 以及不带 MMU、FPU 和 GPU 的 8MHz 68000 CPU。那是一个简单的时代。之后很多事情都发生了变化。

我长期以来都坚持“如果没有坏,就不要去修”的理念,因此代码携带了许多它过去的痕迹——在当时有意义的设计选择,但在现在已经不适用了。它见证了 CPU 从 Motorola(摩托罗拉) 68K 到 IBM PowerPC 系列、再到 Intel 和 ARM 的变化。它最初是在 Macintosh 内部编写的经典 Mac API,然后是 Carbon,再是 Cocoa、AppKit & UIKit,现在是 SwiftUI。

通过编写新代码来添加新功能,并将古老的遗留代码隐藏在抽象层下,这是更容易做到的。最终的结果是:积累了数十年的技术债会使新的开发变得令人担忧。图形计算器(Graphing Calculator)仍然使用 Classic Mac OS 9 协作线程 API 来运行 20 世纪 80 年代冻结的非线程安全代码。从头开始重写所有内容,也就是从轨道上起飞并摧毁整个站点,这几乎从来都不是一个好主意。遗留代码包含了当前开发人员从未经历过的数十年的艰辛教训,即使是最初的开发人员,如果他们还在的话,也早就忘记了。虽然一个全新的开始可能会在美学上令人满意,但它也会为缺陷创造一个巨大的表面积。在典型的小版本发布中,专注于新特性的测试是很容易的。彻底重写后,一切都是新的。尽管如此,在把问题隐藏了 35 年之后,我决定的最好方式依然是重新审视一切,并从头开始重写。

C++ 一直是管理大型项目复杂性的有效语言,那么我为什么还要更换语言呢?我对苹果的增强现实技术印象深刻。在为我们的 iOS 产品添加了 AR 支持后,受 AR 在儿童故事书中使用的启发,我构建了一个原型应用程序,探索如何在数学教育中使用 AR。你可以在 http://PacificT.com/AR/ 和 https://twitter.com/RonAvitzur/status/1250520615993270272 查看相关的视频。该应用程序主要是用 C++ 和 ObjectiveC++ 编写的。原型使用 ARKit 进行视觉和机器学习,虽然在 Objective-C 中这是可行的,但在 Swift 中它会更容易。很显然,苹果的新技术将继续行得通。

我通过移植图形计算器(Graphing Calculator)的核心计算机代数系统来学习 Swift。它一开始只是一个学习练习活动,后来变成了一项可行性研究。疫情在这一决定中发挥了重要作用,因为这成为了我的疫情就地避难项目。重构本来可以用 C++ 和 Objective-C++ 来完成,但它不是那么有效,也不会那么有趣。该移植合并了许多转换:

该移植还涉及到了重构并重写核心算法,这些算法由于其功能的逐步发展而变得非常笨重了。

在过去的 18 个月里,我一直在努力重写所有这些内容。以下是我所学到的:

我喜欢 Swift 的语法。C++ 所需的大量重复样板代码在 Swift 中消失了,只剩下表示逻辑所需的代码,使含义更加清晰了。Swift 在集合类中使用了值类型,这使对它们的推理变得更加简单了;语法糖使得对它们的使用变得极其简单,并且它们还得到了一个实现支持,该实现使用自动引用计数和写时复制来使它们在几乎所有的使用中都具有高性能。(发现该语句的限制性仍然是优化图形计算机性能的一个重要课题。)使用带有内置 Unicode 支持的 Swift String 取代了混乱的 C++ char、UTF-8 和 UTF-16 表示,改进了代码组织,简化了代码推理。ARC、类型推断、可选项、闭包、关联值枚举、不需要头文件以及 Swift 并发,所有这些都对编写简洁、富有表现力的代码做出了重大的贡献。

最后,该移植的可维护性、可读性以及紧凑性都大大提高了。当我移植单独的功能部分时,Swift 源代码的大小通常是相应 C++ 代码的 30%。(虽然代码行数不是一个信息量很大的指标,但它却很容易衡量。)更少的代码意味着更少的调试、更少的阅读和理解,仅此一点就使移植更容易维护。使用 SwiftUI,视图控制器完全消失了:这是声明式编程对命令式编程的一大胜利。总之,源代码从 152,000 行减少到了 29,000 行,并且没有明显的功能或性能损失。

该移植的最大挑战是实现同等的速度。数十年的迭代改进以及对每个版本的低层优化为性能设定了一个很高的标准。在性能临界(performance-critical)代码中驾驭 Swift 的无数不安全 API 虽然很困难,但也很有效。剩下的最大挑战就是最小化 ARC 保留 / 释放导航表达式树的开销。依靠 ARC 消除了大量的代码复杂性。C++ 代码手动处理表达式的内存管理,这虽非常脆弱,但却非常快。Swift 版本更小,更容易编写正确的代码和推理,但有性能临界部分,我知道遍历树不会更改任何引用计数,但无法与编译器沟通,ARC 保留 / 释放的开销是不必要的。Swift 语言、库和运行时都有非常出色的文档,甚至可以在必要时查看开源实现。相比之下,SwiftUI 框架是闭源的。当 SwiftUI 工作时,它会给人带来近乎神奇的愉悦感,但当它的行为出乎意料或需要超出规定路径的行为时,它就变得很难理解,并且也很难饶过它的局限性。

是否值得我花时间将其移植到 Swift 上?我很喜欢学习 Swift,并且对现在的代码状态也很满意。用 Swift 写作纯粹是一种快乐。自 80 年代开始,我一直就在打算最终要开源我的代码。当我考虑使用 C++ 代码库做这件事时,我意识到这不会是一项有用的贡献,因为数十年来积累的技术债使 C++ 代码变得不可维护了。我现在很有信心将新代码制作成有用的独立 Swift 包,用于数学排版、编辑、数值和符号计算以及绘图。

Swift 兑现了它的承诺,实现了安全、快速且富有表现力的代码。SwiftUI 也兑现了它的承诺,用最少的代码实现了跨越苹果平台的卓越用户体验。我要感谢所有为 Swift 做出贡献的人,感谢他们的辛勤工作。用 Swift 编程真的很有趣。特别感谢所有花时间在 Swift 论坛和 Twitter 上回答菜鸟问题的人。在整个过程中,我无法表达我对你们耐心和专业帮助的感激之情。

图形计算器(Graphing Calculator)可在 macOS 和 iOS 上使用。

原文链接:

https://www.swift.org/blog/graphing-calculator/

今日好文推荐

搞不定移动端性能,全球爆火的 Notion 从 Hybrid 转向了 Native

离开谷歌的副作用:外面很难找到这么好用的开发工具

字节将大幅压缩招聘规模;滴滴被罚 80 亿,违法行为持续 7 年;各国软件开发者薪资统计:中国上榜全球开发者薪酬最低国家名单 | Q 资讯

编程不适合 12 小时工作制,“我有灵感才工作” | 专访《Java 编程思想》作者 Bruce Eckel

登录查看更多
0

相关内容

苹果公司在 WWDC 2014 开幕 Keynote 上发布的全新编程语言,具有更多现代化特性,同时容易使用,定位是补充 Objective-C. > Swift is an innovative new programming language for Cocoa and Cocoa Touch. Writing code is interactive and fun, the syntax is concise yet expressive, and apps run lightning-fast. Swift is ready for your next iOS and OS X project — or for addition into your current app — because Swift code works side-by-side with Objective-C.

Swift - Apple Developer

【开放书】《命令行数据科学指南(第二版)》
专知会员服务
42+阅读 · 2021年12月13日
专知会员服务
91+阅读 · 2020年12月26日
【2020新书】Ruby 3 编程: 从小白到专家,598页pdf
专知会员服务
29+阅读 · 2020年12月17日
【2020新书】如何认真写好的代码和软件,318页pdf
专知会员服务
63+阅读 · 2020年3月26日
这 11 种编程语言,还“活着”吗?
CSDN
2+阅读 · 2022年12月1日
我用 Rust 编程的这两年
CSDN
1+阅读 · 2022年11月11日
为取代 C++,Google 强势开源 Carbon 语言!
“请解释一下Twitter的前10行源代码”
CSDN
1+阅读 · 2022年5月5日
我对 Twitter 前 10 行源代码的理解
InfoQ
0+阅读 · 2022年4月29日
“C不再是一种编程语言”
AI前线
1+阅读 · 2022年4月2日
改3行代码不应该花一整天的时间
AI前线
0+阅读 · 2022年1月15日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
4+阅读 · 2014年12月31日
国家自然科学基金
3+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Arxiv
0+阅读 · 2022年11月29日
Arxiv
0+阅读 · 2022年11月29日
Arxiv
12+阅读 · 2022年4月12日
VIP会员
相关VIP内容
相关资讯
这 11 种编程语言,还“活着”吗?
CSDN
2+阅读 · 2022年12月1日
我用 Rust 编程的这两年
CSDN
1+阅读 · 2022年11月11日
为取代 C++,Google 强势开源 Carbon 语言!
“请解释一下Twitter的前10行源代码”
CSDN
1+阅读 · 2022年5月5日
我对 Twitter 前 10 行源代码的理解
InfoQ
0+阅读 · 2022年4月29日
“C不再是一种编程语言”
AI前线
1+阅读 · 2022年4月2日
改3行代码不应该花一整天的时间
AI前线
0+阅读 · 2022年1月15日
相关基金
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
4+阅读 · 2014年12月31日
国家自然科学基金
3+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员