这个是我翻译《Effective Rust》书籍,我看过后觉得非常有用,所以翻译一下放CSDN上,望各位批评指正。
介绍
代码更像是你所说的'准则',而不是实际规则。-赫克托·巴博萨
Scott Meyers的原版《有效C++》一书非常成功,因为它引入了一种新风格的编程书籍,专注于从用C++创建软件的现实世界经验中学到的指南集。重要的是,这些指导方针是在它们必要的原因的背景下解释的——允许读者自己决定他们的特定场景是否需要违反规则。
《有效C++》第一版于1992年出版,当时C++虽然年轻,但已经是一种微妙的语言,包括许多脚枪;拥有不同特征的交互指南至关重要。
Rust也是一种年轻的语言,但与C++相比,它显然没有脚枪。其类型系统的强度和一致性意味着,如果Rust程序编译,它已经有相当大的机会发挥作用——这种现象以前只有在Haskell等更学术性、更易于访问的语言中才能观察到。
然而,这种安全性——无论是类型安全还是内存安全——确实有成本。Rust以拥有陡峭的坡道而闻名,新来者必须经历与借款检查员作斗争的入门仪式,重新设计他们的数据结构,并被终身困惑。编译的Rust程序可能很有可能正常工作,但即使有Rust编译器非常有用的错误诊断,编译它的困难也是真实的。
因此,这本书的针对水平与其他有效<语言>书籍略有不同;有更多项目涵盖了Rust的新概念,尽管官方文档已经包含了这些主题的良好介绍。这些物品有“理解...”和“熟悉...”等标题。
Rust的安全也导致完全没有标题为“Never...”的项目。如果你真的不应该做某事,编译器通常会阻止你这样做。
也就是说,文本仍然假设对语言基础知识有理解。它还假设了2018年版的Rust,使用稳定的工具链。
用于代码片段和错误消息的特定rustc
版本是1.60。Rust现在足够稳定(并有足够的向后兼容性保证),因此代码片段不太可能需要对后续版本进行更改,但错误消息可能因您的特定编译器版本而异。
该文本还对C++进行了一些引用和比较,因为这可能是最接近的等效语言(特别是C++11的移动语义),也是Rust新来者最有可能遇到的先前语言。
构成这本书的项目分为六个部分:
- 类型:围绕Rust的核心类型系统的建议。
- 概念:构成Rust设计的核心想法。
- 依赖项:使用Rust软件包生态系统的建议。
- 工具:关于如何通过超越Rust编译器来改进代码库的建议。
- 异步Rust:使用Rust
async
机制的建议。 - 超越标准Rust:当您必须在Rust标准、安全环境之外工作时的建议。
虽然“概念”部分可以说比“类型”部分更基本,但它被故意放在第二位,以便从头到尾阅读的读者可以首先建立一些信心。
以下标记从Rust Book中借用Ferris,用于识别某种方式不正确的代码。
Ferris | 代表意思 |
---|---|
此代码无法编译! | |
这个代码惊慌失措! | |
此代码块包含不安全的代码. | |
此代码不会产生所需的行为。 |