mod_trait_exerci = "0.1.2"

Author: cnruby

appveyor.yml

@@ -56,4 +56,8 @@ test_script:
   - cd ..
   - cd hello-trait
   - cargo build --verbose
-  - cargo test
+  - cargo test
+  - cd ..
+  - cd hello-mod-trait
+  - cargo build --verbose
+  - cargo test

docs/zh-first-volumn/src/SUMMARY.md

@@ -21,21 +21,28 @@
   - [开发软件篋borrowing_exerci](./hello-borrowing/develop.md)
   - [使用软件篋borrowing_exerci](./hello-borrowing/apply.md)
 - [软件篋trait_exerci](./hello-trait/README.md)
-  - [类型关键词struct](./hello-trait/examples-struct.md)
-  - [实现关键词impl与方法代码实现](./hello-trait/examples-impl.md)
+  - [类型关键词`struct`](./hello-trait/examples-struct.md)
+  - [实现关键词`impl`与方法代码实现](./hello-trait/examples-impl.md)
   - [方法代码实现](./hello-trait/examples-methods.md) 
   - [衔接关键词trait与修饰关键词mut](./hello-trait/examples-trait.md)
-  - [题外话：默认衔接特质Default](./hello-trait/examples-trait－default.md)
+  - [题外话：默认衔接特质Default](./hello-trait/examples-trait-default.md)
   - [程序代码结构](./hello-trait/lib-structure.md)
   - [关于软件篋项目](./hello-trait/about.md)
   - [共享篋：开发命令](./hello-trait/commands-lib.md)
   - [共享篋：程序代码解释](./hello-trait/lib-codes.md)
-  - [共享篋：目录tests的测试代码解释](./hello-trait/lib-tests.md)
+  - [共享篋：目录测试代码解释](./hello-trait/lib-tests.md)
   - [题外话](./hello-trait/off-topic.md)
 - [软件篋mod_trait_exerci](./hello-mod-trait/README.md)
   - [关于软件篋mod_trait_exerci](./hello-mod-trait/about.md)
-  - [开发软件篋mod_trait_exerci](./hello-mod-trait/develop.md)
-  - [使用软件篋mod_trait_exerci](./hello-mod-trait/apply.md)
+  - [文件与模块](./hello-mod-trait/crate-structure.md)
+  - [共享篋：程序结构和代码解释](./hello-mod-trait/lib-codes.md)
+  - [共享篋：三种调用方式解释](./hello-mod-trait/exampels-codes.md)
+  - [理解动态与静态调度实现](./hello-mod-trait/examples-dispatch.md)
+  - [深度解析动态与静态调度实现](./hello-mod-trait/examples-miri.md)
+  - [共享篋：静态调度实现](./hello-mod-trait/lib-static.md)
+  - [共享篋：动态调度实现](./hello-mod-trait/lib-dynamic.md)
+  - [共享篋：目录测试代码解释](./hello-mod-trait/lib-tests.md)
+  - [题外话：泛型实例](./hello-mod-trait/off-topic.md)
 - [软件篋deref_exerci](./hello-deref/README.md)
   - [关于软件篋deref_exerci](./hello-deref/about.md)
   - [开发软件篋deref_exerci](./hello-deref/develop.md)

docs/zh-first-volumn/src/foreword/README.md

@@ -15,22 +15,53 @@
 
 　　Crate.io是Rust语言软件篋的官方仓库，负责软件篋登记、托管和存储等功能服务。
 
-## 关于本书
+## Rust语言编程方法
+
+　　Rust语言是一门多编程方法的计算机语言，它包括了：
+
+- 面向对象式编程
+- 命令式编程
+- 函数式编程
+- 声明式编程
+- 响应式编程
+- ...
+
+## 关于本书内容
 
 　　以开发软件篋过程，学习和理解Rust语言的全新设计思路及其重要概念。
 
