猜你喜欢
深入浅出Rust

深入浅出Rust

书籍作者:范长春 ISBN:9787111606420
书籍语言:简体中文 连载状态:全集
电子书格式:pdf,txt,epub,mobi,azw3 下载次数:1945
创建日期:2021-02-14 发布日期:2021-02-14
运行环境:PC/Windows/Linux/Mac/IOS/iPhone/iPad/Kindle/Android/安卓/平板
下载地址
内容简介

本书将详细描述Rust语言的基本语法,穿插讲解一部分高级使用技巧。部分介绍Rust基本语法。第二部分介绍属于Rust的内存管理方式。第三部分介绍Rust的抽象表达能力。第四部分介绍并发模型。第五部分介绍一些实用设施。

作者简介

范长春(F001),中国科学院自动化研究所博士,Rust开源项目贡献者,前微软员工。目前就职于synopsys公司参与源代码静态检查工具coverity软件的开发工作。喜欢研究编译器以及源代码静态检查。在网上撰写了大量关于Rust语言的技术文章,得到了不错的反响。

《深入浅出Rust》电子书免费下载

pdf下载 txt下载 epub下载 mobi下载 azw3下载

前言

Preface?前  言A language that doesn’t affect the way you think about programming is not worth knowing.——Alan PerlisRust简介Rust是一门新的编程语言。


我想,大部分读者看到本书,估计都会不约而同地想到同样的问题:现存的编程语言已经多得数不清了,再发明一种新的编程语言有何意义?难道现存的那么多编程语言还不够用吗,发明一种新的编程语言能解决什么新问题?俗话说,工欲善其事,必先利其器。在程序员平时最常用的工具排行榜中,编程语言当仁不让的是最重要的“器”。编程语言不仅是给程序设计者使用的工具,反过来,它也深刻地影响了设计者本身的思维方式和开发习惯。


卓越的编程语言,可以将优秀的设计、先进的思想、成功的经验,自然而然地融入其中,使更多的使用者开阔眼界、拓展思路,受益无穷。


A programming language is a tool that has profound influence on our thinking habits.——Edsger Dijkstra所以说关于这个问题,我认为,如果与现有的各种语言相比,新设计的语言有所进步、有所发展、有所创新,那么它的出现就很有意义。


最近这些年,的确涌现出了一大批编程语言,可以说是百花争艳、繁华似锦。但是在表面的繁荣之下,我们是否可以自满地说,编程语言的设计和发展已经基本成熟、趋于完美了呢?恐怕不尽然吧!


那些优秀的编程语言中,不少都有自己的“绝活”。有的性能非常高,有的表达力非常强,有的擅长组织大型程序,有的适合小巧的脚本,有的专注于并发,有的偏重于科学计算,等等,不一而足。即便如此,新兴的Rust语言面市后依旧展现出了它的独特魅力,矫矫不群,非常值得大家关注。


作为多年来鲜有的新一代系统编程语言,它的设计准则是“安全,并发,实用”。Rust的设计者是这样定位这门语言的:


Rust is a system’s programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety.安全是的,安全性很重要。Rust最重要的特点就是可以提供内存安全保证,而且没有额外的性能损失。


在传统的系统级编程语言(C/C++)的开发过程中,经常出现因各种内存错误引起的崩溃或bug。比如空指针、野指针、内存泄漏、内存越界、段错误、数据竞争、迭代器失效等,血泪斑斑,数不胜数。这些问题不仅在教科书中被无数次提起,而且在实践中也极其常见。因此,各种高手辛苦地总结了大量的编程经验,许多代码检查和调试工具被开发出来,各种代码开发流程和规范被制定出来,无数人呕心沥血就是为了系统性地防止各类bug的出现。尽管如此,我们依然无法彻底解决这些问题。


教科书解决不了问题,因为教育不是强制性的;静态代码检查工具解决不了问题,因为传统的C/C++对静态代码检查不友好,永远只能查出一部分问题;软件工程解决不了问题,因为规范依赖于执行者的素质,任何人都会犯错误。事后debug也不是办法,解决bug的代价更高。


