【Rust日报】Rust不仅仅是内存安全

Rust不仅仅是内存安全

目前关于Rust的讨论大多集中在内存安全上，如何比C/C++/Zig/Go等语言更安全。虽然这是真的，但我认为语言的核心在于正确性。

正确性 vs 内存安全

在形式语言理论中，规则必须精确匹配想要包含在语言中的内容。如果语法规则允许未定义语义的词进入语言，那这就是个问题。 以C语言为例，当解引用NULL指针时，会发生未定义行为，而非直接报错。这是C语言的重大缺陷，因为未定义行为可能导致不可预测的结果。相比之下，Rust通过借用检查器（borrow checker），静态保证所有引用都指向有效内存，使得不可能构造出NULL引用的程序。

语言设计与实现

许多现代编程语言通过引入运行时异常系统来处理错误，但这仍然使代码难以推理。Rust语言的设计则是通过静态类型系统、Option类型替代NULL、Result类型处理错误等，确保程序更易于编写正确的软件。

Rust的优势

Rust的最大优势在于其专注于程序的正确性。即使不考虑内存安全，Rust也因为其设计的正确性而优于C，让程序更可靠。Rust不仅提供了高效、无垃圾回收的性能，还具备良好的开发体验，适用于编写异步和多线程程序。

结论

尽管Rust带来了许多附加的好处，比如高性能和良好的开发体验，但其核心价值在于帮助程序员编写更正确、更可靠的软件。通过Rust，我们可以迈向更高质量的软件工程。

原文链接 https://o-santi.github.io/blog/rust-is-not-about-memory-safety/

借用检查器

这篇文章提出了四步改进Rust借用检查器的路线图，旨在使其更加符合Rust的精神并扩大其适用范围。

1. 条件性返回引用：“Polonius” 使用Polonius算法解决当前借用检查器无法处理的条件性返回引用问题。
2. 基于位置的生命周期语法 引入基于位置表达式的显式生命周期语法，简化生命周期参数的使用，使代码更易于理解和学习。
3. 视图类型和跨过程借用 允许函数声明访问的字段，解决迭代对象内部多个字段时的借用冲突问题，并支持阶段性初始化结构体。 内部引用
4. 支持结构体字段引用其他字段的数据，简化数据管理模式，并提高代码的灵活性和可维护性。

这些改进将使Rust借用检查器更加智能和灵活，从而减少编程复杂度，增强Rust程序的可维护性和表达能力

原文链接 https://smallcultfollowing.com/babysteps/blog/2024/06/02/the-borrow-checker-within/

Rust实现云图

作者在浏览一个Discord服务器时，决定可视化每个用户的聊天记录，后来发现了Python的wordcloud包。因为对其工作原理感兴趣，并且刚开始学习Rust，所以作者用Rust重新实现了这个功能，命名为wcloud。

字云生成步骤

• 分词：使用正则表达式将文本分割成独立的单词。
• 计算词频：统计每个单词在文本中出现的频率。
• 布局单词：按频率大小放置单词，避免重叠。

关键技术点

• 处理大小写：合并不同大小写的词频，只保留最常见的格式。
• 随机放置：避免大词总是置于顶部，通过随机选择位置优化视觉效果。
• 掩模：使用掩模图像作为初始画布进行单词放置

img

原文链接 https://isaacdaou.st/blog/forming-clouds/

BugStalker: 现代调试器

BugStalker 是为Linux x86-64平台设计的现代调试器。使用Rust语言编写，专为Rust程序提供支持。

img

github 地址 https://github.com/godzie44/BugStalker

--

From 日报小组 BobQ, FBI小白