Update Ch10

This commit is contained in:
Unisko PENG 2023-04-18 17:52:55 +08:00
parent df60b6c4f0
commit 092e66d10c

View File

@ -1021,7 +1021,7 @@ error: could not compile `lifetimes_demo` due to previous error
这个帮助性文本,揭示了由于 Rust 无法区分出正返回的引用,是指向 `x` 还是 `y`因此返回值类型就需要其上的一个泛型生命周期参数a generic lifetime parameter。事实上由于在该函数的函数体中`if` 代码块返回的是到参数 `x` 的引用,而 `else` 代码块返回的则是到 `y` 的引用,所以就连咱们也不清楚!
对该函数进行定义时,是不清楚要传入到该函数的那些具体值的,因此就不清楚究竟是`if` 条件,还是 `else` 条件会被执行。这里也不清楚要传入的那些引用变量的具体声明周期,进而就无法查看如同清单 10-17 及 10-18 中所看到的那些作用域,来判断返回的引用变量是否始终有效。由于 Rust 的借用检查器不清楚其中 `x``y` 的生命周期,与返回值的生命周期有怎样的关联,因此借用检查器也无法对此做出判断。要修复这个错误,就要添加对这些引用变量之间关系进行定义的泛型生命周期参数,进而借用检查器就可以完成他的分析。
咱们定义这个函数时,是不清楚将传入到该函数的那些具体值的,因此就不清楚究竟是`if` 情形,还是 `else` 情形会被执行。咱们也不清楚将传入引用的具体生命周期,进而就无法查看如清单 10-17 及 10-18 中所看到的作用域,以确定出返回的引用是否始终有效。由于借用检查器不清楚 `x``y` 的生命周期,与返回值的生命周期有怎样的关联,因此借用检查器也无法确定出这一点。要修复这个错误,咱们就将添加定义出这些引用变量之间关系的泛型生命周期参数,进而借用检查器就可以完成他的分析。
### 生命周期注解语法