写点什么

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

  • 2022-07-29
  • 本文字数:2629 字

    阅读完需:约 9 分钟

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

疫情期间,作者花了 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


2022-07-29 16:274043

评论

发布
暂无评论
发现更多内容

AI大模型已经出现不可预测的能力

Baihai IDP

人工智能 深度学习 NLP 大模型 ChatGPT 企业号 4 月 PK 榜

Atlassian Server用户新选择 | 迁移到数据中心版前,您需要做这些准备(2)

龙智—DevSecOps解决方案

Atlassian Atlassian 云版 数据中心版 server版

KaiwuDB 成为中国信通院数据库应用创新实验室-汽车行业工作组副组长单位

KaiwuDB

车联网 KaiwuDB 数据库行业标准制定 汽车工作组

软件测试/测试开发丨Web自动化测试中显式等待与隐式等待该怎么用

测试人

软件测试 自动化测试 测试开发

ES和MongoDB:一次别开生面的比较

Java你猿哥

数据库 mongodb elasticsearch ES API

既然有了MySQL,为什么还要有MongoDB

Java你猿哥

Java MySQL 数据库 mongodb Java工程师

HummerRisk 使用教程:镜像检测

HummerCloud

镜像安全 云原生安全

以 100GB SSB 性能测试为例,通过 ByteHouse 云数仓开启你的数据分析之路

字节跳动数据平台

大数据 数据仓库 云原生 数据仓库服务 云数仓

一种元数据同步的方法

KaiwuDB

数据复制 KaiwuDB 元数据同步

免费可商用开源GPT模型问世,50G权重直接下载,性能不输GPT-3

Openlab_cosmoplat

开源项目 开源社区

超实用VS Code for Windows快捷键

SEAL安全

vscode 企业号 4 月 PK 榜

华大北斗高精度芯片助力上汽名爵MG7智能驾驶

江湖老铁

〖产品思维训练白宝书 - 认知篇②〗- 破局高手都具备的一种底层认知就是产品思维

哈哥撩编程

#产品思维

如何选择合适的云数据库架构与规格

NineData

数据库 阿里云 AWS RDS 数据库架构设计

如何打造企业专属A/B平台?火山引擎DataTester开放平台技术揭秘

字节跳动数据平台

大数据 AB testing实战 开放平台 企业号 4 月 PK 榜 企业增长

户外LED显示屏对恶劣环境的防护措施!

Dylan

LED显示屏 全彩LED显示屏 户外LED显示屏

研发效能 | DevOps如何改变游戏公司工作方式?

龙智—DevSecOps解决方案

DevOps 游戏开发

【ChatGPT系列话题】金融行业大语言模型应用落地

易观分析

人工智能 金融 模型

你kin你擦!阿里终于肯把内部高并发编程高阶笔记开源出来了

Java你猿哥

Java nginx 高并发 SpringCloud 面经

Hive 和 Spark 分区策略剖析

vivo互联网技术

spark hive

龙智荣获Perforce公司颁发的2022年度销售与技术两项大奖

龙智—DevSecOps解决方案

版本控制

“ONE”有引力,4月21日见!

博睿数据

智能运维 博睿数据 发布会 Bonree ONE

集成华为运动健康服务干货总览

HarmonyOS SDK

HMS Core

Web2D工业组态工具软件——Sovit2D

2D3D前端可视化开发

web组态 组态编辑器 工业组态软件 web组态软件 2D组态

又是一季金三银四,Spring之AOP知识要点总结

Java你猿哥

spring Spring Boot ssm aop

机器学习实战系列[一]:工业蒸汽量预测(最新版本下篇)含特征优化模型融合等

汀丶人工智能

人工智能 数据挖掘 机器学习 LightGBM

版本控制 | 告别繁琐,P4VJS带来全新的Diff体验

龙智—DevSecOps解决方案

版本控制 版本管理

DAMS大会 | 博睿数据分享《一体化智能可观测平台建设之路》

博睿数据

可观测性 智能运维 博睿数据 Bonree ONE

慕了!17年阿里架构师把Spring Boot的精髓都总结出来了

Java你猿哥

Java spring Spring Boot Spring MVC Java工程师

龙智被SmartBear评为2022年“最具动力营销团队”

龙智—DevSecOps解决方案

自动化测试 UI测试 UI测试自动测试

如何用Swift重写C++/ObjC代码库,并将其缩减70%_语言 & 开发_Ron Avitzur_InfoQ精选文章