From b530774d3a81d872a390aceaf55f364dab6f6111 Mon Sep 17 00:00:00 2001 From: Yang Jie Date: Thu, 10 Oct 2024 14:01:23 +0800 Subject: [PATCH] Update chapter_1.md MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 英文原文跟译文有差异，不知道是不是版本更新了。 --- src/chapter_1.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/chapter_1.md b/src/chapter_1.md index faa367f..5195425 100644 --- a/src/chapter_1.md +++ b/src/chapter_1.md @@ -4,9 +4,12 @@ 其中核心的一部分是 Rust 的枚举类型（`enum`），它比其他语言中的枚举类型具有更强的表达能力，并且允许使用[代数数据类型]。 -Rust 类型系统的另一个核心支柱是特征（`trait`）类型。特征大致等同于其他语言中的接口类型，但它们也与 Rust 的 _泛型_（[第12条]）相关联，允许在不产生运行时开销的情况下重用接口。 +本章的内容涵盖了 Rust 语言的基本类型，以及如何将它们组合成数据结构，来更精确地表达程序的语义。将行为编码到类型系统中的概念有助于减少检查和错误路径代码量。无效的状态会在编译时被编译工具链暴露出来，而不用等到程序运行时。 + +接下来还介绍了 Rust 标准库中提供的一些随处可见的数据类型： Option、Result 和 Iterator。熟练掌握这些标准工具可以帮助你写出简洁高效、符合Rust习惯的代码——尤其是问号操作符的使用，提供了非常简洁优雅且依然然类型安全的错误处理。 + +请注意，涉及 Rust 特性的内容将在下一章中介绍，但因为特性描述了类型的行为，因此与本章的内容有一定的重叠。 [OCaml]: https://ocaml.org/ [Haskell]: https://www.haskell.org/ [代数数据类型]: https://en.wikipedia.org/wiki/Algebraic_data_type -[第12条]: https://www.lurklurk.org/effective-rust/generics.html