-## 重要Rust语言链接
+## 关于本书读者
+
+　　本书面向的读者是，致在了解Rust语言概念和设计思想，同时也学习具体程序开发的方法。
+
+## Rust语言重要网站
 - [Rust官方网站](https://www.rust-lang.org/)
 - [rustup官方网站](https://rustup.rs/)
 - [Cargo项目源代码](https://github.com/rust-lang/cargo)
 - [Crates s.io官方网站](https://crates.io/)
 
-## 重要工具链接链接
+## Rust语言入门在线图书
+- [官方网站: The Rust Programming Language](https://doc.rust-lang.org/book/)
+- [官方网站: Rust by Example](https://doc.rust-lang.org/stable/rust-by-example/)
+- [Learning Rust With Entirely Too Many Linked Lists](https://rust-unofficial.github.io/too-many-lists/index.html)
+
+## Rust语言在线图书
+- [官方网站: The Rustonomicon](https://doc.rust-lang.org/nightly/nomicon/)
+- [A Gentle Introduction To Rust](https://stevedonovan.github.io/rust-gentle-intro/readme.html#a-gentle-introduction-to-rust)
+- [24 days of Rust](https://zsiciarz.github.io/24daysofrust/index.html)
+- [Rust-101](https://www.ralfj.de/projects/rust-101/main.html)
+
+## Rust语言开发参考图书
+- [官方网站: The Rust Standard Library](https://doc.rust-lang.org/std/index.html)
+- [官方网站: The Rust Reference](https://doc.rust-lang.org/reference/)
+
+## 重要工具网站
 - [Tables Generator](https://www.tablesgenerator.com/)
 - [Liste der Unicode-Zeichen der Kategorie „Sonstiges Symbol“](https://www.compart.com/de/unicode/category/So)
 - [Sketchpad - Draw, Create, Share!](https://sketch.io/sketchpad/)
 - [Quality metadata badges](https://shields.io/)
 - [Continuous Integration and Deployment service for Windows and Linux | AppVeyor](https://www.appveyor.com/)
 - [Nu Shell](https://github.com/nushell/nushell)
 - [Markdown: Syntax](https://markdown.de/)
-- [category_slugs from crates.io](https://crates.io/category_slugs)
+- [category_slugs from crates.io](https://crates.io/category_slugs)
+- [Compress That Address](https://is.gd)

docs/zh-first-volumn/src/hello-mod-trait/README.md

@@ -1,4 +1,64 @@
-# 第二章
+# 第三章 软件篋mod_trait_exerci
 
+## 学习内容
+- 学习软件篋文件、模块与程序结构
+- 了解和学习动态调度关键词`dyn`
+- 学习和理解动态与静态调度（Static vs Dynamic Dispatch）
+- 衔接类型关键词`trait`作用
+- 
 
-[rust_testing_mocking/slides/2113/testing_in_rust_by_donald_whyte.pdf](https://archive.fosdem.org/2018/schedule/event/rust_testing_mocking/attachments/slides/2113/export/events/attachments/rust_testing_mocking/slides/2113/testing_in_rust_by_donald_whyte.pdf)
+rust没有继承，继承不流行了。通过trait缺省函数和覆盖来重用代码，泛型来实现多态。
+
+rust也通过trait object, 特性对象来实现多态。
+
+特性对象，本质上就是不限类型的，动态的特性绑定，run time匹配具体类型
+
+　　
+You can only make object-safe traits into trait objects.
+您只能将对象安全的特征变成特征对象。
+
+Traits that do not resolve to concrete type of implementation. 
+不能解决具体实现类型的特征。
+
+In practice two rules govern if a trait is object-safe.
+实际上，有两个规则控制特征是否是对象安全的。
+
+The return type isn’t Self.
+There are no generic type parameters.
+返回类型不是Self。
+没有通用类型参数。
+
+
+Any trait satisfying these two rules can be used as trait objects.
+任何东西都可以用作特质对象。
+
+Example of trait that is object-safe can be used as trait object:
+可以将对象安全的特征示例用作特征对象：
+
+trait Draw {
+    fn draw(&self);
+}
+
+Example of trait that cannot be used as trait object:
+不能用作特征对象的特征示例：
+
+trait Draw {
+    fn draw(&self) -> Self;
+}
+
+## 参考资料
+- [rust_testing_mocking/slides/2113/testing_in_rust_by_donald_whyte.pdf](https://archive.fosdem.org/2018/schedule/event/rust_testing_mocking/attachments/slides/2113/export/events/attachments/rust_testing_mocking/slides/2113/testing_in_rust_by_donald_whyte.pdf)
+- [std keyword dyn](https://doc.rust-lang.org/std/keyword.dyn.html)
+- [dyn-trait-for-trait-objects](https://doc.rust-lang.org/edition-guide/rust-2018/trait-system/dyn-trait-for-trait-objects.html)
+- [rust-traits-and-trait-objects](https://joshleeb.com/posts/rust-traits-and-trait-objects/)
+- [a_quick_look_at_trait_objects_in_rust](https://tratt.net/laurie/blog/entries/a_quick_look_at_trait_objects_in_rust.html)
+- [Code](https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=5d573e667aac08f960557b79d6385f6e)
+- [what-makes-something-a-trait-object](https://stackoverflow.com/questions/27567849/what-makes-something-a-trait-object)
+- [Dynamic_dispatch](https://en.wikipedia.org/wiki/Dynamic_dispatch)
+- [reference identifiers](https://doc.rust-lang.org/reference/identifiers.html)
+- [rust-traits-and-trait-objects](https://joshleeb.com/posts/rust-traits-and-trait-objects/)
+- [traits-on-generics](https://blog.theenginerd.com/blog/2015/06/27/traits-on-generics/)
+- [learning-generics-in-rust](https://tutorialedge.net/rust/learning-generics-in-rust/)
+- [generic-returns-in-rust](https://blog.jcoglan.com/2019/04/22/generic-returns-in-rust/)
+- [writing-a-hashmap-to-struct-procedural-macro-in-rust](https://cprimozic.net/blog/writing-a-hashmap-to-struct-procedural-macro-in-rust/)
+- [impls_and_traits](https://learning-rust.github.io/docs/b5.impls_and_traits.html)

docs/zh-first-volumn/src/hello-mod-trait/about.md

@@ -1 +1,51 @@
 # 关于软件篋mod_trait_exerci
+
+## 学习内容
+- 了解项目名称和目录
+
+## 篇目
+
+1. [项目名称清单](#项目名称清单)
+1. [软件篋类型清单](#软件篋类型清单)
+1. [项目目录文件结构](#项目目录文件结构)
+
+## 项目名称清单
+
+| 项目类型 | 项目名称 | 相对路径 | 项目说明 |
+|---|---|---|---|
+| 作业区 | **hello-mod-trait** | ./hello-mod-trait | 开发共享软件篋工作区 |
+| 共享篋 | lib-hello | ./hello-mod-trait/lib-hello | 开发共享软件篋实例 |
+| 本地程序 | bin-local-hello | ./hello-mod-trait/bin-local-hello | 使用在本地的共享篋 |
+| 仓库程序 | bin-hello | ./hello-mod-trait/bin-hello | 使用在crates.io上共享篋 |
+
+## 软件篋类型清单
+
+| 篋类型 | 篋名称 | 相对路径 |
+|---|---|---|
+| 共享软件篋 | **mod_trait_exerci** | ./hello-mod-trait/lib-hello |
+| 可执行程序 | bin-local-hello | ./hello-mod-trait/bin-local-hello |
+| 可执行程序 | bin-hello | ./hello-mod-trait/bin-hello |
+
+## 项目目录文件结构
+
+```bash
+$ tree -L 2
+.
+├── Cargo.lock
+├── Cargo.toml
+├── README.md
+├── examples
+│   ├── trait_dispatch_abstract.rs
+│   ├── trait_dispatch_concrete.rs
+│   └── trait_where_hello.rs
+└── src
+    ├── lib.rs
+    ├── mod_bare
+    ├── mod_deref.rs
+    ├── mod_deref_fn.rs
+    ├── mod_dynamic_fn.rs
+    ├── mod_generics.rs
+    ├── mod_generics_fn.rs
+    ├── mod_static_fn.rs
+    └── mod_where_fn.rs
+```

docs/zh-first-volumn/src/hello-mod-trait/apply.md

@@ -0,0 +1,44 @@
+# 文件与模块
+
+　　在这一节里，学习Cargo项目文件、目录与模块相互关系。Rust语言表达模块的三种方式。
+
+## 学习内容
+- 了解和学习本软件篋模块文件结构
+- 理解和掌握Cargo项目目录与文件关系
+- 理解和掌握Cargo项目模块与文件关系
+- 理解和掌握Cargo项目文件与文件关系
+
+## 篇目
+1. [文件本身表达模块方式](#文件本身表达模块方式)
+1. [文件名称表达模块方式](#文件名称表达模块方式)
+1. [目录名称表达模块方式](#目录名称表达模块方式)
+1. [参考资料](#参考资料)
+
+![image](../../images/hello_mod_trait_00_structure.png)
+
+## 文件本身表达模块方式
+
+　　Ⓓ 使用模块关键词`mod`和代码块`{}`的表达式，在Rust语言程序文件里，可以定义任何一个或者多个不同名称的模块。
+
+　　在文件lib.rs里，创建了称之为`mod_trait`模块，该模块实现代码也在该文件里。
+
+## 文件名称表达模块方式
+
+　　Ⓓ 使用模块关键词`mod`语句，在Rust语言程序文件里，可以定义任何一个或者多个不同的模块。
+
+　　使用关键词`mod`语句，实现模块代码存在两种形式：以文件名称作为模块名称方式和以目录名称为模块名称方式。这里先解释前面一种情况，如程序文件`mod_generics.rs`。
+
+　　实现以文件名称作为模块名称具体方法是，在文件`lib.rs`里，使用语句`pub mod mod_generics;`，且在与文件`lib.rs`相同的目录下，创建名称为`mod_generics.rs`模块程序文件，为了其自身模块，该文件不需要使用模块关键词了。
+
+## 目录名称表达模块方式
+
+　　程序文件`mod.rs`是第三种表达模块方式，即以目录名称为模块名称方式。
+
+　　在程序文件`lib.rs`里，使用语句`pub mod mod_bare;`，说明了该模块是外部文件实现模块代码，但是从中微分确认其实现方式。我们看到在与文件`lib.rs`相同目录下存在目录`mod_bare`，说明了该实现在该目录下的文件，默认情况下就是程序文件`mod.rs`，所有模块目录的入口文件默认情况下都是该文件名称。
+
+## 参考资料
+- [how-to-use-one-module-from-another-module-in-a-rust-cargo-project](https://stackoverflow.com/questions/48071513/how-to-use-one-module-from-another-module-in-a-rust-cargo-project)
+- [modules-in-rust-programming-language](https://dev.to/saiumesh/modules-in-rust-programming-language-495m)
+- [rust-gentle-intro/modules](https://stevedonovan.github.io/rust-gentle-intro/4-modules.html)
+- [ch07-01-mod-and-the-filesystem](https://doc.rust-lang.org/1.29.2/book/2018-edition/ch07-01-mod-and-the-filesystem.html)
+- [how-to-use-one-module-from-another-module-in-a-rust-cargo-project](https://stackoverflow.com/questions/48071513/how-to-use-one-module-from-another-module-in-a-rust-cargo-project)

docs/zh-first-volumn/src/hello-mod-trait/crate-structure.md

@@ -0,0 +1,80 @@
+# 共享篋：三种调用方式解释
+
+　　在本节里，通过两个模块`mod_bare`和`mod_trait`实现及其三种调用方式比较，详细说明衔接关键词`trait`作用。
+
+## 学习内容
+- 理解衔接关键词`trait`的重要性
+- 掌握衔接关键词`trait`实现的应用方法
+
+## 篇目
+1. [基于结构类型的实现：使用实例调用](#基于结构类型的实现：使用实例调用)
+1. [基于衔接特质的实现：使用实例调用](#基于衔接特质的实现：使用实例调用)
+1. [基于衔接特质的模块](#基于衔接特质的模块)
+1. [基于衔接特质的实现：作为参数调用](#基于衔接特质的实现：作为参数调用)
+1. [题外话](#题外话)
+1. [浅说面向对象编程、命令式编程和声明式编程](#浅说面向对象编程、命令式编程和声明式编程)
+1. [数据类型数组](#数据类型数组)
+2. [泛型函数与方法](#泛型函数与方法)
+3. [类型范围关键词`where`](#类型范围关键词where)
+4. [参考资料](#参考资料)
+
+![image](../../images/hello_mod_trait_04_apply_ways.png)
+
+## 基于结构类型的实现：使用实例调用
+
+　　从上面图示，可以了解到下面程序文件直接访问模块`mod_bare`，该模块是基于结构类型的实现，不存在衔接特质。
+
+{{#playpen ../../../../hello-mod-trait/lib-hello/examples/bare_hello.rs editable}}
+
+## 基于衔接特质的实现：使用实例调用
+
+　　从上面图示，下面程序文件也是直接访问模块`mod_trait`本身，与上面应用实例不同，这里通过衔接特质方式实现代码，从代码的关键词`use`语句也可以了解到这一点。
+
+　　比较上面程序文件`bare_hello.rs`和下面文件`trait_instance_hello.rs`的关键词`use`语句，可以看到，上面程序文件里的关键词`use`语句访问模块，采用了绝对路径方式，而下面文件既有绝对路径方式，也有相对路径方式。
+
+{{#playpen ../../../../hello-mod-trait/lib-hello/examples/trait_instance_hello.rs editable}}
+
+## 基于衔接特质的模块
+
+　　从上面图示，可以了解到，下面程序文件也是一个模块`mod_where_fn`，该模块应用了模块`mod_trait`的功能，注意该文件关键词`use`语句只使用了衔接特质`TraitCanal`，这也是一种访问其父模块的相对路径方式。它的存在意义是什么？这是为用户提供更加灵活的实现而设计的。这里提供了怎么样使用模块，而不必用户完成实现。
+
+　　下面代码的方法是一种泛型方法的表达方式，其概念参考下面说明。
+
+　　下面将会说明关键词`where`。在文件`mod_where_fn.rs`里的两个函数是两个完全相同的实现，只是语法表达方式不同而已。
+
+{{#playpen ../../../../hello-mod-trait/lib-hello/src/mod_where_fn.rs editable}}
+
+## 基于衔接特质的实现：作为参数调用
+
+　　从上面图示，可以了解到下面程序文件并不是直接访问模块`mod_trait`本身，而是访问中间模块`mod_where_fn`完成的，这是一种更加方便和灵活的三层程序设计结构。
+
+　　无论是什么类型结构，为了获取不同的结构类型属性，都不需要访问其属性名称。
+
+　　在使用模块`mod_where_fn`的函数时，结构类型的实例是作为参数传递给该模块的函数。我们仅仅告诉它我们是‘谁’，我们需要做什么。
+
+　　模块`mod_trait`告诉我们是什么功能，这好比是产品生产原料。模块`mod_where_fn`解决了怎么做问题，这好比是为用户预先打造的特定产品，当然用户也可以自己制造自己需要的产品。这里程序文件说明了要做什么事情，这好比作为用户使用现成的产品。
+
+{{#playpen ../../../../hello-mod-trait/lib-hello/examples/trait_where_hello.rs editable}}
+
+## 题外话
+### 浅说面向对象编程、命令式编程和声明式编程
+
+　　面向对象编程回答了是什么，命令式编程回答了怎么做，而声明式编程回答了做什么。
+
+### 数据类型数组
+
+　　在Rust语言里，数组是一种基本数据类型。
+
+## 泛型函数与方法
+
+　　在类型理论中，泛型称之为参数多态（parametric polymorphism），对于给定参数（parametric）能够有多种形式（poly是多，morph是形态）的函数或类型。
+
+　　在Rust语言里，泛型是一种非常广泛采用的技术，不仅应用函数与方法关键词`fn`，也应用衔接特质关键词`trait`等等。其目的是，减少代码重复。
+
+### 类型范围关键词`where`
+
+　　关键词`where`用于向泛型类型添加约束，并为编译器提供解决问题所需的信息！
+
+## 参考资料
+- [understanding-where-clauses](https://mgattozzi.github.io/2016/09/13/understanding-where-clauses.html)
+