cargo careful:为你的代码提供更多安全保证
您是否知道标准库充满了用户永远看不到的有用检查?标准库中有很多断言,它们会做一些事情,比如检查 char::from_u32_unchecked
必须针对一个有效的 char、CStr::from_bytes_with_nul_unchecked
只能在没有内部 null 字节的情况下调用,copy
或者 copy_nonoverlapping
必须针对内存布局对齐的非 null 指针(非重叠)。但是,由 rustup 分发的常规标准库是在没有调试断言的情况下编译的,因此用户很难从这些额外检查中受益。
cargo careful 就是为了弥补这个差距,它在第一次调用时,会从源代码构建一个带有调试断言的标准库,然后使用该标准库运行您的程序或测试套件。
您可以通过 cargo install cargo-careful
快速安装,然后执行 cargo +nightly careful run/test
用于执行二进制 crate 或测试,并进行额外的调试检查。
需要注意的是,这自然会比常规调试或发布版本慢,但它比在 Miri 中执行程序要快得多,并且仍然有助于找到一些未定义的行为。当然,如果您想要更加彻底的检查,Miri 会是一个更好的选择,两者结合使用,体验更佳。
Axum 风格的函数参数示例
作者使用 Axum 时候,思考了这样一件事:Rust 是一个静态编译的语言,并且没有函数重载和可选参数这类特性,但是 Axum 中,get
函数却可以接收不同类型的函数指针,这是为什么呢?
let app = Router::new()
.route("/users", get(get_users))
.route("/products", get(get_product));
async fn get_users(Query(params): Query<Params>) -> impl IntoResponse {
let users = /* ... */
Json(users)
}
async fn get_product(State(db): State<Db>, Json(payload): Json<Payload>) -> String {
let product = /* ... */
product.to_string()
}
作者创建了一个仓库,动手实践,详细解释了其中的奥秘。
值得一提的是,Axum 当时也参考了 bevy 的 query system 设计,感兴趣的小伙伴不妨来学习一下。
编译器优化的思考
Rust 编译器背后为我们做了很多优化,但是,如果让你来实现,你会如何下手呢?典型的思路可能是:
- 找到可以应用特定优化方法的场景
- 通过分析,找到这种场景
- 应用你的优化方法
如果将很多编译优化方法结合起来,编译器的性能就能提升一大截。但是,这也绝非易事,在一个场景下实现编译优化,所要考虑的因素和需要的信息,远比你想象的要多。
本文的作者就通过几个例子,解释了他对于编译优化背后的思考,相信你耐心看完,肯定有不少收获。
-- From 日报小组 RustPlumber
社区学习交流平台订阅:
评论区
写评论Axum 风格的函数参数示例延伸
《Axum 风格的函数参数示例》充分展示了Rust的魔力,在Rust世界,一切皆对象,函数也是对象,对函数可以编写trait来扩展其功能。为便于操作github环境速度慢的学友阅读源代码,这里将原作者的代码适当修改贴出来供大家参考:
main.rs
magic.rs
运行结果: