{"id":51,"title":"Trait Object","abstraction":"Trait Object是Rust编译器用于描述运行时类型的概念。在运行时的某些情况下，我们不知道具体的类型，但知道该类型实现了某个特征Trait，就可以用Trait Object来描述。","content":"

什么是Trait Object

Trait Object是Rust编译器用于描述运行时类型的概念。在运行时的某些情况下，我们不知道具体的类型，但知道该类型实现了某个特征Trait，就可以用Trait Object来描述。

例如在实现一套GUI系统时，很多控件都需要显示功能，将这个功能单独剥离出来，就可以定义一个Trait：

pub trait Draw {\n    fn draw(&self);\n}

然后，如果有不同的控件，只要它们都实现了Draw特征，就都可以放入同一个数组：

pub struct Screen {\n    pub components: Vec<Box<Draw>>,\n}

请注意，上面的代码中必须要使用Box，为什么？因为Rust在编译时需要知道所有变量的大小，以便正常管理内存。在参数传递、数组创建等场合只支持内存大小确定的参数，而不同的控件在内存中的大小是不确定的，即unsized，所以使用Box进行封装，可以将结果变为sized类型。

本质上，Trait Object是一种类型。这种类型不是Trait，是一种编译器内部可以表示的类型。但是，将其他类型的变量转换为Trait Object后，变量原本的类型被擦除。

怎样创建Trait Object

通常使用dyn关键字显式地创建一个Trait Object，例如：

let t: &dyn Display = &123;

如果可以，编译器会将其他类型的变量隐式转换为Trait Object，例如：

let items: Vec<Box<dyn Display>> = vec![\n    Box::new(42),        // 42实现了Display特征，所以自动转换为dyn Display\n    Box::new(\"hello\"),   // \"hello\"也实现了Display特征\n];

但是，下面的代码是无法正常编译的：

let items = vec![\n    Box::new(42),           // 编译器不会自动将42转换为Trait Object\n    Box::new(\"hello\"),      // 编译器不会自动将\"hello\"转换为Trait Object\n];

","user_id":1,"published":true,"created_at":1751776920548,"updated_at":1751889981011,"visits":0}