主要观点:大约 3 到 4 年前开始学习 Rust,目前深陷复杂 Rust 项目且常遇 Rust 编译器限制,借检查器虽在写正确代码时有用但实际使用很糟糕,编译时借检查器需整个函数或文件编译完才运行,导致常需重新架构程序,若不需要某些显式生命周期还得删除大量代码,最坏情况整个架构无法与借检查器配合,需用 Rc<>等,常量重构多年来是语言的主要减分项,要成为高效 Rust 程序员得记住借检查器规则,这很蠢,Rust 无法真正解决借检查问题,只能让其更强大或引入更强大 IDE 工具,类似 C++的未定义行为问题在 Rust 中也存在,这导致人们倾向用 C 语言的“简单”,Rust 因“安全 C++”更繁琐而“得逞”,任何 Rust 竞争者需注意让程序员为正确性做的权衡,不能仅发明能写可证明正确内核级代码的语言,还得易用,不能间接迫使程序员预测编译器行为。
关键信息:
- 学习 Rust 时间及目前项目情况。
- 借检查器的优缺点及带来的问题。
- 与 C++未定义行为问题的对比。
- Rust 目前无法解决的问题及可采取的措施。
- 对 Rust 竞争者的建议。
重要细节:
- 借检查器导致程序需重新架构的常见情况。
- 借检查器运行机制及对代码的影响。
- C++未定义行为的表现及后果。
- Rust 为解决问题可采取的具体方式。
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用。你还可以使用@来通知其他用户。