From 530d4f551b9e72112f4104c62cb21d455c878603 Mon Sep 17 00:00:00 2001 From: zjp Date: Sun, 17 Dec 2023 14:31:34 +0800 Subject: [PATCH] typos --- src/variance/covariance-borrow-forever.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/variance/covariance-borrow-forever.md b/src/variance/covariance-borrow-forever.md index a44bfb6..fb754c0 100644 --- a/src/variance/covariance-borrow-forever.md +++ b/src/variance/covariance-borrow-forever.md @@ -76,10 +76,10 @@ fn works(mut person: Person<'_>) { 具体来说，如果 `Ty<'a>` 对 `'a` 不再是协变，而是不变 (invariant)，那么对于 `'a: 'b` * `&'a Ty<'a>` 依然可以缩短成 `&'b Ty<'a>` （但仅限在 `'a` 存活期间，见 [永久借用中的协变]） -* 只是 `Ty<'a>` 无法缩短成 `Ty<'b>`，从而 `&'a Ty<'a>` 和 `&'b Ty<'a>` 无法缩短成 `&'b Ty<'b>` +* `Ty<'a>` 无法缩短成 `Ty<'b>`，从而 `&'a Ty<'a>` 和 `&'b Ty<'a>` 无法缩短成 `&'b Ty<'b>` 实际上，`&'a Ty<'a>` 和 `&'a mut Ty<'a>` 其实几乎一模一样 -([playground for `&'a mut Ty<'a'>`](https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=3b2db91b62a3cadd03c4b4d390b5bf03)) +([playground for `&'a mut Ty<'a>`](https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=3b2db91b62a3cadd03c4b4d390b5bf03)) ，唯一的区别在于一个是永久共享借用，另一个是永久独占借用。 ```rust,editable @@ -118,7 +118,7 @@ impl<'a> Invariant<'a> { 都可以因为协变相应地缩短成 `&'b` 或 `&'b mut`。 生命周期是协变的（即生命周期可以缩短），而引用通常可以再借 -(reborrow)，这导致一个长的生命周期可以在它存活的状态中被“分割”彼此成互不相交的子生命周期。 +(reborrow)，这表明：一个长的生命周期，可以在它存活的状态中，被“分割”彼此成互不相交的子生命周期。 这也适用于永久借用。以下两个代码展示了如何在永久借用的存活期间再借（重点在 `borrow` 内部）。