From bcda5b0a424dcd3419592c108ff6dfc424f50d89 Mon Sep 17 00:00:00 2001 From: Rustln Date: Fri, 18 Mar 2022 17:09:41 +0800 Subject: [PATCH 1/3] Fix loose code description. --- src/advance/lifetime/basic.md | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/src/advance/lifetime/basic.md b/src/advance/lifetime/basic.md index cc8da0a9..835f4b28 100644 --- a/src/advance/lifetime/basic.md +++ b/src/advance/lifetime/basic.md @@ -578,7 +578,19 @@ Bang,一个复杂的玩意儿被甩到了你面前,就问怕不怕? 就关键点稍微解释下: - `'a: 'b`,是生命周期约束语法,跟泛型约束非常相似,用于说明 `'a` 必须比 `'b` 活得久 -- 为了实现这一点,必须把 `'a` 和 `'b` 都在同一个地方声明,你不能把 `'a` 在 `impl` 后面声明,而把 `'b` 在方法中声明 +- 可以把 'a 和 'b 都在同一个地方声明(如上),或者分开声明但通过 `where` 约束生命周期关系,如下: + +```rust +impl<'a> ImportantExcerpt<'a> { + fn announce_and_return_part<'b>(&'a self, announcement: &'b str) -> &'b str + where + 'a: 'b, + { + println!("Attention please: {}", announcement); + self.part + } +} +``` 总之,实现方法比想象中简单:加一个约束,就能暗示编译器,尽管引用吧,反正我想引用的内容比我活得久,爱咋咋地,我怎么都不会引用到无效的内容! From c0d4590547c4df8f4f6b2bb2bc41e29956956e9c Mon Sep 17 00:00:00 2001 From: Rustln Date: Fri, 18 Mar 2022 17:17:57 +0800 Subject: [PATCH 2/3] Add code highlighting --- src/advance/lifetime/basic.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/advance/lifetime/basic.md b/src/advance/lifetime/basic.md index 835f4b28..e4f965a4 100644 --- a/src/advance/lifetime/basic.md +++ b/src/advance/lifetime/basic.md @@ -578,7 +578,7 @@ Bang,一个复杂的玩意儿被甩到了你面前,就问怕不怕? 就关键点稍微解释下: - `'a: 'b`,是生命周期约束语法,跟泛型约束非常相似,用于说明 `'a` 必须比 `'b` 活得久 -- 可以把 'a 和 'b 都在同一个地方声明(如上),或者分开声明但通过 `where` 约束生命周期关系,如下: +- 可以把 `'a` 和 `'b` 都在同一个地方声明(如上),或者分开声明但通过 `where` 约束生命周期关系,如下: ```rust impl<'a> ImportantExcerpt<'a> { From b0f1c6036f8893ed86547b6fbec87af3a58cba90 Mon Sep 17 00:00:00 2001 From: Rustln Date: Fri, 18 Mar 2022 17:19:40 +0800 Subject: [PATCH 3/3] Update basic.md --- src/advance/lifetime/basic.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/advance/lifetime/basic.md b/src/advance/lifetime/basic.md index e4f965a4..069488c8 100644 --- a/src/advance/lifetime/basic.md +++ b/src/advance/lifetime/basic.md @@ -578,7 +578,7 @@ Bang,一个复杂的玩意儿被甩到了你面前,就问怕不怕? 就关键点稍微解释下: - `'a: 'b`,是生命周期约束语法,跟泛型约束非常相似,用于说明 `'a` 必须比 `'b` 活得久 -- 可以把 `'a` 和 `'b` 都在同一个地方声明(如上),或者分开声明但通过 `where` 约束生命周期关系,如下: +- 可以把 `'a` 和 `'b` 都在同一个地方声明(如上),或者分开声明但通过 `where 'a: 'b` 约束生命周期关系,如下: ```rust impl<'a> ImportantExcerpt<'a> {