讲动人的故事,写懂人的代码
"你作为编程新手,为什么要学Rust?"我在微信里问小小白。
我是一名有着30多年IT从业经验的老程序员,正在创作一本 Rust 编程入门书,致力于降低 Rust 那传说中陡峭的学习曲线。小小白是我最近在社交网络上认识的朋友,他对学习 Rust 充满热情。作为一名环境工程专业的硕士毕业生,小小白已在北京的一家公司工作三年。他渴望成为独立软件开发者,创造自己的软件,但编程经验有限。他在大学计算机基础课上学过 C 语言,后来也接触了一些 C++。研究生期间刚进课题组时,导师要求他用 Python 进行数据分析。他用 Jupyter 写过一些简短的 Python 代码,体验过代码即时运行、无需调试的便利。然而,他总觉得这不算正儿八经地写程序。
小小白向我诉说了他想学Rust的原因,这要从他最熟悉的已经使用了七八年的LaTeX排版标记语言说起。
1.1 Rust的爽点竟然不是内存安全
LaTeX 是一种基于 TeX 的文档准备系统,由莱斯利·兰波特(Leslie Lamport)于 1984 年开发。TeX 是唐纳德·克努斯(Donald Knuth)于1978年创建的一种功能强大的排版系统,广泛用于科学文献和复杂数学公式的排版,以其高度精确性和灵活性著称。LaTeX 通过引入一组宏包和高层次命令,将文档的结构与内容分离,简化了 TeX 的使用。它特别适合撰写需要统一格式和精美排版的文档,如学术论文、技术报告和书籍。尽管 LaTeX 的学习曲线较陡,但熟练掌握后,它能显著提高文档准备效率和排版质量。
在 LaTeX 生态系统中,宏(macro)是快捷、高度可定制的命令,可视为对一系列底层命令的封装或抽象。用户或开发者可以定义自己的宏命令,用于简化文档排版操作。宏包(package)则是一个功能集合,由许多预定义的宏命令组成。这些宏命令扩展了 LaTeX 的核心功能,帮助用户实现更复杂的排版需求。宏包的作用类似于现代编程语言中的库(library),但其核心仍依赖于"宏"这一基本构造。
小小白在使用 LaTeX 时发现了一个大坑:宏包管理的用户体验不够好。LaTeX 本身没有内置的宏包管理工具,这项功能依赖于 TeX 发行版(如 TeX Live 和 MiKTeX)。这些发行版提供了相应的包管理工具,但用户使用起来太过繁琐。
以 TeX Live 为例,它采用年度版本发行模式。每年发布一次新版本,升级到新版本时需要重新安装整个发行版,而不能通过包管理器 tlmgr(TeX Live Manager)直接完成。tlmgr 的功能仅限于在当前年份的发行版内管理宏包,这种设计是为了确保宏包与 TeX 引擎之间的兼容性,但也因此对动态更新需求较高的用户造成了一定的不便。
其次,CTAN(The Comprehensive TeX Archive Network,TeX和LaTeX相关资源的核心存储库网络,类似于Linux的软件仓库或Python的PyPI)上的宏包存在大量功能重叠。光是表格功能相关的宏包就有上百个,用户需要耗费大量时间来选择最适合的包。
另一个问题是宏包之间的兼容性。虽然可以通过查阅文档或向社区求助来解决冲突,但这个过程常常费时费力。
最近,小小白听说到开源社区推出了一种新的文字排版系统 Typst。这个用 Rust 开发的项目旨在挑战 LaTeX 的地位。Typst 这个名字巧妙地融合了"type"和"Rust",体现了其对现代化排版的追求。目前,该项目在 GitHub 上已获得 35.2k 星标,广受关注。
小小白虽然对 LaTeX 的包管理有所不满,但因多年使用经验而对这款工具充满感情。当他得知 Typst 要挑战 LaTeX 时,便带着为 LaTeX 打抱不平的心态试用了 Typst。
令他吃惊的是,Typst 在编译速度和使用体验上的出色表现,让他从一个普通的"路人"变成了热情的"粉丝"。
Typst 内置了包管理器(借鉴了其开发语言 Rust 的包管理器 Cargo),无需依赖外部工具或额外配置就能管理包,大大简化了操作流程。相比之下,LaTeX 的包管理依赖于发行版(如 TeX Live 和 MiKTeX)的工具,且不同发行版的功能存在差异。
Typst 能自动解析文档依赖并按需安装缺失包,还支持一键更新所有包,免去了用户手动查找和安装的麻烦。而 LaTeX 则需要用户主动运行命令更新包,某些旧版本的发行版甚至无法安装最新的宏包。
此外,Typst 的包管理系统可以锁定特定的包版本,确保文档在不同环境下的排版一致性。而 LaTeX 缺乏统一的版本管理机制,用户可能会因系统或 TeX 引擎版本差异遇到宏包行为不一致的问题。
得益于工具链现代化设计,Typst 能自动处理包之间的兼容性问题。而 LaTeX 用户往往需要深入阅读宏包文档,甚至手动调整代码来解决冲突。Typst的这一改进显著降低了使用门槛。
Typst 采用按需下载模式,进一步提升了效率,避免了像 LaTeX 那样需要一次性安装大量宏包的问题(例如,TeX Live 的完整安装可达数 GB)。
另一个优势是 Typst 采用滚动更新机制,能快速采纳社区改进。相比之下,虽然 LaTeX 用户可以通过网络安装获取及时更新,但多数用户为了保持稳定性,仍然选择使用年度更新策略,这导致新功能普及速度较慢。
Typst 从设计之初就继承了 Rust 编程语言的优良传统------注重工具链的现代化和超好的用户体验,这使得 Typst 在新手友好性和易用性方面具有明显优势。尽管 LaTeX 拥有丰富的生态系统和成熟的功能,但其包管理系统仍是主要痛点。
根据国外知名编程问答网站 StackOverflow 2024年嵌入式开发调查统计,Rust 的包管理器和构建工具 Cargo 表现出色,83% 的受访者对其高度认可。这不仅体现了 Cargo 在嵌入式开发者中的良好口碑,还显示了其强大功能与易用性的完美结合。调查结果反映出嵌入式开发者对开发效率和使用体验的重视,同时也凸显了 Rust 在嵌入式开发领域日益提升的重要地位。
小小白因此意外发现了这个用户体验超好的 Typst 项目,进而对其开发语言 Rust 产生了浓厚兴趣。
与软件开发业界和社区对Rust内存安全特性的高度关注不同,小小白学习Rust的理由却让我感到既合理又新颖。Rust好用的原生开发工具 和清晰友好的编译错误提示(小小白说LaTeX那些莫名其妙的报错信息能让九成新手望而却步,而一些国外程序员则表示C++的报错信息会让他们怀疑自己的能力),这些特性虽然对专业程序员、企业和政府部门来说不如内存安全更具吸引力,但对编程新手小小白而言,却恰恰是最重要的。
说到Rust的学习曲线,人们常说它很陡峭。持这种看法的,大多是有C++或Java编程背景的人。但对小小白这样的编程新手来说,正因为知之甚少,反而成了优势 ------因为学什么语言对他们来说都是从零开始。所以与那些已形成固定编程思维模式的C++或Java程序员相比,小小白反而可能更容易掌握Rust。
虽然我是计算机科班出身,但也曾和小小白一样是编程新手。我深知初学者最需要的是新奇有趣的学习体验。相比传统书本上枯燥的概念讲解,闪烁的嵌入式开发板LED灯和丰富多彩的游戏项目更能激发学习热情。让我们一起编写代码,通过点亮第一个LED灯来体验Rust的超好用户体验吧。
1.2 游戏前的准备
本书第一篇的前10章将带领你在micro:bit v2开发板上用Rust玩各种有趣的游戏。只要连上插线板上的USB充电口,耀眼的"RUST"就能在这块巴掌大小的micro:bit v2开发板上滚动显示,整天闪耀在桌子上。这比在笔记本电脑终端里运行一个简单的字符串程序,然后合上屏幕就忘记要有趣得多吧?不妨看看图1体会一下。
图1-1 用Rust在micro:bit v2开发板上滚动显示"RUST"
第一篇的这些游戏都属于一个专业领域:嵌入式开发。什么是嵌入式开发?
1.2.1 嵌入式开发
嵌入式开发指为专用硬件设备编写软件的过程 。这类设备通常具有特定功能 ,且资源受限(如内存和处理能力),目的是在成本与功能之间取得最佳平衡。常见的嵌入式系统包括家电(如洗衣机)、汽车控制系统和智能手表等。
嵌入式开发的历史可以追溯到二十世纪六十年代的阿波罗登月制导计算机,以及用于民兵 I NS-1OQ导弹制导系统的D-17B计算机。
让我们来探索嵌入式系统的独特魅力。这些小巧精致的设备就像专注的工匠,各自承担着独特的使命。虽然资源有限,如同居住在小屋中,却能在有限空间里发挥惊人的效率。它们的反应速度尤其令人称奇,像赛车手一样能在瞬间做出精准的判断和响应。
这些小设备需要严格遵循硬件的"规矩",但正是这种约束让它们更加可靠。它们就像尽职的守夜人,日复一日地工作,始终保持警惕。
嵌入式系统的优势显著:它们不仅高效完成任务,还特别节能环保。体型小巧让它们能轻松融入各种场景,实惠的价格则让更多人能享受科技带来的便利。
当然,这个领域也面临挑战。开发者需要同时掌握软件和硬件知识,就像学习一门复杂的手艺。调试问题时,常常需要解决没有完整线索的谜题,考验耐心和智慧。由于设计时就定位明确,增加新功能并不容易。资源管理则像一场精细的平衡游戏,需要优化每一分资源。
嵌入式系统的应用无处不在:从家电、智能音箱到工厂自动化设备,从汽车智能系统到城市物联网设备,甚至医疗领域的精密仪器。这些都证明了科技如何改变我们的生活。
嵌入式开发将硬件设计和软件开发融为一体,特别适合那些对电子设备运行机制感兴趣、热衷动手实践的开发者。
2015年Rust发布1.0版本后,凭借易用的工具链、出色的内存安全性和与C语言相当的性能,赢得了嵌入式开发者的青睐。
Rust在嵌入式开发中表现出色,就像一位能干的管家。它不仅让代码运行安全高效,还特别善于照顾资源有限的设备。它为设备提供了防护,减少内存错误,同时用最轻便的方式完成复杂任务。
这位管家的过人之处体现在多个方面:它能在代码运行前就发现潜在危险,无需庞大的操作系统就能工作,这对空间有限的设备来说极其重要。它还提供了一套现代化的开发工具,让开发过程更加顺畅。
Rust的优势显著:它不仅确保代码安全,还能简化复杂操作,同时保持高效性能。它就像经验丰富的工程师,既能写出优雅的代码,又能充分利用稀缺的资源。
当然,Rust也有其挑战。学习过程需要时间和耐心,就像掌握一门复杂的手艺。它的生态系统仍在成长,编译时间可能稍长,但这是为了确保代码质量的必要付出。
Rust特别适合要求高安全性的领域,如医疗设备和航空系统。它的轻量级特性使其在物联网设备中广受欢迎,高效性能则满足了实时系统的需求。在教学领域,它也成为培养新一代开发者的理想选择。
Rust在嵌入式开发中既保持现代思维又尊重传统,掌握后能帮助我们创造更安全、更可靠的嵌入式系统。
让我们做好准备,开启这段精彩的旅程吧!用Rust代码点亮第一个LED灯,迈出嵌入式开发的第一步!
1.2.2 调整心态
小小白在探索嵌入式编程之旅时应该如何调整心态?作为过来人,我认为最重要的是学会接纳自己在编程踩坑时产生的恐惧感------就像站在小河边,平静地看着代表恐惧的树叶缓缓飘过,而不是掉进河里。
这种恐惧感是成长的必经之路。回想这几十年的编程经历,我常常被命令行和日志中莫名其妙的错误信息折磨,甚至怀疑过自己的能力。但每当通过深入思考,或借助专家、搜索引擎和AI找到解决方案时,就会感到无比自豪。所以小小白,当你在编程之路上遇到类似困境时,我反而为你感到高兴。因为当你靠自己的努力爬出这些"坑"时,就意味着你向真正的程序员迈进了一大步。加油!
1.2.2 准备硬件
要点亮第一个LED灯,首先需要一台计算机------台式机或笔记本均可。计算机需要安装 Linux、macOS 或 Windows 10/11 这三类操作系统之一。在撰写本书时,我使用了三台安装不同操作系统的计算机:Ubuntu 24.04.1 LTS、macOS Sonoma 15.1.1 和 Windows 11 Pro 23H2。由于篇幅所限,本书接下来的内容将围绕这三种操作系统展开。如果你使用的是其他操作系统,可以参考本书内容,并向你喜欢的 AI 助手寻求帮助。
🔎 如果你有兴趣,也可以在Windows上安装微软的WSL 2来使用Linux进行开发,这是本书暂不讨论的可选的进阶选项。
由于本书第一篇涉及嵌入式开发内容,建议使用Linux系统,它提供了更完善的嵌入式开发工具链。不过放心,对于本书大部分内容,使用Windows或macOS系统也完全可以。
接下来,让我介绍一个有趣的设备------micro:bit v2开发板,如图1-2和1-3所示。
图1-2 micro:bit v2正面展示了产品名称、几块芯片和复位按钮,图中还有一根USB micro数据线
图1-3 micro:bit v2背面展示了5×5的LED点阵和两侧的按钮
这要从英国广播公司(BBC)的一群富有创意的工程师说起。看到许多孩子沉迷手机游戏却对科技创造毫无兴趣,他们萌生了一个想法:何不设计一个简单有趣的小工具,让孩子们也能体验创造的乐趣?这就是micro:bit v1的由来。2015年,这个小设备作为特别礼物,送到了一百万名英国中学生手中。出乎意料的是,它广受欢迎,很快流传全球。
五年后,升级版micro:bit v2问世了。这个不足名片大小的"魔法盒子"装载了丰富的功能:一块LED点阵显示屏,两个按键,以及多种环境传感器。最引人注目的是它的核心------Nordic nRF52833芯片,不仅支持蓝牙通信,还具有出色的能效比。
对编程初学者而言,micro:bit是理想的入门工具。你可以从图形化编程开始,然后过渡到Python,最后尝试Rust。只需一根USB线和一台电脑就能开始创作,整个过程如同搭积木般直观。不过别担心,条条大路通Rust,使用本书学习Rust并不需要先掌握Python。
这个小设备的魅力在于它让学习充满乐趣。无论是制作闹钟还是测量房间温度,都能轻松实现。更棒的是,全球有众多同好在分享创意,让你在学习路上永不孤单。
当然,micro:bit也有其限制:它不能运行复杂程序,也不适合工业应用。不过,这反而成了它适合初学者的优点------简单的功能让人能专注于创造的快乐。而且,它的价格也很亲民,在网上买一块的花费,也就相当于两三杯咖啡。
因此,无论你是正在学习编程的学生、想带孩子体验创造乐趣的家长,还是希望尝试开发简单智能设备的爱好者,micro:bit都是理想选择。它就像一把开启创意世界的钥匙,轻轻一转,便能带你进入奇妙的编程世界。
此外,你还需要一根普通的USB micro数据线,用于连接计算机USB接口和micro:bit v2的USB接口。购买micro:bit v2时通常会附赠这根数据线。
新购买的micro:bit v2开发板通常都能正常工作,不过做个测试会更让人安心。幸运的是,测试过程非常简单,因为测试代码已经准备好了,无需自己编写。
✅如何验证新购买的micro:bit能正常工作?
可以访问micro:bit官方在线编辑器编写Python代码,然后一键将程序**烧录(flash)**到开发板。通过让micro:bit v2的LED灯闪烁、显示爱心图案并显示"Hello"问候语,就能验证开发板是否正常工作。
🔎烧录是指将编译好的程序写入嵌入式设备(如开发板或单片机)的存储器(通常是闪存 Flash)中的过程。这就像往 U 盘里拷贝文件一样,通过工具将程序传输到设备中,设备随后会按照程序的指令运行。
烧录这个名字来源于闪存存储器(Flash Memory)的工作原理。Flash 是一种非易失性存储器,即使断电也能保存数据。写入数据时,存储器单元会经历电流加热和数据写入的过程,类似于"烧写"。在早期的嵌入式开发中,存储器写入过程较为复杂,使用电流"擦除"数据的阶段像是用火"烧"掉旧数据,因此被称为"烧录"或"烧写"。尽管现代工具已让这个过程变得简单,但这个名称仍在沿用。
为什么嵌入式开发需要烧录?这是因为嵌入式设备不同于普通电脑,没有硬盘或操作系统。程序必须写入设备的闪存中,这样设备启动时才能运行代码。简单来说,烧录就是"给设备安装软件"的过程。
⚠️ 我烧录好一块开发板,拔下USB线断电后,下次还需要再次烧录才能让LED灯重新闪烁吗?不需要。程序一旦烧录就会保存在 micro:bit v2 的非易失性存储器(Flash 存储器)中,即使断电也不会丢失。只要接入电源(可以是电脑、充电器或插线板的 USB 接口),程序就会自动运行,无需重新连接计算机。另外,你也可以用电池盒给 micro:bit 供电。
🔎micro:bit v2 不像传统设备那样运行操作系统------如 Linux 或 RTOS( Real-Time Operating System,实时操作系统),而是让烧录的程序直接在硬件上运行。当使用 MicroPython 编程时,开发板会包含一个 MicroPython 解释器,这是一个精简的运行时环境。而使用 Rust 或其他语言编译的固件(firmware)则是板上唯一的软件系统。固件是一种特殊的程序,它直接嵌入硬件设备中,负责控制基本硬件操作,并充当设备与其他软件系统之间的桥梁。固件存储在设备的非易失性存储器(如 Flash 存储器)中,断电后不会丢失。作为"嵌入式"软件,固件的更新频率较低,一般不需要像通常意义上的软件那样经常更改。
1.2.3 安装软件
要点亮第一个LED灯,还需要在终端(terminal)里运行命令。终端是程序员最常用的工具,但编程新手往往很少接触,甚至从未打开过。许多新手担心自己记不住各种命令,看到终端里的错误提示就头疼。其实,即使专业程序员也不会记住所有命令,他们只是善于使用终端工具来查找所需的命令(本书后面会详细介绍)。遇到看不懂的错误提示也不必气馁,这往往是因为提示信息本身写得不够清晰。值得一提的是,Rust在这方面做得特别好,它的错误提示比其他编程语言更容易理解,这一点我们稍后就能体会到。
秉持"学一点用一点"的原则,我会从操作系统自带的软件讲起,随着内容深入再逐步介绍其他需要安装的软件。下面列出我点亮第一个LED灯所用的命令行shell(这是一种与计算机"对话"的软件工具,就像计算机的外壳,让你能通过输入文字命令来执行特定任务,而不是点击图标)终端的版本(这不是最低要求版本)。如果你的软件版本与表中不同,可以先按照本书操作试试看,一般都不会有问题。遇到问题时,你可以寻求AI助手帮助。详见表1-1:
表1-1 点亮第一个LED灯所用的命令行shell终端的版本号
计算机操作系统 | Ubuntu 24.04.1 LTS | macOS Sequoia 15.1.1 | Windows 11 Pro 23H2 |
---|---|---|---|
命令行shell终端 | 5.2.21(1)-release (x86_64-pc-linux-gnu) # 查看shell类型 echo $SHELL # 如何查看版本号 按窗口键 → 搜"Terminal" → 点击Terminal打开 → 输入命令bash --version |
zsh 5.9 (arm-apple-darwin22.1.0) # 查看shell类型 echo $SHELL # 如何查看版本号 按Command + 空格键打开spotlight → 搜"Terminal" → 点击Terminal打开 → 输入命令zsh --version |
cmd (Command Prompt) 10.0.22631.4541 # 如何查看版本号 屏幕底部任务条→Search框→搜"command prompt" → 打开command prompt → 输入命令ver |
✅根据表1-1中的提示,请打开终端窗口,并输入对应你操作系统的命令来查看命令行shell版本号,以验证shell是否正常工作。
安装Rust
要编写Rust代码点亮第一个LED灯,当然需要安装Rust。Rust是一种现代系统编程语言,以性能和内存安全著称。它通过独特的所有权机制防止内存错误,实现"无畏并发"和高效可靠的软件开发。2003年的SQL Slammer蠕虫事件暴露了C/C++的内存安全问题,为Rust的诞生埋下伏笔。2006年,Graydon Hoare受电梯系统崩溃的启发,开始开发以内存安全为核心的Rust语言。2010年,Mozilla公司开始孵化Rust,语言逐渐成熟,并于2015年发布1.0版本,开启了追求高性能与内存安全并重的新篇章。Rust独特的设计深受开发者欢迎,连续九年在StackOverflow最受喜爱编程语言评选中位居榜首。随着亚马逊、谷歌、Facebook和微软等科技巨头的广泛采用,Rust不仅撼动了C/C++的地位,还通过参与Linux内核开发和突破行业标准,成为新时代安全编程的典范。
✅要运行本书的代码,你需要先安装Rust工具链。请按照表1-2的说明来安装(如果英文网页难以阅读,建议安装浏览器翻译插件,我使用的是Immersive Translate):
表1-2 Rust安装要点
计算机操作系统 | Ubuntu 24.04.1 LTS | macOS Sequoia 15.1.1 | Windows 11 Pro 23H2 |
---|---|---|---|
Rust安装要点 | # 查看rust编译器版本(检查是否已安装) rustc --version # 安装rust (请参考Rust官网安装页面) # 参考网页 <www.rust-lang.org/tools/insta...> # 列出已安装的工具链 rustup toolchain list rustup show # 若很久前已安装则可升级工具链 和 rustup本身 rustup update |
(同左) | # 在rust官网下载页面下载 rustup-init.exe,然后在文件管理器中用鼠标双击安装 # 参考网页 <www.rust-lang.org/tools/insta...> |
✅安装完成后,打开终端,运行以下命令验证安装是否成功:
css
rustc --version
如果显示类似下面的Rust编译器版本号,则表明Rust工具链安装成功。
scss
rustc 1.82.0 (f6e511eec 2024-10-15)
我在点亮第一个LED灯所用的Rust版本号如表1-3所示。
表1-3 点亮第一个LED灯所用的Rust版本号
计算机操作系统 | Ubuntu 24.04.1 LTS | macOS Sequoia 15.1.1 | Windows 11 Pro 23H2 |
---|---|---|---|
Rust | rustc: 1.82.0 (f6e511eec 2024-10-15) | rustc: 1.82.0 (f6e511eec 2024-10-15) | rustc: 1.82.0 (f6e511eec 2024-10-15) |
1.2.4 Rust能工作吗
在开始编写Rust代码点亮LED灯之前,我们需要先验证Rust是否能正常工作。按照编程界的传统惯例,让我们从编写一个Rust版的"Hello, world!"程序开始。不过,你可能会问:"Hello, world!"究竟是什么?
"Hello, world!"是程序员学习新编程语言时编写的第一个程序。这个简单的程序就像向编程世界挥手致意的第一声问候。虽然它只在屏幕上显示一行问候语,却能帮助我们验证开发环境是否正常工作,同时让我们初步了解编程语言的基本语法。
这个传统有着有趣的历史渊源。在1970年代,计算机科学先驱布莱恩·柯尼汉(Brian Kernighan)和丹尼斯·里奇(Dennis Ritchie)在他们的著作《The C Programming Language》中首次引入了这个示例。从那时起,这个简单的程序就像一颗种子,在编程世界生根发芽,成为了每位程序员学习新语言时的必经之路。
"Hello, world!"之所以广受欢迎,不仅因为它简单易懂,更因为它传递着积极向上的信息------就像踏上新旅程时的第一声问候,充满希望和期待。
在50年前,编写"Hello, world!"需要打开编辑器,一个字符一个字符地敲入代码。而在今天工具链发达的时代,我们可以让工具帮我们完成这项工作。
✅要验证Rust能否正常工作,请打开终端,进入你的用户主目录(通常只需在终端中输入cd
命令即可进入)。然后运行以下命令,让Cargo为我们创建一个"Hello, world!"程序(注意:以#
开头的是注释行,用于说明命令的用途,无需输入这些注释):
bash
# 进入用户主目录
cd
# 创建名为hello-world的新项目
cargo new hello-world
这个命令会创建一个包含"Hello, world!"程序的Rust新项目,为你开启编程之旅。
✅让我们运行以下命令来查看源代码目录结构:
bash
# 进入hello-world文件夹
cd hello-world
# 在Linux或macOS的终端里查看源代码目录结构,
# -a表示列出所有文件和文件夹(包括隐藏的)
tree -a
# 在Windows的cmd里查看源代码目录结构
tree /F
这个Rust新项目的目录结构如下所示:
css
.
├── .git
(其他行略)
├── .gitignore
├── Cargo.lock
├── Cargo.toml
└── src
└── main.rs
11 directories, 9 files
在本章中,我们只需要关注目录结构中的main.rs文件。如果你回答不了下面带🧠图标的问题,可以询问你喜欢的AI助手,以后不再赘述。
🧠 cargo new
命令所创建.git文件夹、.gitignore文件和Cargo.toml文件分别是作什么用的?
💡注意:.git
文件夹和.gitignore
文件都是隐藏的。在Linux或macOS终端中使用ls
命令,或在Windows cmd终端使用dir
命令时,默认不会显示它们。要查看这些隐藏文件,需要添加特定参数:Linux/macOS使用ls -lFa
,Windows使用dir /a
。
当你运行 cargo new
命令创建一个新的 Rust 项目时,src 文件夹会自动生成。这个文件夹的名字是 source 的缩写,表示"源代码"。所有与你的程序逻辑相关的代码都会存放在这个文件夹中。换句话说,这是你的项目的"大脑",所有的代码工作都会集中在这里完成。src 文件夹就像你的项目的"工作室",你的程序代码都在这里被设计和实现。
在 src 文件夹里会自动生成一个叫做 main.rs 的文件。这个文件是你的程序的"入口点",也就是程序开始运行时第一个执行的地方。
✅要想查看main.rs文件中的代码,可以在终端里继续运行下面的命令:
css
# 在Linux或macOS的终端里查看src目录下main.rs中的源代码
cat src/main.rs
# 在Windows的cmd里查看src目录下main.rs中的源代码,
# 注意cmd中要用反斜线
type src\main.rs
main.rs里面包含一段默认代码。我在代码中添加了以//
开头的注释行来解释代码的作用。这些注释并非工具自动生成,添加与否不会影响程序的运行:
arduino
// 定义一个主函数 `main`,这是 Rust 程序的入口点。
// 当你运行这个程序时,从这里开始执行代码。
fn main() {
// 使用 `println!` 宏在控制台输出一行文字。
// 这里输出的是 "Hello, world!"。
// 注意:`println!` 是一个宏(以 `!` 结尾),它和普通函数不同,
// 可以用来执行一些更复杂的代码生成。
println!("Hello, world!");
}
这段代码的意思是,当你运行程序时,屏幕上会打印出"Hello, world!"这句话。main.rs 文件是每个 Rust 项目必不可少的部分,如果没有它,程序就无法启动。main.rs 就像一本书的"目录"或"开头",告诉程序从哪里开始运行。
✅要运行这个程序,请在终端中继续执行以下命令:
arduino
cargo run
如果你能看到以下运行输出,那么恭喜你,你已经成功迈入Rust编程的世界!
Hello, world!
✅运行程序后,让我们再次执行tree
命令,看看项目目录结构发生了哪些变化:
csharp
.
├── .git
(其他行略)
├── .gitignore
├── Cargo.lock // 新增
├── Cargo.toml
├── src
│ └── main.rs
└── target // 新增
(其他行略)
└── debug
(其他行略)
21 directories, 36 files
运行程序后,项目的目录和文件数量明显增加了。在本章中,我们只需要关注新增的三个关键部分:Cargo.lock文件、target文件夹和target/debug文件夹。
🧠 运行cargo run
命令后新增的Cargo.lock文件、target文件夹和target/debug文件夹各自的用途是什么?
⚠️如果你想删除cargo run
命令产生的所有文件和文件夹,使项目回到初始状态后再重新运行,可以使用以下命令:
cargo clean
现在再次运行tree命令,检查一下目录结构是否已恢复到初始状态。
1.3 点亮左上角第一个LED灯
完成了Rust版的"Hello, world!"程序后,让我们正式踏入Rust嵌入式编程的世界------我们将编写一段Rust代码,点亮micro:bit v2背面5×5 LED点阵中左上角的第一个LED灯。
1.3.2 生成代码
如何编写点亮第一个LED灯的Rust代码呢?编写代码就像写文章一样------我们可以先参考他人的作品,然后加以修改,就能完成自己的作品。在这里,你不用到处找参考代码,因为我已经准备好了一份示例代码。
✅接下来,你只需要执行以下命令:先安装代码生成工具cargo-generate,然后用这个工具从我的GitHub模版代码仓库生成一份代码。有了这个基础,稍作修改就能完成你自己的程序了。
bash
# 安装cargo-generate代码生成工具
cargo install cargo-generate
# 根据我在GitHub上的模版代码生成一份新代码
cargo generate wubin28/rusty_mb2_template_light_up_microbit_board
# 当工具提示输入Project Name时,随便输入一个项目名即可,比如lu1l,表示Light Up 1st Led
# 进入这个新创建的项目目录
cd lu1l
1.3.3 编译代码
✅如果你只是想编写在自己电脑上运行的普通程序,而不是为micro:bit v2开发板编写嵌入式程序,那么生成代码后,可以直接用以下命令来编译(这会将你的代码转换成操作系统能理解的格式):
cargo build
⚠️但当我们运行上述编译命令来编译针对micro:bit v2的嵌入式Rust代码时,踩到了第一个坑。你会看到以下错误信息:
vbnet
$ cargo build
Locking 1 package to latest compatible version
Adding lu1l v0.1.0 (/home/<username>/lu1l)
Compiling semver-parser v0.7.0
(其他行略)
Compiling cortex-m-rt v0.7.5
error[E0463]: can't find crate for `core`
|
= note: the `thumbv7em-none-eabihf` target may not be installed
= help: consider downloading the target with `rustup target add thumbv7em-none-eabihf`
For more information about this error, try `rustc --explain E0463`.
error: could not compile `nb` (lib) due to 1 previous error
warning: build failed, waiting for other jobs to finish...
error: could not compile `critical-section` (lib) due to 1 previous error
这是我们首次遇到Rust编译器的报错信息。让我们看看这些信息是否容易理解。
错误信息显示"the thumbv7em-none-eabihf
target may not be installed",表示名为thumbv7em-none-eabihf
的目标平台尚未安装。编译器给出了一个友好的提示,建议运行rustup target add thumbv7em-none-eabihf
命令来安装。这里有几个问题值得思考:什么是目标平台?编译器是如何检测到thumbv7em-none-eabihf
未安装的?而且,thumbv7em-none-eabihf
这个特殊名称中的三个部分各自代表什么含义?
什么是目标平台?编译器如何知道 thumbv7em-none-eabihf 目标未安装?
当我们谈论目标平台时,实际上是在讨论程序将在哪里运行。就像一本书需要合适的书架,程序也需要合适的运行环境。这个环境主要包含两个关键部分:硬件架构和操作系统。硬件架构是计算机的"大脑"类型,可能是x86、ARM或其他类型;操作系统可以是我们熟悉的Windows、Linux、macOS,也可以是像micro:bit这样直接在硬件上运行、没有传统操作系统的特殊环境。
✅在这个项目中,.cargo/config.toml 文件的第2行明确指定了 thumbv7em-none-eabihf
作为目标平台。可以运行cat
(适用于Linux或macOS)或type
(适用于Windows)命令查看这个文件的内容:
ini
[build]
target = "thumbv7em-none-eabihf"
# 其他行略
上面这两行配置指定了全局编译目标为 thumbv7em-none-eabihf
。这告诉 cargo,所有构建操作(包括 cargo build 和 cargo run)都将针对这个目标平台进行。Rust 编译器会生成适配 ARM Cortex-M4 处理器内核的代码(该内核位于 micro:bit v2 开发板正面左侧的 Nordic nRF52833 微控制器芯片内,如图1-4所示),让程序直接运行在 micro:bit v2 的硬件上,而不是生成面向常规桌面平台的代码。最终生成的二进制文件会存放在 target/thumbv7em-none-eabihf/ 文件夹中。
图1-4 ARM Cortex-M4 处理器内核位于 micro:bit v2 开发板正面左侧的 Nordic nRF52833 微控制器芯片内
🔎micro:bit v2 开发板、Nordic nRF52833 微控制器(MCU,microcontroller unit)和 ARM Cortex-M4 处理器内核是如何组合在一起的?
micro:bit v2 是一款教育用微控制器开发板,其核心是 Nordic nRF52833 微控制器芯片。可以把Nordic nRF52833 微控制器比作micro:bit v2开发板的"大脑"。
Nordic nRF52833 微控制器是一款系统级芯片(SoC,System on Chip),由 Nordic Semiconductor 公司制造。它不仅集成了 ARM Cortex-M4 处理器核心作为其"大脑",还配备了蓝牙 5.0、2.4GHz 无线通信和 NFC 功能,并提供丰富的外设接口。
ARM Cortex-M4 是一款由全球领先的处理器架构设计公司 ARM 设计的 32 位微处理器核心,它具备硬件浮点运算单元(FPU,Floating-Point Unit)和 DSP 指令集,在 nRF52833 中以 64MHz 的频率运行。
这三者形成了一个层层嵌套的结构:micro:bit v2 开发板采用 Nordic nRF52833 作为主控芯片,而 nRF52833 内部则使用 ARM Cortex-M4 作为处理器核心。这种设计使 micro:bit v2 不仅具备强大的计算能力,还拥有现代化的无线通信功能。
thumbv7em-none-eabihf
这个目标平台名称中的各个部分代表什么含义?
thumbv7em-none-eabihf
这个目标三元组包含以下几个部分:
thumb
- 表示 ARM 的 Thumb 指令集,这是一套精简高效的指令系统。相比标准 ARM 指令,它体积更小、效率更高,特别适合嵌入式系统。v7em
- 指定 ARMv7E-M 架构,这是 ARM Cortex-M4 处理器内核使用的架构。none
- 表示程序将直接与硬件通信(裸机环境),不需要像 Windows 或手机那样的操作系统作为中介。eabi
- 即 Embedded Application Binary Interface(嵌入式应用二进制接口),它定义了程序与硬件和库交互的规则,包括函数调用和内存布局等。这个接口专为资源受限的嵌入式设备优化。hf
- 表示 Hardware Floating-point(硬件浮点运算支持),意味着处理器内置了专门的浮点运算单元,可以更快地处理小数计算。
简而言之,这个编译错误的原因很简单:我们试图为 micro:bit 的目标平台(即 thumbv7em-none-eabihf
)编译代码,但这个平台还未安装在我们的系统中。
✅既然我们已经理解了这个错误,接下来让我们运行以下命令来安装目标平台,这样编译器就能进行交叉编译(即在Linux、macOS或Windows上编译程序,使它能够在micro:bit v2开发板上运行的过程):
sql
rustup target add thumbv7em-none-eabihf
安装完后,还可以运行下面的命令列出所安装的目标平台:
css
rustup target list --installed
运行上面这行命令后会看到thumbv7em-none-eabihf
目标平台已经安装好了,如下所示:
sql
thumbv7em-none-eabihf
x86_64-unknown-linux-gnu
之后,就可以再次运行编译构建命令:
cargo build
如果你看到命令输出的最后一行像下面这样,就表示编译成功了:
scss
Finished `dev` profile [unoptimized + debuginfo] target(s) in 20.29s
1.3.4 运行代码
✅此时可以运行下面的命令来运行代码:
arduino
cargo run
上面这个运行代码的命令会先"构建"程序(等同于 cargo build
),然后"运行"它。对于 micro:bit v2,运行程序比在普通计算机上更复杂,因为需要通过调试工具(如 J-Link 或 probe-rs 的 cargo-embed 插件)将生成的程序文件烧录(flash)到 micro:bit v2 的存储器中。
⚠️果然不出所料,当要向micro:bit v2开发板烧录程序时,下面的错误信息表示我们踩到了新坑:
lua
$ cargo run
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.03s
Running `probe-rs run --chip nRF52833_xxAA target/thumbv7em-none-eabihf/debug/lu1l`
error: could not execute process `probe-rs run --chip nRF52833_xxAA target/thumbv7em-none-eabihf/debug/lu1l` (never executed)
Caused by:
No such file or directory (os error 2)
这段错误信息包含两个关键部分:error(错误)和 caused by(原因)。简单来说,系统在尝试执行 probe-rs run --chip nRF52833_xxAA
命令时,找不到所需的文件或目录,导致无法运行。这通常意味着 probe-rs run
命令的相关文件缺失、路径有误,或者工具未正确安装。这个错误引发了几个值得思考的问题:当我们执行 cargo run
时,Rust工具链是如何知道要运行 probe-rs run --chip nRF52833_xxAA
命令的?probe-rs run
命令具体是什么?nRF52833_xxAA
又表示什么?既然编译时使用的是 thumbv7em-none-eabihf
目标平台,为什么运行时会用到 nRF52833_xxAA
呢?
当我们执行 cargo run
时,Rust工具链是如何知道要运行 probe-rs run --chip nRF52833_xxAA
命令的?
在 .cargo/config.toml 文件中设置 runner 为 probe-rs run
后,cargo run
会自动调用 probe-rs run
。让我们再看看这个文件的内容:
ini
# 其他行略
[target.thumbv7em-none-eabihf]
runner = "probe-rs run --chip nRF52833_xxAA"
# 其他行略
这两行配置指定了运行 cargo run
时要使用的命令。runner
是 Cargo 的内置配置选项,用于告诉工具链如何运行目标二进制文件。--chip
参数指定目标 MCU 的芯片型号,让 probe-rs 工具能正确识别并与硬件设备交互。运行 cargo run
时,Cargo 不会直接运行生成的二进制文件,而是调用指定的 runner 命令。在这里,probe-rs run --chip nRF52833_xxAA
作为 runner,负责将程序烧录到 nRF52833 芯片中并运行。
probe-rs run
命令具体是什么?
probe-rs run
是由 probe-rs 工具提供的命令,用于将编译好的程序烧录到嵌入式设备(如 micro:bit v2)的存储器中并运行程序。它可以替代专有工具(如 J-Link)来烧录和调试程序。
probe-rs 是一个用 Rust 编写的开源工具,为嵌入式开发者提供跨平台、开源、易用的烧录和调试解决方案。它支持多种调试探针(debug probes),如 CMSIS-DAP 和 J-Link,并兼容众多嵌入式芯片和开发板。
probe-rs 支持 Linux、macOS 和 Windows 等主流操作系统。它在 GitHub 上开源,开发者可以自由修改和扩展。它追求简单易用,避免了专有工具的复杂配置和生态锁定。它与 Rust 嵌入式生态深度集成,支持 SWD 和 JTAG 调试接口,兼容 STM32、nRF52 等多种 MCU。开发者可以通过 probe-rs run 或 cargo-embed 烧录代码,也可以用 probe-rs debug 或 IDE 集成进行调试。
probe-rs 由 Rust 嵌入式开发者社区发起,旨在为开源生态提供一个替代专有工具的解决方案。不同于需要商业授权的 J-Link,probe-rs 的开放性获得了开源社区的广泛支持。
🔎J-Link 是 SEGGER 公司开发的专有调试工具,在嵌入式开发领域广受欢迎。SEGGER 专注于嵌入式开发工具和软件,其产品广泛应用于工业和消费电子领域。许多 MCU 厂商都推荐使用 J-Link 作为官方调试工具。
J-Link 通过 SWD 或 JTAG 接口与嵌入式设备连接,用于程序烧录、调试和跟踪。作为一款硬件调试探针,它需要配合 SEGGER 公司的软件(如 J-Link Commander 和 Ozone)使用。它具有极快的烧录速度和低延迟调试特性,支持几乎所有主流 MCU 平台(如 STM32、nRF、NXP 系列),特别适合专业开发场景。作为嵌入式开发中的标准调试工具,J-Link 支持实时跟踪(RTT)和性能分析等高级功能。
J-Link 的软件和协议都是闭源的,开发者必须遵守严格的授权条款。其专业版需要付费,免费版本的部分功能受到限制。
nRF52833_xxAA
又表示什么?
nRF52833_xxAA 是目标MCU的具体型号。前面讲过,micro:bit v2开发板的"大脑"就是Nordic nRF52833 微控制器。后缀 _xxAA通常用于指定芯片的封装和版本:
- xx - 未特别指定的通用芯片版本。
- AA - 代表特定封装类型(如引脚数或尺寸)。
nRF52833_xxAA
是--chip
参数的值。probe-rs 通过 --chip
参数识别目标芯片,以加载相应的芯片配置(如寄存器布局、闪存地址等)。
既然编译时使用的是 thumbv7em-none-eabihf
目标平台,为什么运行时会用到 nRF52833_xxAA
呢?
这是因为编译目标平台和运行目标芯片是两个截然不同的概念。
编译目标平台(thumbv7em-none-eabihf
)指定了代码编译时的架构规范,确保生成的二进制文件(如 ELF 文件)能在所有支持 ARM Cortex-M4 的芯片上运行。
运行目标芯片(nRF52833_xxAA
)则指定了运行时所需的具体硬件特性,包括闪存和 RAM 的地址范围、外设配置和寄存器布局等。这些硬件细节与特定芯片型号紧密相关,probe-rs 需要通过 --chip
参数加载对应的 nRF52833 配置文件。
✅搞明白了错误信息,我们来解决这个问题。既然错误提示无法运行 probe-rs,不妨先用以下命令检查它的版本号:
css
probe-rs --version
运行结果和上面的错误一样,显示"No such file or directory"。这说明我们还没有安装 probe-rs 这个开源工具。我在其官网上找到了几种安装方法。我倾向于使用包管理器来安装,因为包管理器不仅能处理安装,还能方便地进行包的查询、升级和卸载。相比直接用脚本安装,这种方式在管理软件包的整个生命周期时更加便利。
✅现在让我们运行以下命令来安装 probe-rs 工具:
bash
# 对于Linux或Windows
cargo install cargo-binstall
cargo binstall probe-rs-tools
# 对于macOS
brew tap probe-rs/probe-rs
安装完probe-rs工具后,再次尝试往micro:bit v2开发板上烧录程序(注意:在Windows上运行可能会报错,见后文):
arduino
cargo run
⚠️如果你在 Windows 的命令提示符(cmd)中运行上述命令,可能会看到如下错误信息:
arduino
>cargo run
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.05s
Running `probe-rs run --chip nRF52833_xxAA target\thumbv7em-none-eabihf\debug\lu1l`
Error: 2 probes were found:
1. BBC micro:bit CMSIS-DAP -- 0d28:0204:99063602000528208AFB07ACC9703335000000006E052820 (CMSIS-DAP)
2. CMSIS-DAP v1 -- 0d28:0204:99063602000528208afb07acc9703335000000006e052820 (CMSIS-DAP)
error: process didn't exit successfully: `probe-rs run --chip nRF52833_xxAA target\thumbv7em-none-eabihf\debug\lu1l` (exit code: 1)
此时只需在cargo run命令后添加-- --probe
参数,其参数值为上述错误信息中"BBC micro:bit"那行后面的设备识别码即可:
arduino
cargo run -- --probe 0d28:0204:99063602000528208AFB07ACC9703335000000006E052820
如果运行成功,你会看到类似下面的输出:
ruby
$ cargo run
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.04s
Running `probe-rs run --chip nRF52833_xxAA target/thumbv7em-none-eabihf/debug/lu1l`
WARN probe_rs::util::rtt: No RTT header info was present in the ELF file. Does your firmware run RTT?
Erasing ✔ [00:00:00] [##################] 20.00 KiB/20.00 KiB @ 35.03 KiB/s (eta 0s )
Programming ✔ [00:00:01] [##################] 20.00 KiB/20.00 KiB @ 18.59 KiB/s (eta 0s ) Finished in 1.677s
成功了!第一个LED灯终于亮了!如图1-5所示:
图1-5 点亮了第一个LED灯!
等等,我们之前不是想要点亮5×5 LED点阵左上角的第1行第1列的灯吗?怎么反而是第4行第4列的灯亮了?让我们来看看src/main.rs的代码(注意代码中以//
开头的是我添加的解释性注释):
scss
// 其他行略
// 程序入口点
#[entry]
fn main() -> ! { // 返回 ! 表示这是一个不返回的函数
// 其他行略
// 设置 LED 矩阵的第4列为低电平
board.display_pins.col4.set_low().unwrap();
// 设置 LED 矩阵的第4行为高电平
board.display_pins.row4.set_high().unwrap();
// 无限循环保持程序运行
loop {}
}
🧠从代码可以看出,程序点亮的是第4行第4列的LED灯。你知道如何修改代码来点亮第1行第1列的灯吗?不妨动手试试看。
💡打开你常用的编辑器,将代码中的col4
和row4
分别改为col1
和row1
,保存后运行cargo run
命令。如果你还没有安装VS Code编辑器(我们稍后会介绍),也可以通过文件管理器来修改------只需右击main.rs文件,选择"编辑"即可。不同操作系统的文件管理工具如表1-4所示:
表1-4 不同操作系统的文件管理工具
计算机操作系统 | Ubuntu 24.04.1 LTS | macOS Sequoia 15.1.1 | Windows 11 Pro 23H2 |
---|---|---|---|
文件管理工具 | Files | Finder | File Explorer |
由于代码结尾有一个无限循环来保持LED灯持续点亮,如果要退出程序,只需在终端按Ctrl+C即可。不过请注意,即使退出了终端程序,已经烧录到开发板上的程序仍会继续运行,LED灯会保持点亮状态。
这个项目的源代码包含哪4个关键类型?我们该如何理解这些源代码?每类源文件都有什么独特之处?作为嵌入式开发,main.rs入口文件又有什么特别之处?想要了解这些精彩内容,请继续关注"🦀 新手必看!零基础也能用Rust点亮LED,入门嵌入式开发(下)"。
如果喜欢这篇文章,别忘了给文章点个"赞" ,好鼓励小吾继续写哦~😃