4.5.1 型变

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

型变

原文链接: https://quinedot.github.io/rust-learning/dyn-covariance.html

dyn Trait 的生命周期是协变的，类似引用的外层生命周期。这意味着每当它处于协变类型位置时，较长的生命周期可以强制转换为较短的生命周期。

4.5.2 高阶类型

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

高阶类型

原文链接: https://quinedot.github.io/rust-learning/dyn-hr.html

trait 对象的另一个特性是它们可以对 trait 的生命周期参数高阶：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17


// 带生命周期参数的 trait
trait Look<'s> {
 fn method(&self, s: &'s str);
}

// 对任意生命周期都有效的实现
impl<'s> Look<'s> for () {
 fn method(&self, s: &'s str) {
 println!("Hi there, {s}!");
 }
}

fn main() {
 // 高阶 trait 对象
 // vvvvvvvvvvvvvvvvvvvvvvvv
 let _bx: Box<dyn for<'any> Look<'any>> = Box::new(());
}

for<'x> 部分是生命周期绑定器，引入高阶生命周期。可以有多个生命周期，可像函数、结构体等上的生命周期参数一样任意命名。

4.5 dyn Trait 生命周期 on 编程那些事儿

4.5.1 型变

型变

4.5.2 高阶类型

高阶类型