10｜再探trait：带类型参数的trait及trait object

rust生命周期的独特设计，导致了该语言需要设计一些处理方式应对特殊情况，比如生命周期的标注（主要是给编译器进行代码处理时的提示）。事实上，我们在日常开发中应该避免一些陷入复杂情况的方式：比如，传入参数都用引用（borrow），传出结果都应该是owner。rust也为我们提供了处理各种情况的工具。所以，一般来说，我们应该在传入参数的时候用&dyn T，传出结果用Box<dyn T>。

&dyn TraitA没有所有权，而Box<dyn TraitA>有所有权。

关联类型之所以要单独设计，因为编译器可以通过输入判断具体类型，而无法推断出输出类型，所以，输出的类型需要明确指定

最后安全的trait object听的似懂非懂，为什么是安全的，为什么是不安全的？希望具体讲下原因

笔记： trait 可以带泛型 generics trait 关联类型 associated type 跟泛型类似， 但必须在 impl 的时候就具化 泛型就随便啥时候具化都行了 `fn doit(i: u32) -> impl TraitA` => 某一种实现了 TraitA 的类型 `fn doit(i: u32) -> Box<dyn TraitA>` => 多种实现了 TraitA 的类型 前两次刷 rbe 和 rustbook 的时候都没反应过来为啥叫 trait object, 看这课终于明白了， 原来 trait obejct 指的是 typeOuter 的 OuterSizedObj, 然后这个 OuterSizedObj 里面可以包裹各种实现了 traitA 的 type 对应 obj 还是得多刷点儿资料， 多看对于同一概念的不同表达， 明白的快

思考题： &dyn traitA 和 Box<dyn traitA> 严格来说都是指向 actual object 的指针， 只不过 `&` 叫做引用， `Box` 叫做智能指针, 这俩都是固定大小的， 所以都能用在 trait object 区别： &dyn traitA 是一个不拿所有权的指针 => 所以经常用在参数里 Box<dyn traitA> 是拥有内部数据所有权的指针 => 所以经常用在返回值里， 参数里应该也能用

老师老师，我有一个问题。就是您说impl trait目前有两个使用的地方，分别是函数入参和返回。但给出的例子里，在入参使用impl trait时编译器会自动展开。但在出返回值使用impl trait时，若是返回了不同的类型却会报错。这是怎么理解？

基础部分非常详细，建议老师可以深入讲一下trait object的内存相关知识，以及trait object会丢失本身类型信息这些注意点。

思考题：&dyn TraitA 是借用，Box<dyn TraitA> 会转移所有权。 通过下面的程序可以测试出来： fn doit3(t1: &dyn TraitA, t2: Box<dyn TraitA>) { println!("{:?}", t1); println!("{:?}", t2) } fn main() { let a = AType; let b = BType; doit3(&a, Box::new(b)); println!("{:?}", a); println!("{:?}", b); } 输出： error[E0382]: borrow of moved value: `b` --> examples/trait_object.rs:29:22 | 26 | let b = BType; | - move occurs because `b` has type `BType`, which does not implement the `Copy` trait 27 | doit3(&a, Box::new(b)); | - value moved here 28 | println!("{:?}", a); 29 | println!("{:?}", b); | ^ value borrowed here after move

不要在 trait 里面定义构造函数，比如 new 这种返回 Self 的关联函数。你可以发现，确实在整个 Rust 生态中都没有将构造函数定义在 trait 中的习惯。 这句话，在上面的例子中 确实有在trait中定义了new函数返回self的。怎么就感觉有冲突呢？