鉴于手动内存管理非常容易出问题,因此先辈们发明了一种自动垃圾回收的机制(Garbage Collection),故而程序员在绝大多数情况下不用再操心内存释放的问题。新发明的绝大多数编程语言都使用了基于各种高级算法的自动垃圾回收机制,因为它确实方便,解放了程序员的大脑,使大家能更专注于业务逻辑的部分。但是到目前为止,不管使用哪种算法的GC系统,在性能上都要付出比较大的代价。要么需要较大的运行时占用较大内存,要么需要暂停整个程序,要么具备不确定性的时延。当然,在现实的许多业务场景中,这点开销是微不足道的,因此问题不大。可是如果在性能敏感的领域,这是完全不可接受的。


很遗憾,到目前为止,在系统级编程语言中,我们依然被各种内存安全问题所困扰。这些年来,许多新的语言特性被发明出来,许多优秀的编程范式被总结出来,许多高质量的代码库被开发出来。但是内存安全问题依然像一个幽灵一样,一直徘徊在众多程序员的头顶,无法摆脱。再多的努力,也只能减少它出现的机会,很难保证完整地解决掉这一类错误。


Rust对自己的定位是接近芯片硬件的系统级编程语言,因此,它不可能选择使用自动垃圾回收的机制来解决问题。事实证明,要想解决内存安全问题,小修小补是不够的,必须搞清楚导致内存错误的根本原因,从源头上解决。Rust就是为此而生的。Rust语言是可以保证内存安全的系统级编程语言。这是它的独特的优势。本书将用大量的篇幅详细介绍“内存安全”。


并发在计算机单核性能越来越接近瓶颈的今天,多核并行成了提高软件执行效率的发展趋势。一些编程语言已经开始从语言层面支持并发编程,把“并发”的概念植入到了编程语言的血液中。然而,在传统的系统级编程语言中,并行代码很容易出错,而且有些问题很难复现,难以发现和解决问题,debug的成本非常高。线程安全问题一直以来都是非常令人头痛的问题。


......


目录

Contents?目  录


前言


第一部分 基础知识


第1章 与君初相见 2


1.1 版本和发布策略 2


1.2 安装开发环境 4


1.3 Hello World 7


1.4 Prelude 8


1.5 Format格式详细说明 8


第2章 变量和类型 10


2.1 变量声明 10


2.1.1 变量遮蔽 12


2.1.2 类型推导 13


2.1.3 类型别名 14


2.1.4 静态变量 15


2.1.5 常量 16


2.2 基本数据类型 16


2.2.1 bool 16


2.2.2 char 17


2.2.3 整数类型 17


2.2.4 整数溢出 19


2.2.5 浮点类型 21


2.2.6 指针类型 23


2.2.7 类型转换 23


2.3 复合数据类型 24


2.3.1 tuple 25


2.3.2 struct 25


2.3.3 tuple struct 27


2.3.4 enum 29


2.3.5 类型递归定义 32


第3章 语句和表达式 34


3.1 语句 34


3.2 表达式 34


3.2.1 运算表达式 35


3.2.2 赋值表达式 37


3.2.3 语句块表达式 38


3.3 if-else 39


3.3.1 loop 40


3.3.2 while 41


3.3.3 for循环 42


第4章 函数 44


4.1 简介 44


4.2 发散函数 46


4.3 main函数 47


4.4 const fn 48


4.5 函数递归调用 49


第5章 trait 50


5.1 成员方法 50


5.2 静态方法 53


5.3 扩展方法 55


5.4 完整函数调用语法 56


5.5 trait约束和继承 58


5.6 Derive 59


5.7 trait别名 60


5.8 标准库中常见的trait简介 61


5.8.1 Display和Debug 61


5.8.2 PartialOrd / Ord /


PartialEq / Eq 62


5.8.3 Sized 63


5.8.4 Default 64


5.9 总结 65


第6章 数组和字符串 66


6.1 数组 66


6.1.1 内置方法 67


6.1.2 多维数组 67


6.1.3 数组切片 67


6.1.4 DST和胖指针 68


6.1.5 Range 70


6.1.6 边界检查 72


6.2 字符串 74


6.2.1 &str 74


6.2.2 String 75


第7章 模式解构 77


7.1 简介 77


7.2 match 78


7.2.1 exhaustive 79


