动机

一门优秀的编程语言, 除了要有基本的语言规范之外, 还要有高质量的标准库作支撑. Rust 提供了一套标准库, 目的就是拓宽 Rust 的生态. 标准库提供了常用的核心类型, 集合, 多线程, 宏等工具, 从而方便地使用 Rust 进行开发.

结构

标准库包含 4 大组成部分: 基本类型, 常用模块, 标准宏, 关键字. 其中的基本类型, 虽然被称为 ” 基本类型 ”, 但仍然属于 Rust 类型系统, 与自定义类型并无本质差别. 标准库提供了很多模块, 其中有些模块是基本类型的伴生模块, 它们与基本类型有着相同的名称, 通常包含一些对应基本类型相关的辅助功能, 如关键的特殊值, 常用工具方法等. 另外还包含了一些常用的集合类, 以及平台相关抽象和 I /O.

标准库定义了 prelude, 其中大部分是非常常用的 trait, 初学者可以从这些核心 trait 开始学起.

如何看文档

学习标准库文档, 乃至学习任何资料, 我认为核心就是掌握 动机 和结构. 掌握标准库的动机, 就是要搞清楚两件事: 了解各个模块要解决什么问题, 理解模块解决这个问题的思路, 一定要带着问题去阅读文档. 标准库的结构, 浏览一下就会发现, 大部分的模块都包含这 5 个部分: 基本概念, 实现的方法, 实现的 trait, auto trait (Rust 语言为该类型实现的 trait), blanket trait (该类型由于满足 trait 限定而实现的 trait).

掌握了动机和结构, 如有需要就可以进一步深入源码去学习标准库了. 这一步的关键是结合 Rust 的编程思想, 思考 Rust 与其他语言标准库的共性和特性, 可能涉及到的知识点包括: 面向对象, 泛型, trait, 所有权, 生命周期, unsafe, 等等等等.

附上我的思维导图一张, 供参考和讨论.

参考资料

• https://doc.rust-lang.org/sta…