i6Q- 10 效果比较-代码量统计 11 Rust的语言特征 • 类型推断->现代语言标配 • 面向对象特性->OO风格开发内核是符合思 维习惯的 • 通过泛型实现高效多态 • 匿名函数->一部分的函数式特性 • 比C/C++ 更好的代码管理, 重用: cargo 和 crate • 干净宏->简化静态分析 12 RUST的安全哲学 • 尝试把系统正确性证明整合到语

的默认实现，这类似于子类覆盖从父类继承的方法实现。 第二个使用继承的原因与类型系统有关：表现为子类型可以用于父类型被使用的地方。这也被 称为 多态（polymorphism），这意味着如果多种对象共享特定的属性，则可以相互替代使用。 多态（Polymorphism） 很多人将多态描述为继承的同义词。不过它是一个有关可以用于多种类型的代码的更 广泛的概念。对于继承来说，这些类型通常是子类。 Rust 则通过泛型来对不同的可 活性。 438/600 Rust 程序设计语言 简体中文版 因为这些原因，Rust 选择了一个不同的途径，使用 trait 对象而不是继承。让我们看一下 trait 对象如何使 Rust 得以实现多态的。 439/600 Rust 程序设计语言 简体中文版 1 7 . 2 . 顾 及 不 同 类 型 值 的 t r a i t 对 象

0。但是我们依然可以针对这样的类型实现它的“成员 函数”。 4.1.3 结构体的方法 Rust 没有继承，它和 Golang 不约而同的选择了 trait(Golang 叫 Interface)作 为其实现多态的基础。 不同的是，golang 是匿名继承，rust 是显式继承。如果需要实现匿名继承的话， 可以通过隐藏实现类型可以由 generic 配合 trait 作出。 struct Person

summarize 的默 认实现，这类似于子类覆盖从父类继承方法的实现。 其二与类型系统有关：子类型可以用于父类型被使用的地方。这也被称为多态 （polymorphism）：如果多个对象共享某些特征，可以在运行时将它们互相替代。 多态（Polymorphism） 对很多人来说，多态性与继承同义。但它实际上是一个更广义的概念，指的是可以处 理多种类型数据的代码。对继承而言，这些类型通常是子类。 Rust 使用泛型来抽象不同可能的类型，并通过 用于子类而导致错误。此外，一些语言只允许单一继承（意味着子类只能从一个类继承），进 一步限制了程序设计的灵活性。 出于这些原因，Rust 使用 trait 对象而非继承。接下来我们会讨论 Rust 如何使用 trait 对象实 现多态性。 428/562Rust 程序设计语言 简体中文版 顾及不同类型值的 trait 对象 在第八章中，我们谈到了 vector 只能存储同种类型元素的局限性。示例 8-9 中提供了一个替 代方案，通过定义

程序中的单独执行顺序，支持并发执行。 • 线程安全（thread safety）： 一种程序属性，用于确保多线程环境中的行为正确无误。 • 特征（trait）： 用于定义未知类型的一系列方法，为在 Rust 中实现多态性提供了方法。 • 特征约束（trait bound）: 一种可以要求类型实现一些感兴趣的特性的抽象。 • 元组（tuple）： 包含不同类型变量的复合数据类型。元组的字段没有名称，需要通过序号访问。