强转
在某些情况下,类型可以隐式地被强转。这些变化通常只是削弱类型,主要集中在指针和生命周期方面。它们的存在主要是为了让 Rust 在更多的情况下“正常工作”,而且基本上是无害的。
关于所有强转类型的详尽列表,请参见《The Reference》中的Coercion types部分。
请注意,在匹配 Trait 时,我们不进行强制转换(除了接收者,见下一页)。如果某个类型U有一个impl,而T可以强转到U,这并不构成T的实现。例如,下面的内容不会通过类型检查,尽管将t强转到&T是可以的,并且有针对&T的impl。
trait Trait {}fn foo<X: Trait>(t: X) {}impl<'a> Trait for &'a i32 {}fn main() {let t: &mut i32 = &mut 0;foo(t);}
这样编译失败:
error[E0277]: the trait bound `&mut i32: Trait` is not satisfied--> src/main.rs:9:9|3 | fn foo<X: Trait>(t: X) {}| ----- required by this bound in `foo`...9 | foo(t);| ^ the trait `Trait` is not implemented for `&mut i32`|= help: the following implementations were found:<&'a i32 as Trait>= note: `Trait` is implemented for `&i32`, but not for `&mut i32`
