1

Author: vhtmui

docs/Rust.md

@@ -568,7 +568,9 @@ fn main() {
 }
 ```
 
-关于《Rust圣经》中的一个例子[Example1](https://course.rs/advance/lifetime/static.html)，文章说 `原因在于我们约束的是 T，但是使用的却是它的引用 &T，换而言之，我们根本没有直接使用 T，因此编译器就没有去检查 T 的生命周期约束！它只要确保 &T 的生命周期符合规则即可，在上面代码中，它自然是符合的。`是误解，实际上对函数传递`&i32`类型的参数，模式匹配会将`&i32`解构为`i32`，即`T`此时等于`i32`，这样 `T`就不是引用类型了。
+《Rust圣经》中的一个例子[Example1](https://course.rs/advance/lifetime/static.html)，文章说 `原因在于我们约束的是 T，但是使用的却是它的引用 &T，换而言之，我们根本没有直接使用 T，因此编译器就没有去检查 T 的生命周期约束！它只要确保 &T 的生命周期符合规则即可，在上面代码中，它自然是符合的。`。
+
+这是一个误解，实际上对函数传递`&i32`类型的参数，模式匹配会将`&i32`解构为`i32`，即`T`此时等于`i32`，这样 `T`就不是引用类型了。因为在rust中，**函数传参也是一种模式匹配**。
 
 编译器针对类型 `T`检查发现输入的类型 `T`不是引用类型，而是一个自拥有的变量。