如何将trait对象转换为"子trait"对象？附代码报错疑问

咱们先看你贴的代码和对应的编译报错：

trait A {}
trait B: A {}
struct S;
impl A for S {}
impl B for S {}
fn main() {
    let s = S;
    let trait_obj_b: &B = &s;
    let trait_obj_a: &A = trait_obj_b;
}

编译时触发的错误：

error[E0308]: mismatched types
--> src/main.rs:14:27
| 14 | let trait_obj_a: &A = trait_obj_b;
| ^^^^^^^^^^^ expected trait A, found trait B
| = note: expected type &A found type &B

你疑惑的点特别合理——既然B是A的子trait，为啥&B的trait对象不能自动转成&A？这其实是Rust trait对象和传统OOP子类引用的核心区别：Rust不会自动隐式转换子trait的trait对象到父trait。

原因在于Rust的trait对象是「胖指针」，它包含两部分：指向实际数据的指针，以及指向该trait虚表（vtable）的指针。虽然B继承了A，&B的vtable里也包含了A的方法，但&B和&A的vtable结构是完全不同的类型，类型系统不会自动帮你调整这个指针。Rust的设计原则之一是「显式优于隐式」，这种涉及vtable结构调整的转换必须明确告知编译器。

那怎么解决这个问题？很简单，加个显式转换就行：

方案一：用as直接指定转换类型 #

把赋值代码改成这样：

let trait_obj_a: &A = trait_obj_b as &A;

编译器明确知道B实现了A，会安全地调整vtable指针，完成转换。

方案二：用类型推断简化写法 #

如果你不想重复写类型，也可以用_让编译器自动推断目标类型：

let trait_obj_a: &dyn A = trait_obj_b as _;

本质上这两种方式是一样的，都是告诉Rust：我明确要把这个&B trait对象转成&A，你帮我处理好vtable的对应调整。

内容的提问来源于stack exchange，提问作者Sergey Mitskevich