在几个语言之间反复横跳后,主力基本落在Rust上了。留下我的不是什么花哨语法,是它所有权加借用检查那套机制,直接把内存安全摁在编译期解决。数据竞争、悬垂指针这类老问题,多半在 cargo check 时就被编译器挡在门外,全程不需要 GC 兜底,运行时该多快还是多快。
这点在性能敏感场景特别关键。零成本抽象听着像营销话术,实际用下来高层封装基本不在 runtime 额外收费,系统编程和 AI 推理那种吃算力的活都能扛。类型系统和模式匹配也到位,项目一大,重构时编译器就是一张安全网,它不报错,心里就有底。
学习曲线是另一回事,borrow checker 跟你较劲的日子不好过。但从某种角度看,那些别扭恰恰在替你挡 bug。你们用 Rust 踩过最深的坑是哪个?