第 10 章 枚举与模式
吉姆•布兰迪
在计算机领域，总和类型（sum type）长期悲剧性缺位，很多事情却依然行得通，这简直不可思议（参见 Lambda 的缺位）。
——Graydon Hoare
本章的第一个主题强劲有力且非常“古老”，它能帮助你在短期内完成很多事（但要付出一定代价），并且许多文化中有关于它的传说。我要说的不是“恶魔”，而是一种用户定义数据类型，长期以来被 ML 社区和 Haskell 社区的黑客们称为总和类型、可区分的联合体（union）或代数数据类型。在 Rust 中，它们被称为枚举。与“恶魔”不同，它们相当安全，而且也不用付出多少代价。
C++ 和 C# 都有枚举，你可以使用它们来定义自己的类型，其值是一组命名常量。例如，你可以定义一个名为 Color 的类型，其值为 Red、Orange、Yellow 等。这种枚举也适用于 Rust，但是 Rust 的枚举远不止于此。Rust 枚举还可以包含数据，甚至是不同类型的数据。例如，Rust 的 Result<String, io::Error> 类型就是一个枚举，这样的值要么是包含 String 型的 Ok 值，要么是包含 io::Error 的 Err 值。C++ 枚举和 C# 枚举则不具备这样的能力。Rust 枚举更像是 C 的联合体，但不同之处在于它是类型安全的。
公开
同步至部落
取消
完成
0/2000
荧光笔
直线
曲线笔记
复制
AI
- 深入了解
- 翻译
- 解释
- 总结
Rust中的枚举和模式是该编程语言的重要特性之一。枚举提供了定义自定义类型的灵活方式，而模式匹配允许开发者对不同的枚举值进行处理。本文详细介绍了枚举和模式的基本概念，包括枚举的声明、构造器的使用以及内存中的存储方式，以及带数据的枚举的使用方法，包括元组型变体和结构体型变体。此外，还讨论了Rust模式的特点，包括模式匹配的使用以及模式中的引用、移动和条件等内容。通过对枚举和模式的基础知识的介绍，读者可以全面了解Rust中这一重要特性，并学习如何在实际编程中应用它们。文章还展示了枚举在表示富数据结构和泛型枚举方面的应用，以及与其他编程语言相比，Rust在构建数据结构时的简洁性和高效性。总的来说，本文为读者提供了对Rust中枚举和模式的深入了解，以及如何在实际编程中应用它们的指导。文章还介绍了模式匹配的特性，包括匹配守卫、匹配多种可能性和使用@模式绑定等内容，为读者提供了全面的技术视角。文章内容丰富，对于想要深入了解Rust编程语言的读者来说，是一篇值得阅读的技术文章。
仅可试看部分内容，如需阅读全部内容，请付费购买文章所属专栏
《Rust 程序设计（第 2 版）》
《Rust 程序设计（第 2 版）》
立即购买
登录 后留言
精选留言
由作者筛选后的优质留言将会公开显示，欢迎踊跃留言。
收起评论
