修改: src/ch01-02-hello-world.md

修改:     src/ch16-04-extensible-concurrency-sync-and-send.md
pull/40/head
murphy 8 years ago
parent e4aaa1e839
commit 1f2533ae4d

@ -4,13 +4,13 @@
> <br> > <br>
> commit 4f2dc564851dc04b271a2260c834643dfd86c724 > commit 4f2dc564851dc04b271a2260c834643dfd86c724
现在已经安装好了 Rust让我们来编写第一个 Rust 程序。当学习一门新语言的时候,编写一个在屏幕上打印 “Hello, world!” 文本的小程序是一个传统,而在这一部分将遵循这个传统。 现在已经安装好了 Rust让我们来编写第一个 Rust 程序。当学习一门新语言的时候,使用该语言在屏幕上打印 “Hello, world!” 是一个传统,我们将遵循这个传统。
> 注意本书假设你熟悉基本的命令行操作。Rust 本身并不对你的编辑器,工具和你的代码存放在何处有什么特定的要求,所以如果你比起命令行更喜欢 IDE请随意选择你喜欢的 IDE。 > 注意本书假设你熟悉基本的命令行操作。Rust 本身并不对你的编辑器,工具和你的代码存放在何处有什么特定的要求,所以如果你更喜欢 IDE请随意选择你喜欢的 IDE。
### 创建项目文件夹 ### 创建项目文件夹
首先,创建一个文件夹来存放 Rust 代码。Rust 并不关心你的代码存放在哪里,不过在本书中,我们建议在你的 home 目录创建一个 *projects* 目录,并把你的所有项目放在这。打开一个终端并输入如下命令来为这个项目创建一个文件夹: 首先,创建一个文件夹来存放 Rust 代码。Rust 并不关心你的代码存放在哪里,不过在本书中,我们建议在你的 home 目录创建一个 *projects* 目录,并把你的所有项目放在这。打开一个终端,输入如下命令来为项目创建一个文件夹:
Linux 和 Mac: Linux 和 Mac:
@ -52,11 +52,11 @@ $ ./main
Hello, world! Hello, world!
``` ```
在 Windows 上,运行`.\main.exe`而不是`./main`。不管使用何种系统,你应该在终端看到`Hello, world!`字符串。如果你做到了,那么恭喜你!你已经正式编写了一个 Rust 程序。你是一名 Rust 程序员了!欢迎入坑。 在 Windows 上,运行`.\main.exe`而不是`./main`。不管使用何种系统,你应该在终端看到`Hello, world!`字符串。如果你做到了,那么恭喜你!你已经正式编写了一个 Rust 程序,成为一名 Rust 程序员了!欢迎入坑。
### 分析 Rust 程序 ### 分析 Rust 程序
现在让我们回过头来仔细看看“Hello, world!”程序到底发生了什么。这里是谜题的第一片: 现在,让我们回过头来仔细看看“Hello, world!”程序到底发生了什么。这里是谜题的第一片:
```rust ```rust
fn main() { fn main() {
@ -64,9 +64,9 @@ fn main() {
} }
``` ```
这几行定义了一个 Rust **函数**。`main`函数是特殊的:这是每一个可执行的 Rust 程序首先运行函数(译者注:入口点。第一行表示“定义一个叫 `main` 的函数,没有参数也没有返回值。”如果有参数的话,它们应该出现在括号中,`(`和`)`。 这几行定义了一个 Rust **函数**。`main`函数是特殊的:这是每一个可执行的 Rust 程序的入口点。第一行表示“定义一个叫 `main` 的函数,没有参数也没有返回值。”如果有参数的话,它们应该出现在括号中,`(`和`)`之间
同时注意函数体被包裹在大括号中,`{`和`}`。Rust 要求所有函数体都位于大括号中(译者注:对比有些语言特定情况可以省略大括号)。将前一个大括号与函数声明置于一行,并留有一个空格被认为是一个好的代码风格。 同时注意函数体被包裹在大括号中,`{`和`}` 之间。Rust 要求所有函数体都位于大括号中(译者注:有些语言函数体只有一行时可以省略大括号,但 Rust 中是不行的)。一般来说,将左大括号与函数声明置于一行,并以空格分隔,是良好的代码风格。
在`main()`函数中: 在`main()`函数中:
@ -76,23 +76,23 @@ fn main() {
这行代码做了这个小程序的所有工作:它在屏幕上打印文本。这里有很多需要注意的细节。第一个是 Rust 代码风格使用 4 个空格缩进,而不是 1 个制表符tab 这行代码做了这个小程序的所有工作:它在屏幕上打印文本。这里有很多需要注意的细节。第一个是 Rust 代码风格使用 4 个空格缩进,而不是 1 个制表符tab
第二个重要的部分是`println!()`。这叫做 Rust **宏**,是如何进行 Rust 元编程metaprogramming的关键所在。相反如果是调用一个函数的话它应该看起来像这样:`println`(没有`!`)。我们将在 21 章 E 小节中更加详细的讨论 Rust 宏,不过现在你只需记住当看到符号`!`的时候,就代表在调用一个宏而不是一个普通的函数。 第二个重要的部分是`println!()`。这是 Rust **宏**,进行 Rust 元编程metaprogramming的关键所在。而调用一个函数的话则要像这样:`println`(没有`!`)。我们将在 21 章 E 小节中更加详细的讨论 Rust 宏,不过现在你只需记住,当看到符号`!`的时候,就表示调用宏而不是普通函数。
接下来,`"Hello, world!"` 是一个 **字符串**。我们把这个字符串作为一个参数传递给`println!`,它负责在屏幕上打印这个字符串。轻松加愉快!(⊙o⊙) 接下来,`"Hello, world!"` 是一个 **字符串**。我们把这个字符串作为一个参数传递给`println!`,它负责在屏幕上打印这个字符串。轻松加愉快!(⊙o⊙)
这一行以一个分号结尾(`;`)。`;`代表这个表达式的结束和下一个表达式的开始。大部分 Rust 代码行以`;`结尾。 该行以分号结尾(`;`)。`;`代表一个表达式的结束和下一个表达式的开始。大部分 Rust 代码行以`;`结尾。
### 编译和运行是两个步骤 ### 编译和运行是两个步骤
在“编写并运行 Rust 程序”部分,展示了如何运行一个新创建的程序。现在我们将拆分并检查每一步操作。 在“编写并运行 Rust 程序”部分,展示了如何运行一个新创建的程序。现在我们将拆分并检查每一步操作。
在运行一个 Rust 程序之前,必须先编译它。可以输入`rustc`命令来使用 Rust 编译器并像这样传递源文件的名字: 在运行一个 Rust 程序之前,必须先编译它。可以输入`rustc`命令来使用 Rust 编译器并传递源文件的名字给它,如下
``` ```
$ rustc main.rs $ rustc main.rs
``` ```
如果你来自 C 或 C++ 背景,就会发现这与`gcc`和`clang`类似。编译成功后Rust 应该会输出一个二进制可执行文件,在 Linux 或 OSX 上在 shell 中你可以通过`ls`命令看到如下: 如果你 C 或 C++ 背景,就会发现这与`gcc`和`clang`类似。编译成功后Rust 应该会输出一个二进制可执行文件,在 Linux 或 OSX 上在 shell 中你可以通过`ls`命令看到如下:
``` ```
$ ls $ ls
@ -107,7 +107,7 @@ main.exe
main.rs main.rs
``` ```
这表示我们有两个文件:*.rs* 后缀的源文件,和可执行文件(在 Windows下是 *main.exe*,其它平台是 *main*)。这里剩下的操作就只有运行 *main**main.exe* 文件了,像这样: 这表示我们有两个文件:*.rs* 后缀的源文件,和可执行文件(在 Windows下是 *main.exe*,其它平台是 *main*)。现在需要做的就只有运行 *main**main.exe* 文件了,像这样:
``` ```
$ ./main # or .\main.exe on Windows $ ./main # or .\main.exe on Windows
@ -115,9 +115,9 @@ $ ./main # or .\main.exe on Windows
如果 *main.rs* 是我们的“Hello, world!”程序,它将会在终端上打印`Hello, world!`。 如果 *main.rs* 是我们的“Hello, world!”程序,它将会在终端上打印`Hello, world!`。
来自 Ruby、Python 或 JavaScript 这样的动态类型语言背景的同学,可能不太习惯在分开的步骤编译和执行程序。Rust 是一种 **静态提前编译语言***ahead-of-time compiled language*),这意味着可以编译好程序后,把它给任何人,他们不需要安装 Rust 就可运行。如果你给他们一个 `.rb` `.py``.js` 文件,他们需要先分别安装 RubyPythonJavaScript 实现运行时环境VM不过你只需要一句命令就可以编译和执行程序。这一切都是语言设计的权衡取舍。 来自 Ruby、Python 或 JavaScript 这样的动态类型语言背景的同学,可能不太习惯将编译和执行分为两个步骤。Rust 是一种 **预编译静态类型语言***ahead-of-time compiled language*),这意味着编译好程序后,把它给任何人,他们不需要安装 Rust 就可运行。如果你给他们一个 `.rb` `.py``.js` 文件,他们需要先分别安装 RubyPythonJavaScript 实现运行时环境VM不过你只需要一句命令就可以编译和执行程序。这一切都是语言设计的权衡取舍。
仅仅使用`rustc`编译简单程序是没问题的,不过随着项目的增长,你将想要能够控制你项目拥有的所有选项,并使其易于分享你的代码给别人或别的项目。接下来,我们将介绍一个叫做 Cargo 的工具,它将帮助你编写现实生活中的 Rust 程序。 使用 `rustc` 编译简单程序是没问题的,不过随着项目的增长,你将想要能够控制你项目的方方面面,并使其易于分享你的代码给别人或别的项目。接下来,我们将介绍一个叫做 Cargo 的工具,它将帮助你编写真实世界中的 Rust 程序。
## Hello, Cargo! ## Hello, Cargo!

@ -12,15 +12,15 @@ Rust 的并发模型中一个有趣的方面是:语言本身对并发知之**
`Send`标记 trait 表明类型的所有权可能被在线程间传递。几乎所有的 Rust 类型都是`Send`的,不过有一些例外。比如标准库中提供的 `Rc<T>`:如果克隆`Rc<T>`值,并尝试将克隆的所有权传递给另一个线程,这两个线程可能会同时更新引用计数。正如上一部分提到的,`Rc<T>`被实现为用于单线程场景,这时不需要为拥有线程安全的引用计数而付出性能代价。 `Send`标记 trait 表明类型的所有权可能被在线程间传递。几乎所有的 Rust 类型都是`Send`的,不过有一些例外。比如标准库中提供的 `Rc<T>`:如果克隆`Rc<T>`值,并尝试将克隆的所有权传递给另一个线程,这两个线程可能会同时更新引用计数。正如上一部分提到的,`Rc<T>`被实现为用于单线程场景,这时不需要为拥有线程安全的引用计数而付出性能代价。
因为`Rc<T>`没有标记为`Send`Rust 的类型系统和 trait bound 会确保我们不会错误的把一个`Rc<T>`值不安全的在线程间传递。列表 16-14 曾尝试这么做,不过得到了一个错误,`the trait Send is not implemented for Rc<Mutex<i32>>`。当切换为标记为`Send`的`Arc<T>`时,就没有问题了。 因为 `Rc<T>` 没有标记为 `Send`Rust 的类型系统和 trait bound 会确保我们不会错误的把一个 `Rc<T>` 值不安全的在线程间传递。列表 16-14 曾尝试这么做,不过得到了一个错误,`the trait Send is not implemented for Rc<Mutex<i32>>`。而使用标记为 `Send``Arc<T>` 时,就没有问题了。
任何完全由`Send`的类型组成的类型也会自动被标记为`Send`。几乎所有基本类型都是`Send`的,大部分标准库类型是`Send`的,除了`Rc<T>`以及第十九章将会讨论的裸指针raw pointer 任何完全由 `Send` 的类型组成的类型也会自动被标记为 `Send`:几乎所有基本类型都是 `Send` 的,大部分标准库类型是`Send`的,除了`Rc<T>`以及第十九章将会讨论的裸指针raw pointer
### `Sync`表明多线程访问是安全的 ### `Sync` 表明多线程访问是安全的
`Sync`标记 trait 表明一个类型可以安全的在多个线程中拥有其值的引用。换一种方式来说就是,对于任意类型`T`,如果`&T``T`的引用)是`Send`的话`T`就是`Sync`的,这样其引用就可以安全的发送到另一个线程。类似于`Send`的情况,基本类型是`Sync`的,完全由`Sync`的类型组成的类型也是`Sync`的。 `Sync` 标记 trait 表明一个类型可以安全的在多个线程中拥有其值的引用。换一种方式来说,对于任意类型 `T`,如果`&T``T`的引用)是`Send`的话`T`就是`Sync`的,这样其引用就可以安全的发送到另一个线程。类似于 `Send` 的情况,基本类型是 `Sync` 的,完全由 `Sync` 的类型组成的类型也是 `Sync` 的。
`Rc<T>`也不是`Sync`的,出于其不是`Send`的相同的原因。`RefCell<T>`(第十五章讨论过)和`Cell<T>`系列类型不是`Sync`的。`RefCell<T>`在运行时所进行的借用检查也不是线程安全的。`Mutex<T>`是`Sync`的,正如上一部分所讲的它可以被用来在多线程中共享访问。 `Rc<T>` 也不是 `Sync` 的,出于其不是`Send`的相同的原因。`RefCell<T>`(第十五章讨论过)和`Cell<T>`系列类型不是`Sync`的。`RefCell<T>`在运行时所进行的借用检查也不是线程安全的。`Mutex<T>`是`Sync`的,正如上一部分所讲的它可以被用来在多线程中共享访问。
### 手动实现`Send`和`Sync`是不安全的 ### 手动实现`Send`和`Sync`是不安全的

Loading…
Cancel
Save