Merge pull request #1274 from sd44/patch-1

Update global-variable.md(next_id取值错误？OnceCell变更）

src/advance/global-variable.md

@@ -93,7 +93,8 @@ fn generate_id()->usize{
     if current_val > MAX_ID{
         panic!("Factory ids overflowed");
     }
-    let next_id = GLOBAL_ID_COUNTER.fetch_add(1, Ordering::Relaxed);
+    GLOBAL_ID_COUNTER.fetch_add(1, Ordering::Relaxed)
+    let next_id = GLOBAL_ID_COUNTER.load(Ordering::Relaxed);
     if next_id > MAX_ID{
         panic!("Factory ids overflowed");
     }
@@ -314,13 +315,21 @@ fn main() {
 
 ## 标准库中的 OnceCell
 
-在 `Rust` 标准库中提供 `lazy::OnceCell` 和 `lazy::SyncOnceCell` 两种 `Cell`，前者用于单线程，后者用于多线程，它们用来存储堆上的信息，并且具有最多只能赋值一次的特性。 如实现一个多线程的日志组件 `Logger`：
+在 `Rust` 标准库中提供了实验性的 `lazy::OnceCell` 和 `lazy::SyncOnceCell` (在 `Rust`
+1.70.0版本及以上的标准库中，替换为稳定的 `cell::OnceCell` 和 `sync::OnceLock` )两种
+`Cell` ，前者用于单线程，后者用于多线程，它们用来存储堆上的信息，并且具有最
+多只能赋值一次的特性。 如实现一个多线程的日志组件 `Logger`：
+
 
 ```rust
+// 低于Rust 1.70版本中， OnceCell 和 SyncOnceCell 的API为实验性的 ，
+// 需启用特性 `#![feature(once_cell)]`。
 #![feature(once_cell)]
-
 use std::{lazy::SyncOnceCell, thread};
 
+// Rust 1.70版本以上,
+// use std::{sync::OnceLock, thread};
+
 fn main() {
     // 子线程中调用
     let handle = thread::spawn(|| {
@@ -341,8 +350,12 @@ fn main() {
 #[derive(Debug)]
 struct Logger;
 
+// 低于Rust 1.70版本
 static LOGGER: SyncOnceCell<Logger> = SyncOnceCell::new();
 
+// Rust 1.70版本以上
+// static LOGGER: OnceLock<Logger> = OnceLock::new();
+
 impl Logger {
     fn global() -> &'static Logger {
         // 获取或初始化 Logger

src/advance/macro.md

@@ -366,7 +366,7 @@ pub fn hello_macro_derive(input: TokenStream) -> TokenStream {
 
 这个函数的签名我们在之前已经介绍过，总之，这种形式的过程宏定义是相当通用的，下面来分析下这段代码。
 
-首先有一点，对于绝大多数过程宏而言，这段代码往往只在 `impl_hello_macro(&ast)` 中的实现有所区别，对于其它部分基本都是一致的，例如包的引入、宏函数的签名、语法树构建等。
+首先有一点，对于绝大多数过程宏而言，这段代码往往只在 `impl_hello_macro(&ast)` 中的实现有所区别，对于其它部分基本都是一致的，如包的引入、宏函数的签名、语法树构建等。
 
 `proc_macro` 包是 Rust 自带的，因此无需在 `Cargo.toml` 中引入依赖，它包含了相关的编译器 `API`，可以用于读取和操作 Rust 源代码。
 
@@ -378,10 +378,10 @@ derive过程宏只能用在struct/enum/union上，多数用在结构体上，我
 ```rust
 // vis，可视范围             ident，标识符     generic，范型    fields: 结构体的字段
 pub              struct    User            <'a, T>          {
-   
+
 // vis   ident   type
    pub   name:   &'a T,
-   
+
 }
 ```
 
@@ -393,11 +393,11 @@ pub              struct    User            <'a, T>          {
 DeriveInput {
     // --snip--
     vis: Visibility,
-    generics: Generics
     ident: Ident {
         ident: "Sunfei",
         span: #0 bytes(95..103)
     },
+    generics: Generics,
     // Data是一个枚举，分别是DataStruct，DataEnum，DataUnion，这里以 DataStruct 为例
     data: Data(
         DataStruct {
@@ -413,7 +413,7 @@ DeriveInput {
 
 以上就是源代码 `struct Sunfei;` 解析后的结果，里面有几点值得注意:
 
-- `fields: Fields` 是一个枚举类型，FieldsNamed，FieldsUnnamed，FieldsUnnamed， 分别表示显示命名结构（如例子所示），匿名字段的结构（例如 struct A(u8);），和无字段定义的结构（例如 struct A;）
+- `fields: Fields` 是一个枚举类型，`Fields::Named`, `Fields::Unnamed`, `Fields::Unit` 分别表示结构体中的显式命名字段（如例子所示），元组或元组变体中的匿名字段(例如`Some(T)`)，单元类型或单元变体字段（例如`None` ）。
 - `ident: "Sunfei"` 说明类型名称为 `Sunfei`， `ident` 是标识符 `identifier` 的简写
 
 如果想要了解更多的信息，可以查看 [`syn` 文档](https://docs.rs/syn/1.0/syn/struct.DeriveInput.html)。
@@ -451,7 +451,7 @@ fn impl_hello_macro(ast: &syn::DeriveInput) -> TokenStream {
 
 在运行之前，可以显示用 expand 展开宏，观察是否有错误或是否符合预期:
 ```shell
-$ cargo expand
+$ cargo expand --lib hello_macro
 ```
 ```rust
 struct Sunfei;
@@ -486,8 +486,8 @@ fn main() {
 }
 ```
 
-从展开的代码也能看出derive宏的特性，struct Sunfei; 和 struct Sunface; 都被保留了，也就是说最后 impl_hello_macro() 返回的token被加到结构体后面，这和类属性宏可以修改输入
-的token是不一样的，input的token并不能被修改
+从展开的代码也能看出derive宏的特性，`struct Sunfei;` 和 `struct Sunface;` 都被保留了，也就是说最后 `impl_hello_macro()` 返回的token被加到结构体后面，这和类属性宏可以修改输入
+的token是不一样的，input的token并不能被修改。
 
 至此，过程宏的定义、特征定义、主体代码都已经完成，运行下试试:
 
@@ -566,7 +566,7 @@ struct User {
 }
 
 fn main() {
- 
+
 }
 ```