我试图专门化一个trait,但由于“冲突的实现”,它无法编译通过。但我对专门化的理解是更具体的实现应该覆盖更通用的实现。这里是一个非常基本的例子:
错误信息如下:
我本以为更具体的实现,使用实际类型
mod diving {
pub struct Diver<T> {
inner: T
}
}
mod swimming {
use diving;
pub trait Swimmer {
fn swim(&self) {
println!("swimming")
}
}
impl<T> Swimmer for diving::Diver<T> {
}
}
mod drowning {
use diving;
use swimming;
impl swimming::Swimmer for diving::Diver<&'static str> {
fn swim(&self) {
println!("drowning, help!")
}
}
}
fn main() {
let x = diving::Diver::<&'static str> {
inner: "Bob"
};
x.swim()
}
错误信息如下:
rustc 1.18.0 (03fc9d622 2017-06-06)
error[E0119]: conflicting implementations of trait `swimming::Swimmer` for type `diving::Diver<&'static str>`:
--> <anon>:23:5
|
15 | / impl<T> Swimmer for diving::Diver<T> {
16 | |
17 | | }
| |_____- first implementation here
...
23 | / impl swimming::Swimmer for diving::Diver<&'static str> {
24 | | fn swim(&self) {
25 | | println!("drowning, help!")
26 | | }
27 | | }
| |_____^ conflicting implementation for `diving::Diver<&'static str>`
我本以为更具体的实现,使用实际类型
&'static str
将允许特定的实现,但它却无法编译。