Rust语言周刊精选全世界过去一周的优秀文章、新闻、开源项目和语言动态。
本周刊由 RustCn 社区倾情打造,其中, [Zh]
标识的中文资料由 Rust 翻译计划提供,并且原始的 Markdown 文档已全部开源,欢迎大家阅读和订阅。
RustCn:https://hirust.cn, 公众号: Rust语言中文网
1、cc 正式成为官方库: 将 C/C++ 代码编译成 Rust 代码
Rust 的生态环境正在快速发展中,但是就目前而言,我们依然需要经常去调用 C/C++ 代码,此时 cc 就成了必不可少的构建工具( 配合 build.rs )。
在之前的某期中,我们有提到该库的作者已经无力继续维护,原因是各种平台兼容的 PR 搞得他焦头烂额,因此希望找一个接盘侠,如果是普通的库就罢了,偏偏是这么重要的库、维护复杂度这么高的库,因此这件事变得异常棘手。
好在,在官方的协调和支持下,cc 最终转入了官方组织,并且在多个月后,重写开始合并 PR !
1、Fornjot 发布 0.6 版本:一个使用 Rust 编写的 CAD 应用
这个世界需要一个新的 CAD,嗯,不是我说的,是作者说的,虽然我对此表示怀疑 :D
总之,这个库是一个基于代码扩展的 CAD 应用,但是大家一定不要被 0.6 这个版本号所忽悠,它还很早期!例如它终于在新版本中支持 Z 轴非垂直方向的建模了:
Rust 的编译器这么强大,我们为什么还需要另一个非官方的编译检查工具?岂不是没事找事嘛?其实不然,毕竟,面对 unsafe 代码,传统的编译器依然有些有心无力,即使已经有了 mio。
而 kami 可以帮助我们检查代码的内存安全、用户定义的危险断言、panics、算术溢出等非预期行为,而且 kami 可以和我们的测试代码紧密结合,例如下面的一使用示例:
use my_crate::{function_under_test, meets_specification, precondition};
#[kani::proof]
fn check_my_property() {
// 创建一个非确定性的输入
let input = kani::any();
//根据函数的先决条件来限制它
kani::assume(precondition(input));
// 调用需要被验证的函数
let output = function_under_test(input);
// 检查它是否满足特性需求
assert!(meets_specification(input, output));
}
作为开发者而言,在测试环境伪造数据用于测试是一件头疼的事,而且还不能反映出真实世界的复杂性,出于自身的这个痛点,作者创建了 RepliByte。
它支持 Pg、Mysql、MongoDB 的数据备份和还原,还支持敏感数据替换、数据子集、传输过程中的数据压缩和加密等,最重要的:它是 Rust 写的,每次想起公司那个占用大量资源、基于 Java 的数据库同步中间件,我就...
### 列出所有备份
$ replibyte -c conf.yaml dump list
type name size when compressed encrypted
PostgreSQL dump-1647706359405 154MB Yesterday at 03:00 am true true
PostgreSQL dump-1647731334517 152MB 2 days ago at 03:00 am true true
PostgreSQL dump-1647734369306 149MB 3 days ago at 03:00 am true true
### 还原最新的备份到本地数据库中
$ replibyte -c conf.yaml dump restore local -v latest -i postgres -p 5432
### 还原最新的备份到远程数据库中
$ replibyte -c conf.yaml dump restore remote -v latest
4、Stretch: 一个高性能的基于 flexbox 的 UI 布局库
严格来说,该库是一个 fork 项目,之前的项目已经很久不再维护了,现在 Dioxus 扛起了大旗,目标是为跨平台的布局提供一个坚定的基石,尤其是移动端,未来还会提供除了 flexbox
外更多的布局方式。
项目目前处于初期阶段,主要是 Dioxus 和 BevyEngine 在参与,如果大家感兴趣,可以看看里面的 good first issue
。
1、[Zh] Rust 与 OpenCV
Rust非常优秀,但是与 C/C++ 等巨头相比,它在社区生态上还只是一头初生牛犊,因此我们经常需要去使用 C/C++ 编写的库。友情提示:在 Rust 中使用 OpenCV 是可行的,但是首先,你可能需要拥有足够的意志力来克服遇到的各种问题,毕竟,这是一条未知之路。
现代社会,每个大公司都想做一个大而全的产品,这样就可以行成更强的护城河,让竞争对手无路可走,然而这种产品会牺牲稳定性和可靠性。那么问题来了,对于编程语言而言,适合吗?
对于用户界面领域来说,Rust 语言提供了足够的吸引力,原因很简单,它能够同时交付安全性和性能。但是,如何找到一个好的 UI 架构,成为了相当大的挑战。
在其它语言适用的架构设计未必能很好的应用在 Rust 上,毕竟 Rust 的一些语言特性,学过的人都懂,一个自引用结构体都能整的人快乐无边 :P 基于此原因,一些人并不看好 Rust 在用户界面的未来,但是作者依然坚定的认为 Rust 就是未来。
他之前的尝试( 包括当前的 Druid 架构 !) 都存在或多或少的缺陷,因此在这篇文章中,他提出了一个全新的架构,非常值得一读!
在文章中,作者介绍了如何运用 Rust 的所有权机制和静态编译的特点实现一个有限状态机( FSM )。
5、算法面试很卷?
作者在找工作中,现在的大环境意味着算法成了绕不过去的坎。那到底是用更高级的代码卷起来,还是躺平使用简单的实现,文中给出了他的选择。
作者有一个 OpenWrt wifi 路由器,某一天无聊至极,盯着这个老朋友发呆ing,结果突发奇想,嘿,也许我可以在这上面运行个 Rust 项目。hello world
显然跟路由器八字不合,那就写一个 DNS 客户端吧。
众所周知,Rust 的泛型是零开销的,原因在于编译器会把泛型展开为一个个具体的类型,以二进制文件膨胀的代价来换取性能,这个做法没有任何问题。但是如果我们想要更加强大的泛型特性呢?文中针对这一点,给出了一些有价值的观点,值得一看!
可以说,每一个优秀的工程师,内心都有这样的梦想:使用技术创业,然后改变世界。就目前来看,Rust 拥有足够的吸引力,那我们是否可以选择 Rust 来作为初创公司的主要语言呢?
大家可能在想,分布式集群?难道不是在前面做一层负载均衡( nginx ),后面的集群就随便搞嘛?其实不是,你说的是无状态的分布式集群,这种集群的状态都存储在 redis、mysql 等数据库中,因此分布式很简单。
但是对于有状态的集群来说,分布式就变成了一个相当棘手且有挑战的问题,最基本的:如果让集群中的节点感知到其它节点,在本文中,你能获取到一些灵感和解决方案。