mod_trait_exerci = "0.1.3"

Author: cnruby

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

@@ -36,11 +36,12 @@
   - [关于软件篋mod_trait_exerci](./hello-mod-trait/about.md)
   - [文件与模块](./hello-mod-trait/crate-structure.md)
   - [共享篋：程序结构和代码解释](./hello-mod-trait/lib-codes.md)
-  - [共享篋：三种调用方式解释](./hello-mod-trait/exampels-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-fn.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)

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

@@ -34,6 +34,10 @@
 
 　　本书面向的读者是，致在了解Rust语言概念和设计思想，同时也学习具体程序开发的方法。
 
+## 关于本书使用系统说明
+
+　　本书程序代码使用苹果电脑系统开发的。大部分终端命令也应用适用于其它操作系统。
+
 ## Rust语言重要网站
 - [Rust官方网站](https://www.rust-lang.org/)
 - [rustup官方网站](https://rustup.rs/)

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

@@ -5,9 +5,9 @@
 
 ## 篇目
 
-1. [项目名称清单](#项目名称清单)
-1. [软件篋类型清单](#软件篋类型清单)
-1. [项目目录文件结构](#项目目录文件结构)
+- [项目名称清单](#项目名称清单)
+- [软件篋类型清单](#软件篋类型清单)
+- [项目目录文件结构](#项目目录文件结构)
 
 ## 项目名称清单
 

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

@@ -9,10 +9,10 @@
 - 理解和掌握Cargo项目文件与文件关系
 
 ## 篇目
-1. [文件本身表达模块方式](#文件本身表达模块方式)
-1. [文件名称表达模块方式](#文件名称表达模块方式)
-1. [目录名称表达模块方式](#目录名称表达模块方式)
-1. [参考资料](#参考资料)
+- [文件本身表达模块方式](#文件本身表达模块方式)
+- [文件名称表达模块方式](#文件名称表达模块方式)
+- [目录名称表达模块方式](#目录名称表达模块方式)
+- [参考资料](#参考资料)
 
 ![image](../../images/hello_mod_trait_00_structure.png)
 

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

@@ -1,4 +1,4 @@
-# 共享篋：三种调用方式解释
+# 三种调用方式解释
 
 　　在本节里，通过两个模块`mod_bare`和`mod_trait`实现及其三种调用方式比较，详细说明衔接关键词`trait`作用。
 
@@ -7,16 +7,16 @@
 - 掌握衔接关键词`trait`实现的应用方法
 
 ## 篇目
-1. [基于结构类型的实现：使用实例调用](#基于结构类型的实现：使用实例调用)
-1. [基于衔接特质的实现：使用实例调用](#基于衔接特质的实现：使用实例调用)
-1. [基于衔接特质的模块](#基于衔接特质的模块)
-1. [基于衔接特质的实现：作为参数调用](#基于衔接特质的实现：作为参数调用)
-1. [题外话](#题外话)
-1. [浅说面向对象编程、命令式编程和声明式编程](#浅说面向对象编程、命令式编程和声明式编程)
-1. [数据类型数组](#数据类型数组)
-2. [泛型函数与方法](#泛型函数与方法)
-3. [类型范围关键词`where`](#类型范围关键词where)
-4. [参考资料](#参考资料)
+- [基于结构类型的实现：使用实例调用](#基于结构类型的实现：使用实例调用)
+- [基于衔接特质的实现：使用实例调用](#基于衔接特质的实现：使用实例调用)
+- [基于衔接特质的模块](#基于衔接特质的模块)
+- [基于衔接特质的实现：作为参数调用](#基于衔接特质的实现：作为参数调用)
+- [题外话](#题外话)
+- [浅说面向对象编程、命令式编程和声明式编程](#浅说面向对象编程、命令式编程和声明式编程)
+- [数据类型数组](#数据类型数组)
+- [泛型函数与方法](#泛型函数与方法)
+- [类型范围关键词`where`](#类型范围关键词where)
+- [参考资料](#参考资料)
 
 ![image](../../images/hello_mod_trait_04_apply_ways.png)
 
@@ -46,7 +46,7 @@
 
 ## 基于衔接特质的实现：作为参数调用
 
-　　从上面图示，可以了解到下面程序文件并不是直接访问模块`mod_trait`本身，而是访问中间模块`mod_where_fn`完成的，这是一种更加方便和灵活的三层程序设计结构。
+　　从上面图示，可以了解到下面程序文件并不是直接访问模块`mod_trait`本身，而是访问中间模块`mod_where_fn`完成的，这是一种更加方便和灵活的三层程序设计结构。与模块`mod_trait`不同，它实现的功能更多的是数据操作功能，这里称之为“`数据模块`”，而这种中间模块`mod_where_fn`，它提供更多样化的有实际意义知识性功能，这里称之为“`知识模块`”。
 
 　　无论是什么类型结构，为了获取不同的结构类型属性，都不需要访问其属性名称。
 

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

@@ -1,15 +1,59 @@
 # 深度解析动态与静态调度实现
 
-## 说明是Miri
+　　在本节里。主要解释静态函数与动态函数的内部结构。
 
-An experimental interpreter for Rust's mid-level intermediate representation (MIR).
+## 学习内容
+- 进一步学习静态函数与动态函数
+- 通过Miri了解分析Rust语言代码
 
-## 
+## 篇目
+
+- [什么是Miri](#什么是Miri)
+- [与Miri相关的Cargo工具命令](#与Miri相关的Cargo工具命令)
+- [打开Miri代码文件命令](#打开Miri代码文件命令)
+- [Miri代码实例说明](#Miri代码实例说明)
+- [参考资料](#参考资料)
+
+## 什么是Miri
+
+　　[Miri](https://github.com/rust-lang/miri)网站说明如下：
+
+    An experimental interpreter for Rust's mid-level intermediate representation (MIR).
+
+直接翻译为：Rust语言的中间中级水平表达层（mid-level intermediate representation，MIR）的实验解释器。这里有两个中间是什么意思？“intermediate”是说明Miri是介于Rust语言与汇编语言编译过程的中间位置；“mid-level”可以理解为表达层代码水平。
+
+　　Miri作用是什么？在编译器中引入这一表达层（MIR），消除了Rust语言代码大部分表面的表示层（mid-level），留下了一种更简单的形式，目的是适合于类型检查和翻译成汇编语言（intermediate）。
+
+## 与Miri相关的Cargo工具命令
+
+　　在项目根目录下，执行代码命令，可以得到Miri代码文件。一般情况下，该文件是不会出现在项目目录里的。
+
+　　这个命令是两部分，在`cargo之前部分，是告诉编译器想到得到额外的编译结果。后面部分是想编译什么内容。
+
+　　与Miri编译相关内容是在`release`编译版本下才能得到。
 
 ```bash
 RUSTFLAGS="--emit mir" cargo build --release --example trait_dispatch_concrete
 ```
 
+## 打开Miri代码文件命令
+
+　　可以通过资源管理器来寻找如下命令里的目录文件，也可以使用下面命令打开，其中`-t`是告诉命令`open`使用默认编辑器打开该文件。该文件名称非常长，所以命令里使用了星号。
+
+　　从网络上看，还没有能够显示Miri代码的工具。
+
+```bash
+open -t ./target/release/examples/trait_dispatch_concrete-*.mir
+```
+
+## Miri代码实例说明
+
+　　为了说明问题，下面Miri代码仅仅是其一部分代码，包括静态函数和动态函数，并且还是省略过的。凡是"..."都是两个函数相同的代码。
+
+　　从下面的Miri代码里，可以看到，函数`static_dispatch()`的参数只有一个，它是衔接特质的对象指针，函数`dynamic_dispatch`的参数也只有一个，它是衔接特质的指针。除了这一点区别之外，其余都是一样的。
+
+　　从上面分析可以了解到，衔接特质的对象是确定的，使用它，可以理解为已知类型的特质准备的，而动态的衔接特质是不确定的，可以理解为未知类型的特质准备的。
+
 ```
 fn  static_dispatch(_1: &TraitObject) -> () {
     ...
@@ -27,10 +71,6 @@ fn  static_dispatch(_1: &TraitObject) -> () {
 }
 ```
 
-```bash
-open  -t ./target/release/examples/trait_dispatch_concrete-*.mir
-```
-
 ```
 fn  dynamic_dispatch(_1: &dyn Trait) -> () {
     ...
@@ -47,6 +87,5 @@ fn  dynamic_dispatch(_1: &dyn Trait) -> () {
 }
 ```
 
-
-
+## 参考资料
 - [An interpreter for Rust's mid-level intermediate representation](https://github.com/rust-lang/miri)

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

@@ -6,30 +6,60 @@
 - 了解和学习不同结构类型关键词`struct`实现方法
 
 ## 篇目
-1. [基于结构类型的实现](#基于结构类型的实现)
-1. [基于衔接特质的实现](#基于衔接特质的实现)
-1. [参考资料](#参考资料)
+- [基于结构类型的实现](#基于结构类型的实现)
+- [基于衔接特质的实现](#基于衔接特质的实现)
+- [题外话](#题外话)
+- [学习理解编译错误](#学习理解编译错误)
+- [参考资料](#参考资料)
 
 ## 基于结构类型的实现
 
 ### 模块`mod_bare`结构
 ![image](../../images/hello_mod_trait_02_mod_bar.png)
 
 ### 模块`mod_bare`代码
+
+https://doc.rust-lang.org/stable/error-index.html#E0038
+
 {{#playpen ../../../../hello-mod-trait/lib-hello/src/mod_bare/mod.rs editable}}
 
 ## 基于衔接特质的实现
 
 ### 模块`mod_trait`结构
+
 ![image](../../images/hello_mod_trait_01_mod_trait.png)
 
 ### 模块`mod_trait`代码
+
+　　两个类型的函数new()是通过属性值，实现创建其类型的实例，而特质方法get_object()是通过其类型本身实例，实现创建一个新的类型实例。
+
 {{#playpen ../../../../hello-mod-trait/lib-hello/src/lib.rs editable}}
 
-## 参考资料
+## 题外话
+
+### 学习理解编译错误
+
+　　在程序文件`src/lib.rs`里，使用关键词`trait`定义衔接特质`TraitCanal`代码块的第一行代码注释掉，而第二行代码去掉注释，一旦执行编译，就会出现下面错误信息：`error[E0038]`。
 
+    error[E0038]: the trait `mod_trait::TraitCanal` cannot be made into
+    an object
+    --> lib-hello/src/mod_dynamic_fn.rs:4:1
+    |
+    4 | pub fn get_dynamic_trait_ref(canal: &dyn TraitCanal) -> (u32) {
+    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ t
+    he trait `mod_trait::TraitCanal` cannot be made into an object
+    |
+    = note: method `init` references the `Self` type in its arguments
+    or return type
 
+　　下面链接里的`E0038`就是该错误编号，点击下面链接就可以了解到错误的原因信息。
 
+[https://doc.rust-lang.org/stable/error-index.html#E0038](https://doc.rust-lang.org/stable/error-index.html#E0038)
+
+## 参考资料
+- [Rust Compiler Error Index](https://doc.rust-lang.org/stable/error-index.html)
+- [std Sized](https://doc.rust-lang.org/std/marker/trait.Sized.html)
+- [why-is-the-sized-bound-necessary-in-this-trait](https://stackoverflow.com/questions/30938499/why-is-the-sized-bound-necessary-in-this-trait)
 
 
 

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

@@ -1,7 +1,7 @@
-# 共享篋：动态调度实现
+# 共享篋：基于封装的动态调度实现
 
 
 
-{{#playpen ../../../../hello-mod-trait/lib-hello/src/mod_dynamic_fn.rs editable}}
+{{#playpen ../../../../hello-mod-trait/lib-hello/src/mod_box_dynamic_fn.rs editable}}
 
 {{#playpen ../../../../hello-mod-trait/lib-hello/examples/box_dynamic_hello.rs editable}}

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

@@ -0,0 +1,46 @@
+# 共享篋：简单三层结构实现
+
+　　在前面学习概念基础之上，在这一节里，将会实现共享篋的简单三层结构。
+
+## 学习内容
+- 理解和掌握知识模块的实现
+
+## 篇目
+- [静态函数的知识模块实现](#静态函数的知识模块实现)
+- [动态函数的知识模块实现](#动态函数的知识模块实现)
+- [应用实例](#应用实例)
+- [参考资料](#参考资料)
+
+## 静态函数的知识模块实现
+
+　　下面模块`mod_static_fn`代码，利用衔接特质`TraitCanal`，实现了两个不同功能的静态函数：`get_static_type_ref()`和`print_static_all_daten()`。
+
+　　关于函数`get_static_type_ref()`，输入实例是类型`StructType`或者`TupleType`的指针，输出是类型`tuple`，其元素值是它们属性`data`值。
+
+　　关于函数`print_static_all_daten()`，输入实例是`StructType`或者`TupleType`数组的指针，程序接受输入实例以后，打印输入实例及其属性内容。
+
+　　为了使用函数`print_static_all_daten()`里的打印宏，程序里需要做到两点：
+
+- 使用语句：`use std::fmt::Debug;`;
+- 函数参数里增加该特质`Debug`;
+
+但是第一条语句应该不需要，因为类型`StructType`和`TupleType`已经声明过了特质`Debug`。如特质`PartialEq`就没有使用`use`语句，这是因为类型`StructType`和`TupleType`也已经声明过了`PartialEq`。但是有一点是肯定的：先要声明特质，然后还要在静态函数里使用它们，才能真正实现使用这些特质。
+
+{{#playpen ../../../../hello-mod-trait/lib-hello/src/mod_static_fn.rs editable}}
+
+## 动态函数的知识模块实现
+
+　　下面模块`mod_dynamic_fn`代码的函数，与前面的说明完全类似。
+
+{{#playpen ../../../../hello-mod-trait/lib-hello/src/mod_dynamic_fn.rs editable}}
+
+## 应用实例
+
+　　
+
+{{#playpen ../../../../hello-mod-trait/lib-hello/examples/trait_fn_hello.rs editable}}
+
+
+
+
+## 参考资料

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

@@ -1,7 +1,23 @@
-# 共享篋：静态调度实现
+# 共享篋：基于封装的静态调度实现
 
+　　在这一节里，学习Cargo项目文件、目录与模块相互关系。Rust语言表达模块的三种方式。
 
-{{#playpen ../../../../hello-mod-trait/lib-hello/src/mod_static_fn.rs editable}}
+## 学习内容
+- 了解和学习本软件篋模块文件结构
+- 理解和掌握Cargo项目目录与文件关系
+- 理解和掌握Cargo项目模块与文件关系
+- 理解和掌握Cargo项目文件与文件关系
+
+## 篇目
+- [文件本身表达模块方式](#文件本身表达模块方式)
+- [文件名称表达模块方式](#文件名称表达模块方式)
+- [目录名称表达模块方式](#目录名称表达模块方式)
+- [参考资料](#参考资料)
+
+
+
+
+{{#playpen ../../../../hello-mod-trait/lib-hello/src/mod_box_static_fn.rs editable}}
 
 
 {{#playpen ../../../../hello-mod-trait/lib-hello/examples/box_static_hello.rs editable}}