Rust编程之道 出版时间: 2019内容简介 Rust 是一门利用现代化的类型系统,有机地融合了内存管理、所有权语义和混合编程范式的编程语言。它不仅能科学地保证程序的正确性,还能保证内存安全和线程安全。同时,还有能与C/C++语言媲美的性能,以及能和动态语言媲美的开发效率。 《Rust编程之道》并非对语法内容进行简单罗列讲解,而是从四个维度深入全面且通透地介绍了Rust 语言。从设计哲学出发,探索Rust 语言的内在一致性;从源码分析入手,探索Rust 地道的编程风格;从工程角度着手,探索Rust 对健壮性的支持;从底层原理开始,探索Rust 内存安全的本质。 《Rust编程之道》涵盖了Rust 2018 的特性,适合有一定编程经验且想要学习Rust 的初学者,以及对Rust 有一定的了解,想要继续深入学习的进阶者。目录第1 章 新时代的语言 11.1 缘起 11.2 设计哲学 31.2.1 内存安全 31.2.2 零成本抽象 41.2.3 实用性 51.3 现状与未来 71.3.1 语言架构 81.3.2 开源社区 91.3.3 发展前景 91.4 Rust 代码如何执行 101.5 小结 10第2 章 语言精要 112.1 Rust 语言的基本构成 112.1.1 语言规范 112.1.2 编译器 122.1.3 核心库 122.1.4 标准库 122.1.5 包管理器 132.2 语句与表达式 132.3 变量与绑定 142.3.1 位置表达式和值表达式 152.3.2 不可变绑定与可变绑定 152.3.3 所有权与引用 162.4 函数与闭包 172.4.1 函数定义 172.4.2 作用域与生命周期 182.4.3 函数指针 192.4.5 CTFE 机制 202.4.6 闭包 202.5 流程控制 222.5.1 条件表达式 222.5.2 循环表达式 232.5.3 match 表达式与模式匹配 242.5.4 if let 和while let 表达式 252.6 基本数据类型 262.6.1 布尔类型 262.6.2 基本数字类型 262.6.3 字符类型 272.6.4 数组类型 282.6.5 范围类型 292.6.6 切片类型 292.6.7 str 字符串类型 302.6.8 原生指针 312.6.9 never 类型 312.7 复合数据类型 322.7.1 元组 322.7.2 结构体 332.7.3 枚举体 362.8 常用集合类型 382.8.1 线性序列:向量 382.8.2 线性序列:双端队列 392.8.3 线性序列:链表 402.8.4 Key-Value 映射表:HashMap 和BTreeMap 402.8.5 集合:HashSet 和BTreeSet 412.8.6 优先队列:BinaryHeap 422.9 智能指针 422.10 泛型和trait 432.10.1 泛型 432.10.2 trait 442.11 错误处理 472.12 表达式优先级 482.13 注释与打印 482.14 小结 50第3 章 类型系统 513.1 通用概念 513.1.1 类型系统的作用 513.1.2 类型系统的分类 523.1.3 类型系统与多态性 533.2 Rust 类型系统概述 533.2.1 类型大小 533.2.2 类型推导 583.3 泛型 603.3.1 泛型函数 603.3.2 泛型返回值自动推导 623.4 深入trait 623.4.1 接口抽象 633.4.2 泛型约束 693.4.3 抽象类型 713.4.4 标签trait 773.5 类型转换 833.5.1 Deref 解引用 833.5.2 as 操作符 863.5.3 From 和Into 883.6 当前trait 系统的不足 893.6.1 孤儿规则的局限性 903.6.2 代码复用的效率不高 913.6.3 抽象表达能力有待改进 933.7 小结 94第4 章 内存管理 954.1 通用概念 954.1.1 栈 964.1.2 堆 994.1.3 内存布局 1014.2 Rust 中的资源管理 1034.2.1 变量和函数 1034.2.2 智能指针与RAII 1064.2.3 内存泄漏与内存安全 1104.2.4 复合类型的内存分配和布局 1154.3 小结 117第5 章 所有权系统 1195.1 通用概念 1205.2 所有权机制 1235.3 绑定、作用域和生命周期 1255.3.1 不可变与可变 1265.3.2 绑定的时间属性——生命周期 1275.4 所有权借用 1315.5 生命周期参数 1355.5.1 显式生命周期参数 1365.5.2 省略生命周期参数 1435.5.3 生命周期限定 1455.5.4 trait 对象的生命周期 1455.6 智能指针与所有权 1465.6.1 共享所有权 Rc和Weak 149 5.6.2 内部可变性Cell和RefCell 151 5.6.3 写时复制Cow 153 5.7 并发安全与所有权 1565.8 非词法作用域生命周期 1575.9 小结 161第6 章 函数、闭包与迭代器 1626.1 函数 1626.1.1 函数屏蔽 1646.1.2 函数参数模式匹配 1646.1.3 函数返回值 1656.1.4 泛型函数 1666.1.5 方法与函数 1676.1.6 高阶函数 1686.2 闭包 1716.2.1 闭包的基本语法 1726.2.2 闭包的实现 1736.2.3 闭包与所有权 1786.2.4 闭包作为函数参数和返回值 1846.2.5 高阶生命周期 1906.3 迭代器 1946.3.1 外部迭代器和内部迭代器 1946.3.2 Iterator trait 1956.3.3 IntoIterator trait 和迭代器 1996.3.4 迭代器适配器 2026.3.5 消费器 2076.3.6 自定义迭代器适配器 2116.4 小结 214第7 章 结构化编程 2167.1 面向对象风格编程 2177.1.1 结构体 2177.1.2 枚举体 2257.1.3 析构顺序 2307.2 常用设计模式 2337.2.1 建造者模式 2347.2.2 访问者模式 2367.2.3 RAII 模式 2397.3 小结 243第8 章 字符串与集合类型 2448.1 字符串 2448.1.1 字符编码 2448.1.2 字符 2478.1.3 字符串分类 2498.1.4 字符串的两种处理方式 2518.1.5 字符串的修改 2538.1.6 字符串的查找 2568.1.7 与其他类型相互转换 2658.1.8 回顾 2708.2 集合类型 2718.2.1 动态可增长数组 2718.2.2 映射集 2818.3 理解容量 2898.4 小结 292第9 章 构建健壮的程序 2949.1 通用概念 2949.2 消除失败 2959.3 分层处理错误 2979.3.1 可选值Option 298 9.3.2 错误处理Result 302 9.4 恐慌(Panic) 3149.5 第三方库 3169.6 小结 319第10 章 模块化编程 32010.1 包管理 32110.1.1 使用Cargo 创建包 32110.1.2 使用第三方包 32310.1.3 Cargo.toml 文件格式 33110.1.4 自定义Cargo 33710.2 模块系统 33910.3 从零开始实现一个完整功能包 34410.3.1 使用Cargo 创建新项目 34510.3.2 使用structopt 解析命令行参数 34510.3.3 定义统一的错误类型 34710.3.4 读取CSV 文件 34810.3.5 替换CSV 文件中的内容 35110.3.6 进一步完善包 35310.4 可见性和私有性 35810.5 小结 360第11 章 安全并发 36211.1 通用概念 36211.1.1 多进程和多线程 36311.1.2 事件驱动、异步回调和协程 36411.1.3 线程安全 36511.2 多线程并发编程 37011.2.1 线程管理 37111.2.2 Send 和Sync 37511.2.3 使用锁进行线程同步 37911.2.4 屏障和条件变量 38411.2.5 原子类型 38611.2.6 使用Channel 进行线程间通信 38811.2.7 内部可变性探究 39711.2.8 线程池 39911.2.9 使用Rayon 执行并行任务 40711.2.10 使用Crossbeam 40911.3 异步并发 41211.3.1 生成器 41311.3.2 Future 并发模式 41811.3.3 async/await 42111.4 数据并行 42811.4.1 什么是SIMD 42911.4.2 在Rust 中使用SIMD 43011.5 小结 434第12 章 元编程 43512.1 反射 43612.1.1 通过is 函数判断类型 43612.1.2 转换到具体类型 43712.1.3 非静态生命周期类型 43912.2 宏系统 44012.2.1 起源 44012.2.2 Rust 中宏的种类 44112.2.3 编译过程 44212.2.4 声明宏 44512.2.5 过程宏 45812.3 编译器插件 47212.4 小结 475第13 章 超越安全的边界 47713.1 Unsafe Rust 介绍 47713.1.1 Unsafe 语法 47813.1.2 访问和修改可变静态变量 48013.1.3 Union 联合体 48013.1.4 解引用原生指针 48313.2 基于Unsafe 进行安全抽象 48413.2.1 原生指针 48413.2.2 子类型与型变 48913.2.3 未绑定生命周期 49413.2.4 Drop 检查 49513.2.5 NonNull指针 505 13.2.6 Unsafe 与恐慌安全 50813.2.7 堆内存分配 50813.2.8 混合代码内存安全架构三大原则 51013.3 和其他语言交互 51013.3.1 外部函数接口 51013.3.2 与C/C++语言交互 51413.3.3 使用Rust 提升动态语言性能 52813.4 Rust 与WebAssembly 53213.4.1 WebAssembly 要点介绍 53313.4.2 使用Rust 开发WebAssembly 53913.4.3 打造WebAssembly 开发生态 54113.5 小结 543附录A Rust 开发环境指南 544附录B Rust 如何调试代码 549 上一篇: 深入理解Elasticsearch 原书第2版 下一篇: 财务信息处理与分析:Excel 2016