7.2.2 下划线 80


7.2.3 match也是表达式 82


7.2.4 Guards 83


7.2.5 变量绑定 84


7.2.6 ref和mut 85


7.3 if-let和while-let 88


7.4 函数和闭包参数做模式解构 89


7.5 总结 90


第8章 深入类型系统 91


8.1 代数类型系统 91


8.2 Never Type 94


8.3 再谈Option类型 97


第9章 宏 102


9.1 简介macro 102


9.1.1 实现编译阶段检查 102


9.1.2 实现编译期计算 103


9.1.3 实现自动代码生成 103


9.1.4 实现语法扩展 103


9.2 示范型宏 103


9.3 宏1.1 105


第二部分 内存安全


第10章 内存管理基础 110


10.1 堆和栈 110


10.2 段错误 111


10.3 内存安全 112


第11章 所有权和移动语义 114


11.1 什么是所有权 114


11.2 移动语义 116


11.3 复制语义 118


11.4 Box类型 120


11.5 Clone VS. Copy 121


11.5.1 Copy的含义 121


11.5.2 Copy 的实现条件 121


11.5.3 Clone的含义 122


11.5.4 自动derive 123


11.5.5 总结 123


11.6 析构函数 124


11.6.1 资源管理 125


11.6.2 主动析构 126


11.6.3 Drop VS. Copy 129


11.6.4 析构标记 129


第12章 借用和生命周期 132


12.1 生命周期 132


12.2 借用 132


12.3 借用规则 134


12.4 生命周期标记 136


12.4.1 函数的生命周期标记 136


12.4.2 类型的生命周期标记 138


12.5 省略生命周期标记 139


第13章 借用检查 141


13.1 编译错误示例 142


13.2 内存不安全示例:修改枚举 143


13.3 内存不安全示例:迭代器


失效 144


13.4 内存不安全示例:悬空指针 146


13.5 小结 148


第14章 NLL(Non-Lexical-


Lifetime) 150


14.1 NLL希望解决的问题 150


14.2 NLL的原理 154


14.3 小结 157


第15章 内部可变性 158


15.1 Cell 158


15.2 RefCell 161


15.3 UnsafeCell 164


第16章 解引用 169


16.1 自定义解引用 169


16.2 自动解引用 171


16.3 自动解引用的用处 171


16.4 有时候需要手动处理 173


16.5 智能指针 175


16.5.1 引用计数 175


16.5.2 Cow 178


16.6 小结 180


第17章 泄漏 181


17.1 内存泄漏 181


17.2 内存泄漏属于内存安全 184


17.3 析构函数泄漏 185


第18章 Panic 190


18.1 什么是panic 190


18.2 Panic实现机制 191


18.3 Panic Safety 192


18.4 小结 197


第19章 Unsafe 198


19.1 unsafe关键字 198


19.2 裸指针 199


19.3 内置函数 201


19.3.1 transmute 201


19.3.2 内存读写 202


19.3.3 综合示例 204


19.4 分割借用 206


19.5 协变 209


19.5.1 什么是协变 209


19.5.2 PhantomData 211


19.6 未定义行为 214


19.7 小结 215


第20章 Vec源码分析 216


20.1 内存申请 217


20.2 内存扩容 220


20.3 内存释放 222


20.3.1 Vec的析构函数 222


20.3.2 Drop Check 223


20.4 不安全的边界 226


20.5 自定义解引用 227


20.6 迭代器 228


20.7 panic safety 231


第三部分 高级抽象


第21章 泛型 234


21.1 数据结构中的泛型

......

短评

符合“浅出 Rust”标题,语法和语言知识点都提到了一些,适合入门

2018-09-03

不错

2018-09-30

深入浅出非常贴切, 适合学习过 rust 基础的同学, 内容不会晦涩难懂, 但是覆盖的范围很到位, 读完收获不小

2018-09-27

之前看过 F001 不少文章,看到出书就立刻下单了,果然没有让人失望!即便不是初学者,也能学到 Rust 是如何设计的、背后的动机如何。

2018-10-01

这是作者自己明白,也让读者明白的一本书!

2018-10-03

标签
Rust,计算机,Programming,计算机科学,编程,rust,2018